Nicholas Nethercote
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2001–2008
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CP | Adding Search to Zinc. | Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace |
| 2007 | CP | MiniZinc: Towards a Standard CP Modelling Language. | Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack |
| 2007 | OOPSLA | Tracking bad apples: reporting the origin of null and undefined value errors. | Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley |
| 2007 | PLDI | Valgrind: a framework for heavyweight dynamic binary instrumentation. | Nicholas Nethercote, Julian Seward |
| 2007 | VEE | How to shadow every byte of memory used by a program. | Nicholas Nethercote, Julian Seward |
| 2006 | CGO | Compiling for EDGE Architectures. | Aaron Smith, Jon Gibson, Bertrand A. Maher, Nicholas Nethercote, Bill Yoder, Doug Burger, Kathryn S. McKinley, James H. Burrill |
| 2005 | USENIX | Using Valgrind to Detect Undefined Value Errors with Bit-Precision. | Julian Seward, Nicholas Nethercote |
| 2001 | ICLP | Building Constraint Solvers with HAL. | Maria J. Garca de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur |