Research Projects - George Necula
Small Projects
- Extensible Shape Analysis with Invariant Checkers (Xisa)
Bor-Yuh Evan Chang, Xavier Rival and George Necula
Research Centers
- Parallel Computing Laboratory (ParLab)
- Team for Research in Ubiquitous Secure Technology (TRUST)
Send requests for updates to researchupdates@eecs, or Login to make changes yourself.