David Notkin: Dynamic Detection of Program Invariants
Our research on dynamic detection of program invariants focuses on using traces of program executions to find interesting and useful properties of source code.
Participants

  • Michael Ernst, now at MIT

  • Bill Griswold (UCSD)

  • Jake Cockrell (Macromedia)

  • Adam Czeisler (@Home)

  • Josh Kataoka (Toshiba R&D)
Dissertation and key publications

  • See Michael Ernst's home page for up-to-date versions of his dissertation and of papers relating to this project.

Talks

students | research | education | professional activities
personal | sabbatical stories | home | contact