Current Projects

Our current interests are primarily in the cyber security area.

  • S2E (scalable model-free analysis of program binaries)
  • ASAP (take control of the security/performance trade-off)
  • CPI (fast and precise control-flow hijack protection)
  • VNDS (prove your network application correct)

Future Project Ideas

Please see this page for potential PhD/MS/BS projects in DSLAB

Past Projects

In the past, we’ve done work on automated testing, automated debugging, and a variety of other topics surrounding these general themes. The following projects are no longer active, but we still love every bit of them.

  • DDT (automated testing of proprietary drivers)
  • ConfErr (tool suite for human configuration-error injection)
  • 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 sponsored by:

Google Research Google Focused Research Award,
Google Faculty Award,
Google PhD Fellowship
SNSF Swiss National
Science Foundation
CTI Swiss Commission for
Technology & Innovation
Microsoft Research Microsoft Research
Fellowship
Intel Intel PhD Fellowship
IBM IBM PhD Fellowship
VMware VMware Graduate
Research Fellowship

NOBUGS projects are sponsored by:

ERC European Research
Council Starting Grant
EU This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no 278656