POPL 2017
Sun 15 - Sat 21 January 2017
Tiark Rompf

Registered user since Tue 19 Aug 2014

Name:Tiark Rompf

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


POPL 2017 LMS-Verify: Abstraction Without Regret for Verified Systems Programming
Type Soundness Proofs with Definitional Interpreters
PEPM 2017 Invited posters
Functional Parallels of Sequential Imperatives
Show activities from other conferences

POPL 2017-profile
View general profile