Author of the publication

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..

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.

 

Other publications of authors with the same name

Dynamic binary analysis and instrumentation: or building tools is easy.. University of Cambridge, UK, (2004)British Library, EThOS.Building Constraint Solvers with HAL., , , , , and . ICLP, volume 2237 of Lecture Notes in Computer Science, page 90-104. Springer, (2001)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)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)How to shadow every byte of memory used by a program., and . VEE, page 65-74. ACM, (2007)MiniZinc: Towards a Standard CP Modelling Language., , , , , and . CP, volume 4741 of Lecture Notes in Computer Science, page 529-543. Springer, (2007)Using Valgrind to Detect Undefined Value Errors with Bit-Precision., and . USENIX ATC, General Track, page 17-30. USENIX, (2005)Compiling for EDGE Architectures., , , , , , , and . CGO, page 185-195. IEEE Computer Society, (2006)