Jul 19, 2022 By Victoria Grdina
School of Computing associate professor Hamid Bagheri and Ph.D. candidate Clay Stevens received an ACM SIGSOFT Distinguished Paper award at the 2022 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) conference.
The paper, “Combining solution reuse and bound tightening for efficient analysis of evolving systems,” examines a novel software verification and analysis technique that can automatically determine domain-specific optimizations and dramatically reduce the cost of repeatedly analyzing evolving systems.
Stevens presented the paper at the flagship conference, held online July 18-22. Bagheri’s research group also presented a second paper at the conference, “ATR: Template-based Repair for Alloy Specifications.” This paper explores the topic of Automatic Program Repair (APR) and a new APR approach for models written in the Alloy declarative language, where the models are converted into a logical formula and solved using backend constraint solvers.
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.
Congratulations to Dr. Bagheri and Clay Stevens on this outstanding achievement!