Registered user since Tue 19 Aug 2014
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).
|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|
View general profile