
emmanuel anaya gonzález
La Jolla, CA | GitHub |
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
Spring 2024 | Teaching Assistant | CSE 130, Programming Languages |