1 citations · 1 across the 5 of their papers we have counts for
4 papers · 1 filter
Model-Based Agentic Software Engineering
James C. Davis, Kelechi Kalu, Huiyun Peng +1
Coding agents increase implementation capacity without automatically making project intent, system structure, or acceptance evidence explicit. As implementation becomes abundant re…
Beyond Local Code Optimization: Multi-Agent Reasoning for Software System Optimization
Huiyun Peng, Parth Vinod Patil, Antonio Zhong Qiu +2
Large language models and AI agents have recently shown promise in automating software performance optimization, but existing approaches predominantly rely on local, syntax-driven…
Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
Paschal C. Amusuo, Owen Cochell, Taylor Le Lievre +3
Memory safety defects pose a major threat to software reliability, enabling cyberattacks, outages, and crashes. To mitigate these risks, organizations adopt Compositional Bounded M…
A Unit Proofing Framework for Code-level Verification: A Research Agenda
Paschal C. Amusuo, Parth V. Patil, Owen Cochell +2
Formal verification provides mathematical guarantees that a software is correct. Design-level verification tools ensure software specifications are correct, but they do not expose…