Registered user since Mon 4 Jan 2016
I’m a senior applied scientist at Amazon AWS, soon to join EPFL as an assistant professor. Previously, I was a PhD candidate at MIT with Adam Chlipala. My research focuses on programming languages, compilers, and formal verification; my broader interests include systems engineering, hardware design languages, security, performance engineering, databases, and type theory. I work on end-to-end verified compilation pipelines from high-level specifications to assembly language, verified compilers and fast simulation for rule-based hardware design languages with EHRs, and Coq tooling.
|PLDI 2022|| Committee Member in PLDI within the PLDI-track|
Session Chair of Hardware I (part of PLDI)
Relational Compilation for Performance-Critical Applications
Session Chair of Memory (part of PLDI)
|Show activities from other conferences|
View general profile