Optimally Profiling and Tracing Programs.

Thomas Ball, James R. Larus

Browse the full POPL paper archive.