About Me

I'm a PhD student at Cornell University advised by Greg Morrisett and Alexandra Silva. Previously, I was a master's student at the University of Pennsylvania working with Stephanie Weirich. Before that, I was a senior software engineer at Strava. My research has been supported by Cornell's Dean's Excellence and Hopper-Dean Fellowship as well as the NSF Graduate Research Fellowship.

Research

My research interests are in the theory and semantics of programming languages. Broadly, my goal is to develop tools and techniques that help avoid subtle bugs and unintended behavior in complex programs. You can check out the link below for a brief summary of past and current projects, or take a look at my CV.

> See projects

---

News

• October 2025: I will be serving on the artifact evaluation committee for POPL 2026.
• October 2024: Giving a talk at OOPSLA 2024 about our paper on (co)effects in CBPV.
• August 2024: Our paper Effects and Coeffects in Call-By-Push-Value was selected to appear at OOPSLA 2024!

> All news

Publications

• Effects and Coeffects in Call-By-Push-Value
  Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich
  OOPSLA 2024
  [arXiv] [code] [slides]

> All publications (including drafts)

Talks

• Effects and Coeffects in Call-By-Push-Value. OOPSLA 2024.
• Strictly Associative Sigmas. HoTT MURI 2024 meeting.

> All talks

Posts

• Logical relations? More like... logi-cool relations!
  (2024-04-19)
• Normalization by Evaluation
  (2023-11-21)

> All posts