a.k.a. Emma
he/him/él
PhD student
Cornell University
About me
I'm a PhD student at Cornell University, supported by Cornell's Dean's Excellence and Hopper-Dean Fellowship as well as the NSF Graduate Research Fellowship. My research interests are in programming languages (their theory and semantics) as well as type theory.News
- 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!
- August 2024: Giving my first talk at the MURI 2024 meeting!
All news
Posts
-
Logical relations? More like... logi-cool relations!
(2024-04-19) -
Normalization by Evaluation
(2023-11-21)
All posts
Research
-
Effects and Coeffects in Call-By-Push-Value
Cassia Torczon, Emmanuel J. Suárez Acevedo, Shubh Agrawal, Joey Velez-Ginorio, and Stephanie Weirich
OOPSLA 2024
[arXiv] [code] [slides]
All research (including drafts)
Talks
- Effects and Coeffects in Call-By-Push-Value. OOPSLA 2024.
- Strictly Associative Sigmas. HoTT MURI 2024 meeting.
All talks