From post

Dynamic Binary Analysis and Instrumentation

. University of Cambridge, A dissertation submitted for the degree of Doctor of Philosophy, (ноября 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.

 

Другие публикации лиц с тем же именем

Building Constraint Solvers with HAL., , , , , и . ICLP, том 2237 из Lecture Notes in Computer Science, стр. 90-104. Springer, (2001)Dynamic binary analysis and instrumentation: or building tools is easy.. University of Cambridge, UK, (2004)British Library, EThOS.Valgrind: a framework for heavyweight dynamic binary instrumentation., и . PLDI, стр. 89-100. ACM, (2007)Adding Search to Zinc., , , , и . CP, том 5202 из Lecture Notes in Computer Science, стр. 624-629. Springer, (2008)Tracking bad apples: reporting the origin of null and undefined value errors., , , , и . OOPSLA, стр. 405-422. ACM, (2007)Dynamic Binary Analysis and Instrumentation. University of Cambridge, A dissertation submitted for the degree of Doctor of Philosophy, (ноября 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..How to shadow every byte of memory used by a program., и . VEE, стр. 65-74. ACM, (2007)MiniZinc: Towards a Standard CP Modelling Language., , , , , и . CP, том 4741 из Lecture Notes in Computer Science, стр. 529-543. Springer, (2007)Using Valgrind to Detect Undefined Value Errors with Bit-Precision., и . USENIX ATC, General Track, стр. 17-30. USENIX, (2005)Compiling for EDGE Architectures., , , , , , , и . CGO, стр. 185-195. IEEE Computer Society, (2006)