ISR
Matthew B. Dwyer
Email RSVP required to Jessica Garcia at jessicmg@ics.uci.edu by Monday October 27
No cost to attend.
Click here for directions and parking information.
Program analysis and verification techniques have made great strides in the past decade, yet, as every researcher in the field will admit it is easy to find a program and property for which a given technique is not cost-effective. Investigating the conventional wisdom that programs are "mostly correct", we have observed that even failed program analyses usually produce a wealth of information about the parts of the program that operate correctly. Leveraging this information can help focus subsequent analysis and verification activities to make them more cost-effective. We report on an application of these ideas to reducing the cost of run-time monitoring of safety properties.
Matthew B. Dwyer is the Henson Professor of Software Engineering in the Department of Computer Science and Engineering at the University of Nebraska - Lincoln. He earned a BS in Electrical Engineering in 1985 from the University of Rochester and then worked for six years as a Senior Engineer with Intermetrics Inc. developing compilers and software for safety-critical embedded systems. He earned a PhD from the University of Massachusetts at Amherst in 1995. His research interests are in software analysis, verification and testing. Dr. Dwyer has served as program chair for several international meetings including: the ACM SIGSOFT Symposium on Foundations on Software Engineering in 2004 and the International Conference on Software Engineering in 2008. He is an Associate Editor of IEEE Transactions on Software Engineering, the Secretary/Treasurer of ACM SIGSOFT, and was named an ACM Distinguished Scientist in 2007.
