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
aho@cs.columbia.edu