conf.researchr.org / Tiark Rompf
Registered user since Tue 19 Aug 2014
Name:Tiark Rompf
Bio:
Tiark Rompf is an assistant professor at Purdue University. His work focuses on runtime code generation, advanced compiler technology, and associated language support. From 2008 to 2014 he was a member of Martin Odersky’s Scala team at EPFL where he developed the LMS compiler framework and made various contributions to the Scala language and toolchain (delimited continuations, efficient immutable data structures, compiler speedups, type system work).
Country:United States
Affiliation:Purdue University
Personal website: http://tiarkrompf.github.io/
Contributions
2025
2024
Symposium on Practical Aspects of Declarative Languages
GPCE
SPLASH
POPL
- Author of Flan: An Expressive and Efficient Datalog Compiler for Program Analysis within the POPL-track
- Committee Member in Program Committee within the POPL-track
- Author of Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs within the POPL-track
2023
2022
2021
GPCE
SPLASH
- Author of Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs within the OOPSLA-track
- Author of Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs within the Posters-track
- Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the SIGPLAN Papers-track
ESEC/FSE
2020
SPLASH
ECOOP
2019
SPLASH
- Author of Staged Abstract Interpreters within the OOPSLA Artifacts-track
- Committee Member in Review Committee within the OOPSLA-track
- Session Chair of Language Design (part of OOPSLA)
- Author of Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming within the OOPSLA-track
- Author of Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations within the OOPSLA-track
ICFP
- Author of Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator within the Research Papers-track
- Committee Member in External Review Committee within the Research Papers-track
- Author of Compiling with Continuations, or without? Whatever. within the Research Papers-track
DBPL
2018
GPCE
ICFP
- Author of Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl) within the Research Papers-track
- Committee Member in Poster and Presentation Judges within the Student Research Competition-track