1. and , ‘Purify: easy detection of memory leaks and access errors’, Proc. Winter Usenix Conference, January 1992, pp. 1–12.
2. ‘Postloading for fun and profit’, Proc. Winter 1990 USENIX Conference, January 1990, pp. 325–330.
3. and , ‘Optimally profiling and tracing programs’, Conference Record of the Nineteenth Annual ACM Symposium on Principles of Programming Languages, January 1992, pp. 59–70.
4. Abstract execution: A technique for efficiently tracing programs
5. Efficient program tracing