BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
2 × USA
Collaborated with:
J.Seward K.S.McKinley M.D.Bond S.W.Kent S.Z.Guyer M.J.G.d.l.Banda D.Jeffery K.Marriott P.J.Stuckey C.Holzbaur A.Smith J.Gibson B.A.Maher B.Yoder D.Burger J.H.Burrill
Talks about:
heavyweight (1) architectur (1) instrument (1) constraint (1) framework (1) valgrind (1) undefin (1) solver (1) report (1) origin (1)

Person: Nicholas Nethercote

DBLP DBLP: Nethercote:Nicholas

Contributed to:

OOPSLA 20072007
PLDI 20072007
CGO 20062006
ICLP 20012001

Wrote 4 papers:

OOPSLA-2007-BondNKGM #fault #null
Tracking bad apples: reporting the origin of null and undefined value errors (MDB, NN, SWK, SZG, KSM), pp. 405–422.
PLDI-2007-NethercoteS #framework #named
Valgrind: a framework for heavyweight dynamic binary instrumentation (NN, JS), pp. 89–100.
CGO-2006-SmithGMNYBMB #architecture #compilation
Compiling for EDGE Architectures (AS, JG, BAM, NN, BY, DB, KSM, JHB), pp. 185–195.
ICLP-2001-BandaJMNSH #constraints #theorem proving
Building Constraint Solvers with HAL (MJGdlB, DJ, KM, NN, PJS, CH), pp. 90–104.
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.