emmanuel anaya gonzález

I am a PhD student in the CSE department at UCSD, advised by Nadia Polikarpova. My research focuses on Program Synthesis (aka Source-code Generation, Automatic Programming) and I am particularly interested in exploring ideas in the intersection of Programming Languages , 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

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
Emmanuel Anaya Gonzalez^*, Raven Rothkopf^*, Sorin Lerner, Nadia Polikarpova
Preprint

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