39 citations · 157 across the 32 of their papers we have counts for
7 papers · 1 filter
OpenRUA: Robot-Use Agents Are Zero-Shot Visuomotor Policies
Zhaoyang Chu, Earl T. Barr, Claire Le Goues +4
Coding agents are extending their reach into the physical world by writing and executing robot control programs. One might expect the agents to use the existing mature software sta…
Faultless: A Program Equivalence Technique for Validating and Evaluating Neural Decompilers
Luke Dramko, Claire Le Goues, Edward Schwartz
Neural decompilers are machine learning models which perform the process of decompilation, lifting code from a lower-level language to a higher one. Neural decompilers offer substa…
The Case for Automated Hyperspecialization: Evidence from SAT
Harrison Green, Claire Le Goues, Fraser Brown
The software status quo is to use one system to process many different kinds of inputs. In contrast, we propose hyperspecialization: creating new software that is optimized for a s…
Automatic, Expressive, and Scalable Fuzzing with Stitching
Harrison Green, Fraser Brown, Claire Le Goues
Fuzzing is a powerful technique for finding bugs in software libraries, but scaling it remains difficult. Automated harness generation commits to fixed API sequences at synthesis t…
HerAgent: Rethinking the Automated Environment Deployment via Hierarchical Test Pyramid
Xiang Li, Siyu Lu, Federica Sarro +2
Automated software environment setup is a prerequisite for testing, debugging, and reproducing failures, yet remains challenging in practice due to complex dependencies, heterogene…
SPELL: Synthesis of Programmatic Edits using LLMs
Daniel Ramos, Catarina Gamboa, Inês Lynce +3
Library migration is a common but error-prone task in software development. Developers may need to replace one library with another due to reasons like changing requirements or lic…
Future of Software Engineering Research: The SIGSOFT Perspective
Massimiliano Di Penta, Kelly Blincoe, Marsha Chechik +4
As software engineering conferences grow in size, rising costs and outdated formats are creating barriers to participation for many researchers. These barriers threaten the inclusi…