Tiark Rompf

According to our database1, Tiark Rompf authored at least 63 papers between 2009 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

Collapsing towers of interpreters.
PACMPL, 2018

AutoGraph: Imperative-style Coding with Graph-based Performance.
CoRR, 2018

Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator.
CoRR, 2018

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

How to Architect a Query Compiler, Revisited.
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.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

SIMD intrinsics on managed language runtimes.
Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018

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

Flare: Native Compilation for Heterogeneous Workloads in Apache Spark.
CoRR, 2017

Rust-like borrowing with 2nd-class values (short paper).
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

LMS-Verify: abstraction without regret for verified systems programming.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Type soundness proofs with definitional interpreters.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Flexible data views: design and implementation.
Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, 2017

Functional parallels of sequential imperatives (short paper).
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

Composing middlebox and traffic engineering policies in SDNs.
Proceedings of the 2017 IEEE Conference on Computer Communications Workshops, 2017

Staging for generic programming in space and time.
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

Towards Strong Normalization for Dependent Object Types (DOT).
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
Reflections on LMS: exploring front-end alternatives.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

RandIR: differential testing for embedded compilers.
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Type soundness for dependent object types (DOT).
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.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Lightweight modular staging (LMS): generate all the things! (keynote).
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

On supporting compilation in spatial query engines: (vision paper).
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.
Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

The Essence of Multi-stage Evaluation in LMS.
Proceedings of the A List of Successes That Can Change the World, 2016

The Essence of Dependent Object Types.
Proceedings of the A List of Successes That Can Change the World, 2016

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

Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

RRB vector: a practical general purpose immutable sequence.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Functional pearl: a SQL to C compiler in 500 lines of code.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014
Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages.
ACM Trans. Embedded Comput. Syst., 2014

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

Building Efficient Query Engines in a High-Level Language.
PVLDB, 2014

Unifying functional and object-oriented programming with Scala.
Commun. ACM, 2014

Computing with an SMT Solver.
Proceedings of the Tests and Proofs - 8th International Conference, 2014

Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters.
Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

Surgical precision JIT compilers.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Staged parser combinators for efficient data processing.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Foundations of path-dependent types.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Locality-Aware Mapping of Nested Parallel Patterns on GPUs.
Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture, 2014

Hardware system synthesis from Domain-Specific Languages.
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.
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.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

Spiral in scala: towards the systematic construction of generators for performance libraries.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

Making domain-specific hardware synthesis tools cost-efficient.
Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

Composition and Reuse with Compiled Domain-Specific Languages.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

What are the Odds?: probabilistic programming in Scala.
Proceedings of the 4th Workshop on Scala, 2013

2012
Scala-Virtualized: linguistic reuse for deep embeddings.
Higher-Order and Symbolic Computation, 2012

Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs.
Commun. ACM, 2012

StagedSAC: a case study in performance-oriented DSL development.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Scala-virtualized.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

JavaScript as an Embedded DSL.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Implementing Domain-Specific Languages for Heterogeneous Parallel Computing.
IEEE Micro, 2011

Building-Blocks for Performance Oriented DSLs
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

A cryptographically t-private auction system.
Concurrency and Computation: Practice and Experience, 2011

OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning.
Proceedings of the 28th International Conference on Machine Learning, 2011

A Generic Parallel Collection Framework.
Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

A Heterogeneous Parallel Framework for Domain-Specific Languages.
Proceedings of the 2011 International Conference on Parallel Architectures and Compilation Techniques, 2011

2010
Language virtualization for heterogeneous parallel computing.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs.
Proceedings of the Generative Programming And Component Engineering, 2010

2009
A Cryptographically t-Private Auction System.
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.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009


  Loading...