I'm an Assistant 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.
Overview materials: CV (pdf)
| Research (pdf)
| Teaching (pdf)
- Drafts and preprints
- Papers: 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: 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 (2018, 2017, 2015), CS 502 grad compilers (2015, 2019), CS 565 software foundations (2016, 2015), CS 590 metaprogramming (2014)