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. 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.

PAPERS

ACTIVITIES

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]

TEACHING

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