BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Novark:Gene

Contributed to:

OOPSLA 20092009
PLDI 20092009
ASPLOS 20082008
PLDI 20072007

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.