Tiark Rompf

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

HACCLE: metaprogramming for secure multi-party computation.

[BibT_eX]

[DOI]

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

Compiling symbolic execution with staging and algebraic effects.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

HACCLE: An Ecosystem for Building Secure Multi-Party Computations.

[BibT_eX]

[DOI]

Yuyan Bao

Kirshanthan Sundararajah

Mohammad Hassan Ameri

Pierre-David Letourneau

CoRR, 2020

Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap.

[BibT_eX]

[DOI]

Somali Chaterji

Parinaz Naghizadeh

Muhammad Ashraful Alam

CoRR, 2020

Architecting a Query Compiler for Spatial Workloads.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Conference on Management of Data, 2020

2019

Flare & Lantern: Efficiently Swapping Horses Midstream.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

Staged abstract interpreters: fast and modular whole-program analysis via meta-programming.

[BibT_eX]

[DOI]

Guannan Wei

Yuxuan Chen

Proc. ACM Program. Lang., 2019

Demystifying differentiable programming: shift/reset the penultimate backpropagator.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Precise reasoning with structured time, structured heaps, and collective operations.

[BibT_eX]

[DOI]

Guannan Wei

Proc. ACM Program. Lang., 2019

Compiling with continuations, or without? whatever.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

A SQL to C compiler in 500 lines of code.

[BibT_eX]

[DOI]

J. Funct. Program., 2019

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers.

[BibT_eX]

[DOI]

CoRR, 2019

AutoGraph: Imperative-style Coding with Graph-based Performance.

[BibT_eX]

[DOI]

Alexander B. Wiltschko

Proceedings of Machine Learning and Systems 2019, 2019

A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions.

[BibT_eX]

[DOI]

Alen Stojanov

Markus Püschel

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

Towards compiling graph queries in relational engines.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

Parallel Training via Computation Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Lightweight Functional Logic Meta-Programming.

[BibT_eX]

[DOI]

William E. Byrd

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2018

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl).

[BibT_eX]

[DOI]

Guannan Wei

James M. Decker

Proc. ACM Program. Lang., 2018

Collapsing towers of interpreters.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator.

[BibT_eX]

[DOI]

CoRR, 2018

From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero.

[BibT_eX]

[DOI]

CoRR, 2018

How to Architect a Query Compiler, Revisited.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Management of Data, 2018

Flare: Optimizing Apache Spark with Native Compilation for Scale-Up Architectures and Medium-Size Data.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Backpropagation with Callbacks: Foundations for Efficient and Expressive Differentiable Programming.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

A Language and Compiler View on Differentiable Programming.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Learning Representations, 2018

SIMD intrinsics on managed language runtimes.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

2017

Towards Strong Normalization for Dependent Object Types (DOT) (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2017

Flare: Native Compilation for Heterogeneous Workloads in Apache Spark.

[BibT_eX]

[DOI]

CoRR, 2017

Rust-like borrowing with 2nd-class values (short paper).

[BibT_eX]

[DOI]

Leo Osvald

Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

LMS-Verify: abstraction without regret for verified systems programming.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Type soundness proofs with definitional interpreters.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Flexible data views: design and implementation.

[BibT_eX]

[DOI]

Leo Osvald

Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, 2017

Functional parallels of sequential imperatives (short paper).

[BibT_eX]

[DOI]

Kevin J. Brown

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Composing middlebox and traffic engineering policies in SDNs.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Computer Communications Workshops, 2017

Staging for generic programming in space and time.

[BibT_eX]

[DOI]

Georg Ofenbeck

Markus Püschel

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

Towards Strong Normalization for Dependent Object Types (DOT).

[BibT_eX]

[DOI]

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Reflections on LMS: exploring front-end alternatives.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

RandIR: differential testing for embedded compilers.

[BibT_eX]

[DOI]

Georg Ofenbeck

Markus Püschel

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Type soundness for dependent object types (DOT).

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect.

[BibT_eX]

[DOI]

Leo Osvald

Lilliam I. González Alayón

Xilun Wu

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Lightweight modular staging (LMS): generate all the things! (keynote).

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

On supporting compilation in spatial query engines: (vision paper).

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, GIS 2016, Burlingame, California, USA, October 31, 2016

Have abstraction and eat performance, too: optimized heterogeneous computing with parallel patterns.

[BibT_eX]

[DOI]

Christopher R. Aberger

Kunle Olukotun

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

The Essence of Multi-stage Evaluation in LMS.

[BibT_eX]

[DOI]

Proceedings of the A List of Successes That Can Change the World, 2016

The Essence of Dependent Object Types.

[BibT_eX]

[DOI]

Proceedings of the A List of Successes That Can Change the World, 2016

2015

From F to DOT: Type Soundness Proofs with Definitional Interpreters.

[BibT_eX]

[DOI]

CoRR, 2015

Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

RRB vector: a practical general purpose immutable sequence.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Functional pearl: a SQL to C compiler in 500 lines of code.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

Errata for "Building Efficient Query Engines in a High-Level Language" (PVLDB 7(10): 853-864).

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2014

Building Efficient Query Engines in a High-Level Language.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2014

Unifying functional and object-oriented programming with Scala.

[BibT_eX]

[DOI]

Commun. ACM, 2014

Computing with an SMT Solver.

[BibT_eX]

[DOI]

K. Rustan M. Leino

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters.

[BibT_eX]

[DOI]

Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

Surgical precision JIT compilers.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Staged parser combinators for efficient data processing.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Foundations of path-dependent types.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Locality-Aware Mapping of Nested Parallel Patterns on GPUs.

[BibT_eX]

[DOI]

Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture, 2014

Hardware system synthesis from Domain-Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Field Programmable Logic and Applications, 2014

2013

Optimizing data structures in high-level programs: new directions for extensible compilers based on staging.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Forge: generating a high performance DSL implementation from a declarative specification.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming: Concepts and Experiences, 2013

Spiral in scala: towards the systematic construction of generators for performance libraries.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming: Concepts and Experiences, 2013

Making domain-specific hardware synthesis tools cost-efficient.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

Composition and Reuse with Compiled Domain-Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

What are the Odds?: probabilistic programming in Scala.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Scala, 2013

2012

Lightweight Modular Staging and Embedded Compilers - Abstraction without Regret for High-Level High-Performance Programming.

[BibT_eX]

[DOI]

PhD thesis, 2012

Scala-Virtualized: linguistic reuse for deep embeddings.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2012

Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs.

[BibT_eX]

[DOI]

Commun. ACM, 2012

StagedSAC: a case study in performance-oriented DSL development.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Scala-virtualized.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

JavaScript as an Embedded DSL.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Implementing Domain-Specific Languages for Heterogeneous Parallel Computing.

[BibT_eX]

[DOI]

IEEE Micro, 2011

Building-Blocks for Performance Oriented DSLs

[BibT_eX]

[DOI]

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

A cryptographically <i>t</i>-private auction system.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2011

OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Machine Learning, 2011

A Generic Parallel Collection Framework.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

A Heterogeneous Parallel Framework for Domain-Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010

Language virtualization for heterogeneous parallel computing.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

A Cryptographically t-Private Auction System.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Network and System Security, 2009

Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform.

[BibT_eX]

[DOI]

Ingo Maier