Software Correctness Seminar covers major developments in formal verification, program analysis, and synthesis. We meet every Friday at 11:00 in MEB 3515. Join the mailing list for email updates.

• 23 Aug Ganesh presenting MonoSAT
• 30 Aug Pavel presenting Denali
• 6 Sept Manasij presenting Verifying math.h
• 13 Sept Gene Cooperman colloquium on Checkpointing
• 20 Sept Practice talks by Saeed and Maryam
• 27 Sept Arnab presenting Numerical Types
• 4 Oct No seminar (fall break)
• 11 Oct No seminar (fall break)
• 18 Oct Maryam presenting Layered Concurrent Programs
• 25 Oct Cancelled
• 1 Nov Manasij presenting Model Checking
• 8 Nov Saday presenting PolyCheck
• 15 Nov Mike presenting QuickCheck
• 22 Nov Mu presenting Defeat Devices
• 6 Dec Cancelled
• 13 Dec Cancelled

Proposed Topics: Concolic execution; Derek Dreyer’s GPS; Formal Verification of OS components; Automatic repair of Regular Expressions

Previous Interations: Spring 2009