The Stanford SUIF Compiler GroupReleased Software Checklipse Eclipse plugin: plugin for finding errors in Eclipse source code using lightweight static analysis. 2005. KeepResident Eclipse plugin: plugin for Eclipse on Windows that keeps Eclipse from being swapped out, greatly reducing pause times. 2004. bddbddb: BDD-Based Deductive DataBase. 2004. Dynamic Bounds Checking: The CRED dynamic bounds checking techniques have been int
http://www.eecs.harvard.edu/machsuif/
http://www.cs.virginia.edu/zephyr/
http://www.cs.virginia.edu/nci/
