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 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!

news

research

Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective
Emmanuel Anaya Gonzalez^*, Sairam Vaidya^*, Kanghee Park, Ruyi Ji, Taylor Berg-Kirkpatrick, Loris D'Antoni
to appear in NeurIPS 2025

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding
Emmanuel Anaya Gonzalez^*, Raven Rothkopf^*, Sorin Lerner, Nadia Polikarpova
VL/HCC 2025 (best paper award)

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