emmanuel anaya gonzález

I am a PhD student in the CSE department at UCSD, advised by Nadia Polikarpova. I enjoy working on problems in Programming Languages , and at the intersection with Machine Learning and Theoretical Computer Science .

If you are interested in collaborating, are curious about what I'm working on these days, or just want to chat, please reach out. I'm always happy to meet new people and discuss ideas, or just catch up with old friends. If you happen to be at UCSD or at my current location, let's talk over coffee!

publications

Laurel: Generating Dafny Assertions Using Large Language Models
Eric Mugnier, Emmanuel Anaya Gonzalez, Ranjit Jhala, Nadia Polikarpova, Yuanyuan Zhou
OOPSLA 2025

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova
NeurIPS 2024

Optimizing Beta-Reduction in E-Graphs
Emmanuel Anaya Gonzalez, Cole Kurashige, Aditya Giridharan, Nadia Polikarpova
EGRAPHS @ PLDI 2023

teaching