COMS W4117
Compilers and Translators:
Software Verification Tools
Project Presentations II

November 13, 2007

• John Gallagher: Blast

• Subhrendu Sarkar: Satisfiability by QUIDDs

• Nalini Vasudevan: Deadlock Detection in SHIM

November 15, 2007

• Abe Skolnik: MyGCC

• Gaurav Gautam and Jason Scherer: advise

• Zach van Schouwen and Huabiao Xu: Blast