Doctoral student Emily First and Professor Yuriy Brun (CICS) received a Distinguished Paper Award from the Association for Computing Machinery's special interest group on software engineering (ACM SIGSOFT) at the 2022 International Conference on Software Engineering in Pittsburgh, PA on May 23. Their winning paper, "Diversity-Driven Automated Formal Verification," introduces Diva, their tool to automatically generate proofs for the formal verification of software.
https://www.cics.umass.edu/news/first-brun-receive-acm-sigsoft-distinguished-paper-award-automating-formal-verification-0