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

October 30, 2007

• John Gallagher: Blast

• Subhrendu Sarkar: Satisfiability by QUIDDs

• Nalini Vasudevan: SHIM Verification

November 1, 2007

• Abe Skolnik: MyGCC

• Gaurav Gautam and Jason Scherer: advise

• Zach van Schouwen and Huabiao Xu: Blast