Distinguished Speaker Series 2008-2009

Matthew B. Dwyer Professor, Computer Science & Engineering, University of Nebraska–Lincoln     Residual Monitoring of Safety Properties (PDF slides)

October 31, 2008

Friday
Refreshments and Networking: 1:30 - 2:00
Presentation: 2:00 - 3:30

Faculty Host: Prof. James A. Jones, ISR

 

RSVP: Email RSVP required to Jessica Garcia at by Monday October 27.

Location: Donald Bren Hall (building #314), room 6011

Cost: No cost to attend.

Directions and parking information are available.

 

Abstract: 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.

About the Speaker: 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.