I am a second-year Ph.D. student at Cornell University. My research interests include programming languages, compilers, formal verification, and computer architecture. Currently, I'm working with Adrian Sampson and the Capra group on formalizing and verifying the Calyx compiler infrastructure.
As an undergraduate, I worked with Nate Foster and Eric Campbell on heterogeneous network formalisms to efficiently and correctly synthesize control plane operations for differing data planes.
presentations:
2023 |
DimSum: A Decentralized Approach to
Multi-language Semantics and Verification. Michael Sammler, Simon Spies, Youngju Song, Emanuele D’Osualdo, Robbert Krebbers, Deepak Garg, and Derek Dreyer. Cornell PLDG. [slides] |
2020 |
Semantic Code Search via Equational
Reasoning. Varot Premtoon, James Koppel, and Armando Solar-Lezama. Cornell PLDG. [slides] |
The Next 700 Compiler Correctness
Theorems (Functional Pearl). Daniel Patterson and Amal Ahmed. Cornell PLDG. [slides] |
prose:
2020 | CompCert: the Double-Edged Sword of Verification. Cornell Advanced Compilers. [post] |
Spring 2023 | TA | Introduction to Compilers at Cornell University |
Fall 2022 | Head TA | Data Structures and Functional Programming at Cornell University |
Spring 2022 | TA | Introduction to Compilers at Cornell University |
Fall 2020 | TA | Programming Languages and Logics at Cornell University |
Spring 2019 | TA | Discrete Structures at Cornell University |
Fall 2018 | TA | Discrete Structures at Cornell University |