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

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