POPL 2017
Sun 15 - Sat 21 January 2017
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

PEPM 2017Author of Invited posters within the PEPM 2017-track
Author of Functional Parallels of Sequential Imperatives within the PEPM 2017-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
Show activities from other conferences

POPL 2017-profile
View general profile