2008 |
14 | EE | Reza Rafeh,
Kim Marriott,
Maria Garcia de la Banda,
Nicholas Nethercote,
Mark Wallace:
Adding Search to Zinc.
CP 2008: 624-629 |
13 | EE | Kim Marriott,
Nicholas Nethercote,
Reza Rafeh,
Peter J. Stuckey,
Maria Garcia de la Banda,
Mark Wallace:
The Design of the Zinc Modelling Language.
Constraints 13(3): 229-267 (2008) |
2007 |
12 | EE | Nicholas Nethercote,
Peter J. Stuckey,
Ralph Becket,
Sebastian Brand,
Gregory J. Duck,
Guido Tack:
MiniZinc: Towards a Standard CP Modelling Language.
CP 2007: 529-543 |
11 | EE | 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: 405-422 |
10 | EE | Nicholas Nethercote,
Julian Seward:
Valgrind: a framework for heavyweight dynamic binary instrumentation.
PLDI 2007: 89-100 |
9 | EE | Nicholas Nethercote,
Julian Seward:
How to shadow every byte of memory used by a program.
VEE 2007: 65-74 |
8 | EE | Nicholas Nethercote,
Doug Burger,
Kathryn S. McKinley:
Convergent Compilation Applied to Loop Unrolling.
T. HiPEAC 1: 140-158 (2007) |
2006 |
7 | EE | 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: 185-195 |
6 | EE | Nicholas Nethercote,
Robert Walsh,
Jeremy Fitzhardinge:
Building Workload Characterization Tools with Valgrind.
IISWC 2006: 2 |
2005 |
5 | EE | Julian Seward,
Nicholas Nethercote:
Using Valgrind to Detect Undefined Value Errors with Bit-Precision.
USENIX Annual Technical Conference, General Track 2005: 17-30 |
2003 |
4 | EE | Nicholas Nethercote,
Alan Mycroft:
Redux: A Dynamic Dataflow Tracer.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
3 | EE | Nicholas Nethercote,
Julian Seward:
Valgrind: A Program Supervision Framework.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
2002 |
2 | EE | Nicholas Nethercote,
Alan Mycroft:
The cache behaviour of large lazy functional programs on stock hardware.
MSP/ISMM 2002: 44-55 |
2001 |
1 | EE | 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: 90-104 |