October 16, 2008
Institute for Software Research (ISR) Talk
Software Engineers Take Note!
ISR Distinguished Speaker
As part of their "Distinguished Speaker Series", The Institute for Software Research at the University of California, Irvine is hosting a talk by Matthew B. Dwyer, Professor, Computer Science & Engineering, University of Nebraska–Lincoln. The talk is titled "Residual Monitoring of Safety Properties" and should be very interesting.
Here is some information, directly from their website:
"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."
The talk is on Friday, October 31, 2008. Refreshments and Networking are from 1:30 - 2:00 PM, with the presentation running from 2:00 - 3:30 PM. Attendance is free, but you must RSVP via email to Jessica Garcia by Monday, October 27.
Directions and parking information are available at this link.
You can ping this entry by using http://blog.acm.org/blogs/mt-tb.cgi/157 .