- PhD, Computer Science, Cornell University, 2023
- PLDI – 2022 PDL: A High-Level Hardware Design Language for Pipelined Processors. Accepted to the 43rd ACM SIGPLAN Conference on Programming Language Design and
- CSF – 2019 Using Information Flow Control to Design an ISA that Controls Timing Channels. Published and presented at the 32nd IEEE Computer Security Foundations
- ICPE – 2017 Cost-Efficient and Reliable Reporting of Highly Bursty Video Game Crash
Data. Published and presented at the 8th ACM/SPEC International Conference
on Performance Engineering.