BibTex file

Valgrind and Dynamic Binary Analysis


Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer and Kathryn S. McKinley. Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors. OOPSLA 2007.

Nicholas Nethercote and Julian Seward. Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. PLDI 2007. 2017 Winner of the Most Influential PLDI Paper Award.

Nicholas Nethercote and Julian Seward. How to Shadow Every Byte of Memory Used by a Program. VEE 2007.

Julian Seward and Nicholas Nethercote. Using Valgrind to detect undefined value errors with bit-precision. USENIX’05.

Nicholas Nethercote and Jeremy Fitzhardinge. Bounds-Checking Entire Programs Without Recompiling. SPACE 2004.

Nicholas Nethercote and Julian Seward. Valgrind: A Program Supervision Framework. ENTCS 89 No. 2, 2003.

Nicholas Nethercote and Alan Mycroft. Redux: A Dynamic Dataflow Tracer. ENTCS 89 No. 2, 2003.


Nicholas Nethercote, Robert Walsh, Jeremy Fitzhardinge. Building Workload Characterization Tools with Valgrind. Invited tutorial, IISWC-2006.

Nicholas Nethercote. Dynamic Binary Analysis and Instrumentation. PhD Dissertation, University of Cambridge, 2004.

Compilation and Architecture


Nicholas Nethercote, Douglas C. Burger and Kathryn S. McKinley. Convergent Compilation Applied to Loop Unrolling. Transactions on HiPEAC, Special Issue: Future Directions in Embedded Systems Compilation, September 2006.

Aaron Smith, Jim Burrill, Jon Gibson, Bertrand Maher, Nicholas Nethercote, Bill Yoder, Doug Burger and Kathryn S. McKinley. Compiling for EDGE Architectures. CGO-4, 2006.

Kevin Bush, Mark Gebhart, Eric Wei, Natalie Yudin, Bertrand Maher, Nicholas Nethercote, Doug Burger and Stephen W. Keckler. Evaluation and Optimization of Signal Processing Kernels on the TRIPS Architecture. ODES-4, 2006.

Nicholas Nethercote and Alan Mycroft. The Cache Behaviour of Large Lazy Functional Programs on Stock Hardware. MSP 2002.

Constraint Programming


Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda and Mark Wallace. The Design of the Zinc Modelling Language. Constraints, 13(3), 2008.

Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck and Guido Tack. MiniZinc: Towards a Standard CP Modelling Language. CP 2007.

María García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey and Christian Holzbaur. Building Constraint Solvers with HAL. ICLP’01.


Nicholas Nethercote. The Analysis Framework of HAL. Master’s Thesis, University of Melbourne, 2002.