squaresLab
Software QUAlity in Real Evolving Systems*
We research automated techniques to reason about, assure, measure, and improve the quality of real, messy, ever-changing software.
Carnegie Mellon University, School of Computer Science
squaresLab on GitHub · clegoues@cs.cmu.edu
*We apologize, sort of, for the egregious backronym.
Research Areas
Heuristic & Search-Based Repair
GenProg and descendants: using search to fix bugs automatically
Static & Semantic Repair
Program analysis and formal methods for targeted bug repair
LLM-Based Repair
Large language models for automated bug fixing and code transformation
SE for Robotics
Testing and analysis for autonomous systems
Security & Reverse Engineering
Decompilation, binary analysis, and vulnerability repair
AI & LLMs for SE
LLMs and search-based methods for developer tools
Testing & Transformation
Fuzzing, mutation testing, and language-agnostic code transformation
Benchmarks & Evaluation
Datasets and frameworks for evaluating program repair
Search-Based Software Engineering
Applying genetic programming and search to SE problems
Understanding Developer Practices
Studying how developers write, test, and maintain software
Recent Publications
When Fine-Tuning LLMs Meets Data Privacy: An Empirical Study of Federated Learning in LLM-Based Program Repair
Wenqiang Luo, Jacky W. Keung, Boyang Yang, He Ye, Claire Le Goues, Tegawendé F. Bissyandé, Haoye Tian, Bach Le
MORepair: Teaching LLMs to Repair Code via Multi-Objective Fine-Tuning
Boyang Yang, Haoye Tian, Jiadong Ren, Hongyu Zhang, Jacques Klein, Tegawendé F. Bissyandé, Claire Le Goues, Shunfu Jin
Idioms: A Simple and Effective Framework for Turbo-Charging Local Neural Decompilation with Well-Defined Types
Luke Dramko, Claire Le Goues, Edward J. Schwartz
Interpretable Vulnerability Detection Reports
Cláudia Mamede, José Campos, Claire Le Goues, Rui Abreu
AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent
He Ye, Aidan Z. H. Yang, Chang Hu, Yanlin Wang, Tao Zhang, Claire Le Goues
Highlights
ACM Trans. Softw. Eng. Methodol. 2026
ACM Trans. Softw. Eng. Methodol. 2026
Proceedings of the Network and Distributed System Security Symposium (NDSS) 2026
Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2025
Proc. ACM Softw. Eng. 2.ISSTA 2025