Archipelago: trading address space for reliability and security. - Vitaliy B. Lvin; Gene Novark; Emery D. Berger; Benjamin G. Zorn (ASPLOS, 2008)

Exterminator: Automatically correcting memory errors with high probability. - Gene Novark; Emery D. Berger; Benjamin G. Zorn (Commun. ACM, 2008)

Grace: safe multithreaded programming for C/C++. - Emery D. Berger; Ting Yang; Tongping Liu; Gene Novark (OOPSLA, 2009)

Efficiently and precisely locating memory leaks and bloat. - Gene Novark; Emery D. Berger; Benjamin G. Zorn (PLDI, 2009)

DieHarder: securing the heap. - Gene Novark; Emery D. Berger (CCS, 2010)