Nicholas Nethercote

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