Picture of Priya Srikumar

Priya Srikumar

Ph.D. Student
Department of Computer Science, Cornell University
Email: ps735 [at] cornell.edu

cv | github | twitter

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!



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



2020 CompCert: the Double-Edged Sword of Verification (Cornell Advanced Compilers) [post]


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]