Thomas Ball James R. Larus Optimally Profiling and Tracing Programs. 59-70 1992 POPL db/conf/popl/popl92.html#BallL92