Autor der Publikation

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Building Constraint Solvers with HAL., , , , , und . ICLP, Volume 2237 von Lecture Notes in Computer Science, Seite 90-104. Springer, (2001)Dynamic binary analysis and instrumentation: or building tools is easy.. University of Cambridge, UK, (2004)British Library, EThOS.Compiling for EDGE Architectures., , , , , , , und . CGO, Seite 185-195. IEEE Computer Society, (2006)Building Workload Characterization Tools with Valgrind., , und . IISWC, Seite 2. IEEE Computer Society, (2006)Adding Search to Zinc., , , , und . CP, Volume 5202 von Lecture Notes in Computer Science, Seite 624-629. Springer, (2008)Valgrind: a framework for heavyweight dynamic binary instrumentation., und . PLDI, Seite 89-100. ACM, (2007)Tracking bad apples: reporting the origin of null and undefined value errors., , , , und . OOPSLA, Seite 405-422. 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..MiniZinc: Towards a Standard CP Modelling Language., , , , , und . CP, Volume 4741 von Lecture Notes in Computer Science, Seite 529-543. Springer, (2007)How to shadow every byte of memory used by a program., und . VEE, Seite 65-74. ACM, (2007)