This is the home of Swerve, the software verification reading group at the University of Michigan. We meet once a week to discuss current topics in the verification of software systems. Our members come from various research backgrounds, including hardware verification, microarchitecture, synthesis, and safe programming language design.

We meet Wednesdays at 1:35pm in the ACAL Conference Room.

On Tap

Foundational Proof Checkers with Small Witnesses by Dinghao Wu, Andrew W. Appel, and Aaron Stump PPDP 2003 Presented by Stephen on 2005-03-16 document (pdf) slides (ppt)

Recent Presentations

Automated Soundness Proofs for Dataflow Analyses and Transformations via Local Rules by Sorin Lerner, Todd Millstein, Erika Rice, and Craig Chambers POPL 2005 Presented by Paul on 2005-03-09 document (pdf) slides (ppt)

From Max-SAT to Min-UNSAT: Insights and Applications by Mark H. Liffiton, Zaher S. Andraus, and Karem A. Sakallah Presented by Mark on 2005-02-23 document (pdf)

Precise Interprocedural Analysis using Random Interpretation by Sumit Gulwani and George Necula POPL 2005 Presented by Murtaza on 2005-02-09 document (pdf) slides (ppt)