I'm an assistant professor at Purdue University, in the broad area of programming languages and compilers.
I like to connect theory with applications, and PL principles with architecture, databases, 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.
PDF 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)