Tiark Rompf

Kevin C. and Susanne L. Kahn New Frontiers Associate Professor at Purdue University

My scientific home is in programming languages and compilers, but my work spans architecture, databases, systems, machine learning, and AI.

I'm co-directing the Purdue Center for Programming Principles and Software Systems (PurPL). I am also a Scientific Advisor at SambaNova Systems.

I'm actively recruiting PhD students and post-docs.
Purdue is ranked #2 in PL+SE on csrankings.org. Apply here.

I'm also recruiting summer interns.
Check out Purdue's GoBoiler program.

Overview materials: CV (pdf) | Research (pdf) | Teaching (pdf)

Some notes/blog posts on things I find interesting.

News

November 2020: GPCE Test of Time Award (for LMS)
August 2020: Promoted to Associate Professor. I'm no longer permitted to update my web page, ever ;-)
July 2020: New papers at SIGMOD: Architecting a Query Compiler for Spatial Workloads and OOPSLA: Compiling Symbolic Execution with Staging and Algebraic Effects
June 2020: I've started writing up a few notes/blog posts on things I find interesting
October 2019: Two papers at OOPSLA: (1) Staged Abstract Interpreters, (2) Precise Reasoning with Structured Heaps and Collective Operations
September 2019: Organizing PurPL Fest & Midwest PL Summit
August 2019: We're hosting a bunch of awesome summer interns through Purdue's new GoBoiler program. See their profiles here.
June 2019: Scala receives the ACM SIGPLAN Programming Languages Software Award
June 2019: Purdue announces new PurPL Center
June 2019: Two papers at ICFP: (1) Compiling with Continuations, or without? Whatever, (2) Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator
May 2019: $10M grant on secure multi-party computation
May 2019: Talk at ScalaDays (video)
April 2019: Facebook Probability and Programming Research Award
April 2019: Paper at SysML: AutoGraph: Imperative-style Coding with Graph-based Performance (Collaboration with Google Brain)
Feb 2019: Invited talk at C4ML (slides)
December 2018: VMware 2018 Systems Research Award
September 2018: New paper: Flare: Optimizing Apache Spark for Scale-Up Architectures and Medium-Size Data (OSDI'18), earlier video from Spark Summit: Flare: Scale up Spark SQL with native compilation and set your data on fire!
August 2018: Seminar on Deep Learning for Symbolic Reasoning

Recent

Drafts and preprints
Papers: OOPSLA'20, SIGMOD'20, OOPSLA'19 (2x), ICFP'19 (2x), SYSML'19, NeurIPS'18, OSDI'18, ICFP'18, SIGMOD'18, POPL'18, ECOOP'17, POPL'17 (2x), OOPSLA'16 (2x), ICFP'15 (2x), MICRO'14, OOPSLA'14 (2x), PLDI'14, VLDB'14, POPL'13
PC chairing: GPCE'18, DBPL'17, PEPM'16, FHPC'15, WGP'14; member: PLDI'20 (ERC), POPL'20, ICFP'19 (ERC), OOPSLA'19, CC'19, OOPSLA'18 (ERC), VLDB'18, PLDI'18, ECOOP'17, POPL'16, OOPSLA'15, PLDI'15, GPCE'16,'15,'14, ICFP'14
Awards: GPCE Test of Time Award 2020, ACM SIGPLAN PL Software Award 2019, Facebook Research Award 2019, VMware Systems Research Award 2018, DOE Early Career Research Award 2017, Google Faculty Research Award 2017 and 2018, NSF CAREER Award 2016
Teaching: CS 590 deep learning for symbolic reasoning (2018), CS 352 compilers (2020, 2018, 2017, 2015), CS 502 grad compilers (2015, 2019), CS 565 software foundations (2016, 2015), CS 590 metaprogramming (2014)