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.
- Drafts and preprints
- Papers: 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: 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: 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)