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

Contributions

SPLASH 2024 Committee Member in Review Committee within the OOPSLA 2024-track
POPL 2024 Committee Member in Program Committee within the POPL-track
ICSE 2023 Author of Compiling Parallel Symbolic Execution with Continuations within the Technical Track-track
Author of Compiling Parallel Symbolic Execution with Continuations within the Artifact Evaluation-track
GPCE 2022 Committee Member in Steering Committee within the GPCE -track
ECOOP 2022 Author of What If We Don’t Pop the Stack? The Return of Second-Class Values within the Research Papers-track
PEPM 2022 Author of Partially Evaluating Symbolic Interpreters for All within the PEPM 2022-track
Committee Member in Program Committee within the PEPM 2022-track
GPCE 2021 Committee Member in Steering Committee within the GPCE-track
Author of On-Stack Replacement for Program Generators and Source-to-Source Compilers within the GPCE-track
Author of HACCLE: Metaprogramming for Secure Multi-Party Computation within the GPCE-track
SPLASH 2021 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 2021 Author of LLSC: A Parallel Symbolic Execution Compiler for LLVM IR within the Demonstrations-track
miniKanren 2021 Author of Prolog-Style Meta-Programming miniKanren within the miniKanren 2021-track
PEPM 2021 Committee Member in Steering Committee within the PEPM 2021-track
SPLASH 2020 Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the OOPSLA-track
GPCE 2020 Committee Member in Steering Committee within the GPCE-track
ECOOP 2020 Committee Member in External Review Committee within the Research Papers-track
Session Chair of S-6 (part of Research Papers)
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
FHPNC 2020 Committee Member in Program Committee within the FHPNC 2020 (cancelled)-track
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
APLAS 2019 Author of Lightweight Functional Logic Meta-Programming within the Research Papers-track
SPLASH 2019 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
GPCE 2019 Author of A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions within the GPCE 2019-track
ICFP 2019 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
Scala 2019 Author of Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS within the Scala 2019-track
DBPL 2019 Author of Towards Compiling Graph Queries in Relational Engines within the DBPL 2019-track
Committee Member in Program Committee within the DBPL 2019-track
PEPM 2019 Steering Committee Member in Steering Committee within the PEPM 2019-track
SPLASH 2018 Committee Member in External Reviewers within the OOPSLA-track
GPCE 2018 Author of Opening within the GPCE 2018-track
Author of Awards within the GPCE 2018-track
PC Chairs in Organizing Committee within the GPCE 2018-track
ICFP 2018 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
PLDI 2018 Committee Member in Program Committee
POPL 2018 Author of Collapsing Towers of Interpreters within the Artifact Evaluation-track
Author of Collapsing Towers of Interpreters within the Research Papers-track
PEPM 2018 Committee Member in Steering Committee within the PEPM 2018-track
Committee Member in Programme Committee within the PEPM 2018-track
META 2017 Committee Member in Program Committee within the Meta 2017-track
Committee Member in Program Committee within the Meta 2017-track
GPCE 2017 Committee Member in Program Committee within the GPCE 2017-track
Author of Staging for Generic Programming in Space and Time within the GPCE 2017-track
Scala 2017 Author of Rust-Like Borrowing with 2nd-Class Values (Short Paper) within the Scala 2017-track
ARRAY 2017 Author of Flexible Data Views: Design and Implementation within the ARRAY 2017-track
CurryOn 2017 Author of How types can turn a SQL interpreter into a SQL compiler within the Curry On Talks-track
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Author of Strong Normalization for Dependent Object Types (DOT) within the ECOOP Research Papers-track
PLDI 2017 Tutorial organizer of Scala, LMS and Delite for High-Performance DSLs and Program Generators within the PLDI Tutorials-track
MoreVMs 2017 Committee Member in Program Committee within the MoreVMs 2017-track
POPL 2017 Author of LMS-Verify: Abstraction Without Regret for Verified Systems Programming within the POPL-track
Author of Type Soundness Proofs with Definitional Interpreters within the POPL-track
PEPM 2017 Author of Invited posters within the PEPM 2017-track
Author of Functional Parallels of Sequential Imperatives within the PEPM 2017-track
Mobile! 2016 Author of Generative Programming: from High-Performance to Safety-Critical Applications within the Mobile!-track
DSLDI 2016 Committee Member in Program Committee within the DSLDI-track
SPLASH 2016 Author of Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect within the OOPSLA-track
Session Chair of Session 6 (part of SPLASH-I)
Author of Type Soundness for Dependent Object Types (DOT) within the OOPSLA-track
GPCE 2016 Session Chair of Software Product Lines and Testing (part of GPCE)
Keynote Speaker of GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the things! within the GPCE-track
Keynote Speaker in Keynote Speaker within the GPCE-track
Scala 2016 Author of RandIR: Differential Testing for Embedded Compilers within the Scala-track
Author of Reflections on LMS: Exploring Front-End Alternatives within the Scala-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
ECOOP 2016 Committee Member in Senior Mentors within the Summer School-track
ICOOOLPS 2016 Committee Member in Program Committee within the ICOOOLPS-track
PLDI 2016 Sponsorship Chair in Organizing Committee
POPL 2016 Committee Member in Program Committee
Committee Member in Program Committee within the Research Papers-track
Session Chair of Track 2: Types, Generally or Gradually (part of Research Papers)
PEPM 2016 Speaker of Welcome within the PEPM-track
Program Co-Chair in Program Committee within the PEPM-track
SPLASH 2015 Committee Member in Program Committee within the OOPSLA-track
Session Chair of 12. Performance (part of OOPSLA)
GPCE 2015 Session Chair of Session 2 (part of GPCE)
Committee Member in Program Committee within the GPCE-track
PLDI 2015 Session Chair of Potpourri (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
SPLASH 2014 Author of Staged Parser Combinators for Efficient Data Processing within the OOPSLA-track
Presenter of Batteries Included: Generative Programming with Scala and LMS within the Tutorials-track
Author of Foundations of Path-Dependent Types within the OOPSLA-track
DSLDI Session Chair of Session 2 (part of DSLDI)
Committee Member in Program Committee within the DSLDI-track
GPCE 2013 Author of Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track
Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. within the Research Papers-track