Nicholas Nethercote

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

Publications

Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace
Adding Search to Zinc. CP (2008)
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace
The Design of the Zinc Modelling Language. Constraints An Int. J. 13 (3) (2008)
Nicholas Nethercote, Doug Burger, Kathryn S. McKinley
Convergent Compilation Applied to Loop Unrolling. Trans. High Perform. Embed. Archit. Compil. 1 (2007)
Nicholas Nethercote, Julian Seward
Valgrind: a framework for heavyweight dynamic binary instrumentation. PLDI (2007)
Nicholas Nethercote, Julian Seward
How to shadow every byte of memory used by a program. VEE (2007)
Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley
Tracking bad apples: reporting the origin of null and undefined value errors. OOPSLA (2007)
Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
MiniZinc: Towards a Standard CP Modelling Language. CP (2007)
Aaron Smith, Jon Gibson, Bertrand A. Maher, Nicholas Nethercote, Bill Yoder, Doug Burger, Kathryn S. McKinley, James H. Burrill
Compiling for EDGE Architectures. CGO (2006)
Nicholas Nethercote, Robert Walsh, Jeremy Fitzhardinge
Building Workload Characterization Tools with Valgrind. IISWC (2006)
Julian Seward, Nicholas Nethercote
Using Valgrind to Detect Undefined Value Errors with Bit-Precision. USENIX Annual Technical Conference, General Track (2005)
Nicholas Nethercote, Alan Mycroft
Redux: A Dynamic Dataflow Tracer. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
Nicholas Nethercote, Julian Seward
Valgrind: A Program Supervision Framework. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
Nicholas Nethercote, Alan Mycroft
The cache behaviour of large lazy functional programs on stock hardware. MSP/ISMM (2002)
Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
Building Constraint Solvers with HAL. ICLP (2001)