Tiark Rompf

Orcid: 0000-0002-2068-3238

Affiliations:
  • Purdue University


According to our database1, Tiark Rompf authored at least 99 papers between 2009 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.
Proc. ACM Program. Lang., January, 2024

Flan: An Expressive and Efficient Datalog Compiler for Program Analysis.
Proc. ACM Program. Lang., January, 2024

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking.
CoRR, 2024

Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures.
Proceedings of the Practical Aspects of Declarative Languages, 2024

Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System Description.
Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

2023
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.
Proc. ACM Program. Lang., October, 2023

Architecting Intermediate Layers for Efficient Composition of Data Management and Machine Learning Systems.
CoRR, 2023

Graph IRs for Impure Higher-Order Languages (Technical Report).
CoRR, 2023

Modeling Reachability Types with Logical Relations.
CoRR, 2023

Compiling Parallel Symbolic Execution with Continuations.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022
What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact).
Dagstuhl Artifacts Ser., 2022

OCTAL: Graph Representation Learning for LTL Model Checking.
CoRR, 2022

Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI).
Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

What If We Don't Pop the Stack? The Return of 2nd-Class Values.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
Reachability types: tracking aliasing and separation in higher-order functional programs.
Proc. ACM Program. Lang., 2021

LLSC: a parallel symbolic execution compiler for LLVM IR.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

On-stack replacement for program generators and source-to-source compilers.
Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021


2020
Compiling symbolic execution with staging and algebraic effects.
Proc. ACM Program. Lang., 2020

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

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

Architecting a Query Compiler for Spatial Workloads.
Proceedings of the 2020 International Conference on Management of Data, 2020

2019
Flare & Lantern: Efficiently Swapping Horses Midstream.
Proc. VLDB Endow., 2019

Staged abstract interpreters: fast and modular whole-program analysis via meta-programming.
Proc. ACM Program. Lang., 2019

Demystifying differentiable programming: shift/reset the penultimate backpropagator.
Proc. ACM Program. Lang., 2019

Precise reasoning with structured time, structured heaps, and collective operations.
Proc. ACM Program. Lang., 2019

Compiling with continuations, or without? whatever.
Proc. ACM Program. Lang., 2019

A SQL to C compiler in 500 lines of code.
J. Funct. Program., 2019

Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers.
CoRR, 2019

AutoGraph: Imperative-style Coding with Graph-based Performance.
Proceedings of the Second Conference on Machine Learning and Systems, SysML 2019, 2019

A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions.
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

Towards compiling graph queries in relational engines.
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

Parallel Training via Computation Graph Transformation.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Lightweight Functional Logic Meta-Programming.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

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

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl).
Proc. ACM Program. Lang., 2018

Collapsing towers of interpreters.
Proc. ACM Program. Lang., 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

Backpropagation with Callbacks: Foundations for Efficient and Expressive Differentiable Programming.
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.
Proceedings of the 6th International Conference on Learning Representations, 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).
Dagstuhl Artifacts Ser., 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. Embed. Comput. Syst., 2014

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

Building Efficient Query Engines in a High-Level Language.
Proc. VLDB Endow., 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
Lightweight Modular Staging and Embedded Compilers - Abstraction without Regret for High-Level High-Performance Programming.
PhD thesis, 2012

Scala-Virtualized: linguistic reuse for deep embeddings.
High. Order Symb. Comput., 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 <i>t</i>-private auction system.
Concurr. Comput. Pract. Exp., 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

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...