Congratulations to Professor Matthew Dwyer for receiving Association for Computing Machinery SIGSOFT International Symposium on Software Testing and Analysis Impact Paper Award for “Probabilistic Symbolic Execution” at the ISSTA 2022 conference.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.
Matthew B. Dwyer is the Robert Thomson Distinguished Professor in the Department of Computer Science at the University of Virginia. He has authored more than 140 scholarly publications in program analysis, software specification, and automated formal methods. His research contributions have been recognized with the ICSE “Most Influential Paper” award (2010), the SIGSOFT “Impact Paper” award (2010), the ESEC/FSE “Test of Time” award (2018), the SIGSOFT “Impact Paper” award (2021). He was named a Fulbright Research Scholar (2011), an IEEE Fellow (2013), a Parnas Fellow (2018), and an ACM Fellow (2019), and has received the IEEE Computer Society Harlan D. Mills Award (2022).
The details of the paper can be found in the Keynotes Program page of the conference website.