Nicholas Nethercote

According to our database, Nicholas Nethercote authored at least 15 papers between 2001 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

The Design of the Zinc Modelling Language.

Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace

Constraints An Int. J., 2008

Adding Search to Zinc.

Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Convergent Compilation Applied to Loop Unrolling.

Nicholas Nethercote, Doug Burger, Kathryn S. McKinley

Trans. High Perform. Embed. Archit. Compil., 2007

How to shadow every byte of memory used by a program.

Nicholas Nethercote, Julian Seward

Proceedings of the 3rd International Conference on Virtual Execution Environments, 2007

Valgrind: a framework for heavyweight dynamic binary instrumentation.

Nicholas Nethercote, Julian Seward

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 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

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

MiniZinc: Towards a Standard CP Modelling Language.

Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Building Workload Characterization Tools with Valgrind.

Nicholas Nethercote, Robert Walsh, Jeremy Fitzhardinge

Proceedings of the 2006 IEEE International Symposium on Workload Characterization, 2006

Compiling for EDGE Architectures.

Aaron Smith, Jon Gibson, Bertrand A. Maher, Nicholas Nethercote, Bill Yoder, Doug Burger, Kathryn S. McKinley, James H. Burrill

Proceedings of the Fourth IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2006), 2006

2005

Using Valgrind to Detect Undefined Value Errors with Bit-Precision.

Julian Seward, Nicholas Nethercote

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

2004

Dynamic binary analysis and instrumentation: or building tools is easy.

Nicholas Nethercote

PhD thesis, 2004

2003

Valgrind: A Program Supervision Framework.

Nicholas Nethercote, Julian Seward

Proceedings of the Third Workshop on Run-time Verification, 2003

Redux: A Dynamic Dataflow Tracer.

Nicholas Nethercote, Alan Mycroft

Proceedings of the Third Workshop on Run-time Verification, 2003

2002

The cache behaviour of large lazy functional programs on stock hardware.

Nicholas Nethercote, Alan Mycroft

Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

2001

Building Constraint Solvers with HAL.

Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur

Proceedings of the Logic Programming, 17th International Conference, 2001