2008 Research Summary - George Necula
Large Projects
- Open Source Quality
Thomas A. Henzinger, George Necula, Ras Bodik and Sanjit A. Seshia
Small Projects
- Extensible Shape Analysis with Invariant Checkers
Bor-Yuh Evan Chang, Xavier Rival and George Necula