Current Projects
- Performance Interfaces (making system performance as easy as functionality)
- TPot (practical verification of systems code)
- NFOS (easy scaling of network functions)
- SVSHI (secure & verified smart-home infrastructure)
Past Projects
The following are past projects that are no longer in active research. Some are still in active development in the open-source community or in commercial settings. The others are provided here for archival purposes.
- S2E (scalable model-free analysis of program binaries)
- CPI (fast and precise control-flow hijack protection)
- TinyNF (fast and verifiable network drivers)
- Vigor and Klint (trustworthy software-based network devices)
- ASAP (take control of the security/performance trade-off)
- DDT (automated testing of proprietary drivers)
- ConfErr (tool suite for human configuration-error injection)
- Chef (converting language interpreters to symbolic executors)
- Cloud9 (automated software testing as a service)
- RaceMob (low overhead, accurate data race detection)
- ESD (execution synthesis)
- Portend (data race detector and classifier)
- Gist (automated root cause diagnosis)
- LFI (tool suite for library-level fault injection)
- Dimmunix (deadlock immunity)
- RevEng (reverse engineering)
- PDF Accessibility (accessibility in online education)
Our work is/was sponsored by:
