2 papers
cs.PL2025
Syntactic Completions with Material Obligations
David Moon, Andrew Blinn, Thomas J. Porter +1
Code editors provide essential services that help developers understand, navigate, and modify programs. However, these services often fail in the presence of syntax errors. Existin…
cs.PL2024
Statically Contextualizing Large Language Models with Typed Holes
Andrew Blinn, Xiang Li, June Hyung Kim +1
Large language models (LLMs) have reshaped the landscape of program synthesis. However, contemporary LLM-based code completion systems often hallucinate broken code because they la…