Building Constraint Solvers with HAL. - Maria J. García de la Banda; David Jeffery; Kim Marriott; Nicholas Nethercote; Peter J. Stuckey; Christian Holzbaur (ICLP, 2001)

The cache behaviour of large lazy functional programs on stock hardware. - Nicholas Nethercote; Alan Mycroft (MSP/ISMM, 2002)

Redux: A Dynamic Dataflow Tracer. - Nicholas Nethercote; Alan Mycroft (RV@CAV, 2003)

Valgrind: A Program Supervision Framework. - Nicholas Nethercote; Julian Seward (RV@CAV, 2003)

Dynamic binary analysis and instrumentation: or building tools is easy. - Nicholas Nethercote (2004)

Using Valgrind to Detect Undefined Value Errors with Bit-Precision. - Julian Seward; Nicholas Nethercote (USENIX ATC, General Track, 2005)

Compiling for EDGE Architectures. - Aaron Smith; Jon Gibson; Bertrand A. Maher; Nicholas Nethercote; Bill Yoder; Doug Burger; Kathryn S. McKinley; James H. Burrill (CGO, 2006)

Building Workload Characterization Tools with Valgrind. - Nicholas Nethercote; Robert Walsh; Jeremy Fitzhardinge (IISWC, 2006)

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

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 (OOPSLA, 2007)

Valgrind: a framework for heavyweight dynamic binary instrumentation. - Nicholas Nethercote; Julian Seward (PLDI, 2007)

How to shadow every byte of memory used by a program. - Nicholas Nethercote; Julian Seward (VEE, 2007)

Convergent Compilation Applied to Loop Unrolling. - Nicholas Nethercote; Doug Burger; Kathryn S. McKinley (Trans. High Perform. Embed. Archit. Compil., 2007)

Adding Search to Zinc. - Reza Rafeh; Kim Marriott; Maria Garcia de la Banda; Nicholas Nethercote; Mark Wallace 001 (CP, 2008)

The Design of the Zinc Modelling Language. - Kim Marriott; Nicholas Nethercote; Reza Rafeh; Peter J. Stuckey; Maria Garcia de la Banda; Mark Wallace 001 (Constraints An Int. J., 2008)