Travelled to:
1 × Ireland
3 × USA
Collaborated with:
E.D.Berger B.G.Zorn T.Yang T.Liu V.B.Lvin
Talks about:
memori (2) multithread (1) archipelago (1) extermin (1) reliabl (1) program (1) probabl (1) correct (1) automat (1) address (1)
Person: Gene Novark
DBLP: Novark:Gene
Contributed to:
Wrote 4 papers:
- OOPSLA-2009-BergerYLN #c #c++ #named #parallel #programming #thread
- Grace: safe multithreaded programming for C/C++ (EDB, TY, TL, GN), pp. 81–96.
- PLDI-2009-NovarkBZ #memory management
- Efficiently and precisely locating memory leaks and bloat (GN, EDB, BGZ), pp. 397–407.
- ASPLOS-2008-LvinNBZ #named #reliability #security
- Archipelago: trading address space for reliability and security (VBL, GN, EDB, BGZ), pp. 115–124.
- PLDI-2007-NovarkBZ #automation #fault #memory management #named #probability
- Exterminator: automatically correcting memory errors with high probability (GN, EDB, BGZ), pp. 1–11.