I am a second-year Ph.D. Computer Science student at Cornell University. Currently, I'm working with Andrew Myers and Drew Zagieboylo on formalizing the compiler correctness of a security-focused hardware description language. 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.
I like programming languages and computer architecture!
PAPERS
- Avenir: Managing Data Plane Diversity with Control Plane Synthesis, Eric Campbell, William Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster. NSDI'21.
TEACHING
| Fall 2022 | Head TA | Data Structures and Functional Programming at Cornell University |
| Spring 2022 | Head 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 |
ACTIVITIES
prose:
| 2020 | CompCert: the Double-Edged Sword of Verification (Cornell Advanced Compilers) [post] |
presentations:
| 2020 | The Next 700 Compiler Correctness Theorems (Functional Pearl) by Daniel Patterson and Amal Ahmed (Cornell Summer PLDG) [slides] |
| Semantic Code Search via Equational Reasoning by Varot Premtoon, James Koppel, and Armando Solar-Lezama (Cornell Fall PLDG) [slides] |