Software validation via scalable path-sensitive value flow analysis. - Nurit Dor; Stephen Adams 001; Manuvir Das; Zhe Yang 001 (ISSTA, 2004)

PSE: explaining program failures via postmortem static analysis. - Roman Manevich; Manu Sridharan; Stephen Adams 001; Manuvir Das; Zhe Yang 001 (SIGSOFT FSE, 2004)

Modular checking for buffer overflows in the large. - Brian Hackett; Manuvir Das; Daniel Wang; Zhe Yang 001 (ICSE, 2006)