Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Nicholas Nethercote | Researchclopedia

Back to researchers

Nicholas Nethercote

20

Works

5,311

Citations

14

h-index

16

i10-index

Research Topics

Parallel Computing and Optimization Techniques Security and Verification in Computing Logic, programming, and type systems

Affiliations

University of Melbourne2001–2008

University of Cambridge2002–2003

Data612007–2008

The University of Texas at Austin2005–2007

Top Works

Nicholas Nethercote,Julian Seward

20072,239 citations

Software Testing and Debugging Techniques

Distributed and Parallel Computing Systems

MiniZinc: Towards a Standard CP Modelling Language

Nicholas Nethercote,Peter J. Stuckey,et al.

2007732 citations

Nicholas Nethercote,Julian Seward

2007678 citations

Nicholas Nethercote,Julian Seward

2003456 citations

Using Valgrind to detect undefined value errors with bit-precision

Julian Seward,Nicholas Nethercote

2005297 citations

How to shadow every byte of memory used by a program

Nicholas Nethercote,Julian Seward

2007238 citations

Dynamic binary analysis and instrumentation

Nicholas Nethercote

2021171 citations

The Design of the Zinc Modelling Language

Kim Marriott,Nicholas Nethercote,et al.

2008136 citations

Compiling for EDGE Architectures

A. Gordon Smith,J. S. Gibson,et al.

200686 citations