Ph.D. Student Derek Bronish was one several authors on the paper, "The 1st Verified Software Competition: Experience Report" which earned the Best Paper nod at the 17th International Symposium on Formal Methods in Limerick, Ireland, June 20-24, 2011. This is the fifth best paper to be earned by CSE faculty and students in the 2010-2011 academic year.
This paper was a large group effort; 23 authors, including many distinguished scientists from both sides of the Atlantic. It summarized the experiences of a number of teams in solving a set of challenge problems for software verification at the 1st Verified Software Competition, held in August 2010 in Edinburgh at the 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE).
This was an exceptional opportunity for a graduate student and Derek was appreciative. "I'm honored to have had the opportunity to co-author a paper with so many distinguished researchers, I'm proud of our work on software verification exemplified in this paper, and I'm thankful to my advisor Dr. Weide and all of my colleagues in RSRG for the innumerable ways they've guided me as a graduate student."
According to the website, "FM 2011 is the seventeenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users as well as researchers."