I am a CS PhD candidate at Cornell University, advised by Adrian Sampson. Previously, I completed a BS in computer science and a BA in mathematics at the University of Rochester.
My research interests are in programming languages, formal methods, and computer architecture. My current work focuses on languages and compilers for numerical hardware design.
News
- Jul 2024
- Presented our preliminary work on application-specific elementary functions at FPTalks 2024.
- Oct 2023
- Presented our plans for a numerics frontend for Calyx at the FPBench community meeting.
Publications
/
-
Search versus Search for Collapsing Electoral Control Types
EUMAS 2024 -
Separating and Collapsing Electoral Control Types
JAIR 81 (A preliminary version appeared in AAMAS 2023) -
eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
RV 2023 -
Separating and Collapsing Electoral Control Types
AAMAS 2023