T. Reps, S. Horwitz, and M. Sagiv. Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, page 49--61. New York, NY, USA, ACM, (1995)
T. Renaux, L. Hoste, S. Marr, and W. De Meuter. Proceedings of the 2nd edition on Programming Systems, Languages and Applications based on Actors, Agents, and Decentralized Control Abstractions, page 35--46. (October 2012)
W. Thies, M. Karczmarek, and S. Amarasinghe. Proceedings of the 11th International Conference on Compiler Construction, page 179--196. London, UK, UK, Springer-Verlag, (2002)
V. Kahlon. LICS '08: Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science, page 181--192. Washington, DC, USA, IEEE Computer Society, (2008)
Éric Piel, and A. Gonzalez-Sanchez. SINTER '09: Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime, page 3--10. New York, NY, USA, ACM, (2009)
N. Nethercote. 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..