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

ECOOP 2020Committee Member in External Review Committee within the Research Papers-track
ICFP 2020Committee Member in External Review Committee within the Research Papers-track
PLDI 2020Committee Member in External Review Committee within the PLDI Research Papers-track
Scala 2019Author of Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS within the Scala 2019-track
POPL 2020Committee Member in Program Committee within the Research Papers-track
APLAS 2019Author of Lightweight Functional Logic Meta-Programming within the Research Papers-track
DBPL 2019Author of Towards Compiling Graph Queries in Relational Engines within the DBPL 2019-track
Committee Member in Program Committee within the DBPL 2019-track
GPCE 2019Author of A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions within the GPCE 2019-track
PEPM 2019Steering Committee Member in Steering Committee within the PEPM 2019-track
SPLASH 2019Author 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 2019Author 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
GPCE 2018Author 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
SPLASH 2018Committee Member in External Reviewers within the OOPSLA-track
PEPM 2018Committee Member in Steering Committee within the PEPM 2018-track
Committee Member in Programme Committee within the PEPM 2018-track
META 2017Committee Member in Program Committee within the Meta 2017-track
Committee Member in Program Committee within the Meta 2017-track
ICFP 2018Author 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
ARRAY 2017Author of Flexible Data Views: Design and Implementation within the ARRAY 2017-track
Scala 2017Author of Rust-Like Borrowing with 2nd-Class Values (Short Paper) within the Scala 2017-track
MoreVMs 2017Committee Member in Program Committee within the MoreVMs 2017-track
GPCE 2017Committee Member in Program Committee within the GPCE 2017-track
Author of Staging for Generic Programming in Space and Time within the GPCE 2017-track
PLDI 2018Committee Member in Program Committee
CurryOn 2017Author of How types can turn a SQL interpreter into a SQL compiler within the Curry On Talks-track
POPL 2018Author of Collapsing Towers of Interpreters within the Artifact Evaluation-track
Author of Collapsing Towers of Interpreters within the Research Papers-track
PEPM 2017Author of Invited posters within the PEPM 2017-track
Author of Functional Parallels of Sequential Imperatives within the PEPM 2017-track
DSLDI 2016Committee Member in Program Committee within the DSLDI-track
Scala 2016Author of RandIR: Differential Testing for Embedded Compilers within the Scala-track
Author of Reflections on LMS: Exploring Front-End Alternatives within the Scala-track
Mobile! 2016Author of Generative Programming: from High-Performance to Safety-Critical Applications within the Mobile!-track
ICOOOLPS 2016Committee Member in Program Committee within the ICOOOLPS-track
POPL 2017Author 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
PLDI 2017Tutorial organizer of Scala, LMS and Delite for High-Performance DSLs and Program Generators within the PLDI Tutorials-track
ECOOP 2017Committee 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
GPCE 2016Session 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
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
PEPM 2016Speaker of Welcome within the PEPM-track
Program Co-Chair in Program Committee within the PEPM-track
PLDI 2016Sponsorship Chair in Organizing Committee
ECOOP 2016Committee Member in Senior Mentors within the Summer School-track
SPLASH 2016Author 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
POPL 2016Committee 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)
GPCE 2015Session Chair of Session 2 (part of GPCE)
Committee Member in Program Committee within the GPCE-track
SPLASH 2015Committee Member in Program Committee within the OOPSLA-track
Session Chair of 12. Performance (part of OOPSLA)
PLDI 2015Session Chair of Potpourri (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
DSLDISession Chair of Session 2 (part of DSLDI)
Committee Member in Program Committee within the DSLDI-track
SPLASH 2014Author 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
GPCE 2013Author 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