Publications (9)
SemRep: Generative Code Representation Learning with Code Transformations
Weichen Li, Jiamin Song, Bogdan Alexandru Stoica +4
Code transformation is a foundational capability in the software development process, where its effectiveness relies on constructing a high-quality code representation to character…
TOGA: A Neural Method for Test Oracle Generation
Elizabeth Dinella, Gabriel Ryan, Todd Mytkowicz +1
Testing is widely recognized as an important stage of the software development lifecycle. Effective software testing can provide benefits such as bug finding, preventing regression…
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
Gabriel Ryan, Justin Wong, Jianan Yao +2
Program verification offers a framework for ensuring program correctness and therefore systematically eliminating different classes of bugs. Inferring loop invariants is one of the…
FastContext: Training Efficient Repository Explorer for Coding Agents
Shaoqiu Zhang, Maoquan Wang, Yuling Shi +12
Large Language Model (LLM) coding agents have achieved strong results on software engineering tasks, yet repository exploration remains a major bottleneck: locating relevant code c…
At a Glance: Pixel Approximate Entropy as a Measure of Line Chart Complexity
Gabriel Ryan, Abigail Mosca, Remco Chang +1
When inspecting information visualizations under time critical settings, such as emergency response or monitoring the heart rate in a surgery room, the user only has a small amount…
DevBench: A Realistic, Developer-Informed Benchmark for Code Generation Models
Adarsh Kumarappan, Pareesa Ameneh Golnari, Wen Wen +5
DevBench is a telemetry-driven benchmark designed to evaluate Large Language Models (LLMs) on realistic code completion tasks. It includes 1,800 evaluation instances across six pro…