Gene Novark
I'm an $n$th-year grad student (yet again) at the University of Massachusetts Amherst. My advisor is Emery Berger .
My research focus is on automatic techniques to improve software reliability and correctness.
CV
Publications:
Efficiently and Precisely Locating Memory Leaks and Bloat
Gene Novark, Emery Berger, and Ben Zorn
PLDI '09. Slides (Flash Player)
Exterminator: Automatically Correcting Memory Errors with High Probability
Now in CACM!
Archipelago: Trading Address Space for Reliability and Security
Vitaliy Lvin, Gene Novark, Emery Berger, and Ben Zorn
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), Seattle, WA.
Exterminator: Automatically Correcting Memory Errors with High Probability
Gene Novark, Emery D. Berger, and Benjamin G. Zorn
ACM Conference on Programming Language Design and Implementation (PLDI '07), San Diego, CA, June 2007.
Slides: [PPT]
[PDF]
Custom Object Layout for Garbage-Collected Languages
Gene Novark, Trevor Strohman, and Emery D. Berger
University of Massachusetts, Amherst UM-CS-2006-06, 2006.
Software:
The code for the Exterminator system is available. Download .
Copyright 2007 University of Massachusetts Amherst. Free for non-commercial use.
This release supports the Cumulative mode (other modes are supported by currently-undocumented compile-time options). The other modes will be supported and documented "soon."
gnovark@cs.figure-it-out .edu