( en | de | ru )

 

Disambiguation of "Nethercote, Nicholas"

Author of the publication

copydeleteadd this publication to your clipboard
Redux: A Dynamic Dataflow Tracer.

, and . Electron. Notes Theor. Comput. Sci., 89 (2): 149-170 (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nicholas Kiefer

Nicholas Mitchell

Nicholas Pascoe

Nicholas Loewer

Nicholas Ring

 

Other publications of authors with the same name

Dynamic Binary Analysis and Instrumentation. University of Cambridge, A dissertation submitted for the degree of Doctor of Philosophy, (November 2004)It's related with Valgrind framework. fulltitle: Dynamic Binary Analysis and Instrumentation or Building Tools is Easy Parts of the research presented in this dissertation have been previously published or presented in the following papers. Nicholas Nethercote and Alan Mycroft. The cache behaviour of large lazy functional programs on stock hardware. In Proceedings of the ACM SIGPLAN Workshop on Memory System Performance (MSP 2002), pages 44–55, Berlin, Germany, July 2002. Nicholas Nethercote and Alan Mycroft. Redux: A dynamic dataflow tracer. In Proceedings of the Third Workshop on Runtime Verification (RV’03), Boulder, Colorado, USA, July 2003. Nicholas Nethercote and Julian Seward. Valgrind: A program supervision framework. In Pro- ceedings of the Third Workshop on Runtime Verification (RV’03), Boulder, Colorado, USA, July 2003. Nicholas Nethercote and Jeremy Fitzhardinge. Bounds-checking entire programs without recom- piling. In Informal Proceedings of the Second Workshop on Semantics, Program Analysis, and Com- puting Environments for Memory Management (SPACE 2004), Venice, Italy, January 2004..Tracking bad apples: reporting the origin of null and undefined value errors., , , , and . OOPSLA, page 405-422. ACM, (2007)Adding Search to Zinc., , , , and . CP, volume 5202 of Lecture Notes in Computer Science, page 624-629. Springer, (2008)Valgrind: a framework for heavyweight dynamic binary instrumentation., and . PLDI, page 89-100. ACM, (2007)The Design of the Zinc Modelling Language., , , , , and . Constraints An Int. J., 13 (3): 229-267 (2008)Compiling for EDGE Architectures., , , , , , , and . CGO, page 185-195. IEEE Computer Society, (2006)Building Workload Characterization Tools with Valgrind., , and . IISWC, page 2. IEEE Computer Society, (2006)Convergent Compilation Applied to Loop Unrolling., , and . Trans. High Perform. Embed. Archit. Compil., (2007)Building Constraint Solvers with HAL., , , , , and . ICLP, volume 2237 of Lecture Notes in Computer Science, page 90-104. Springer, (2001)Dynamic binary analysis and instrumentation: or building tools is easy.. University of Cambridge, UK, (2004)British Library, EThOS.