Whole program paths

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 5, 1999, Pages 259-269

  Larus, James R ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Data compression; Dynamic program measurement; Path profiling; Program control flow; Program tracing

Indexed keywords

EID: 17244365527     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/301631.301678     Document Type: Article

References (28)

1. G. Ammons, T. Ball, and J. R. Larus,"Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling," in Proceedings of the SIGPLAN '97 Conference on Programming Language Design and Implementation. Las Vegas, NV, 1997, pp. 85-96.
2. G. Ammons and J. R. Larus,"Improving Data-flow Analysis with Path Profiles," in Proceedings of the SIGPLAN '98 Conference on Programming Language Design and Implementation. Montreal, Canada, 1998, pp. 72-84.
3. S. Andler,"Predicate Path Expressions," in Proceedings of the Sixth Annual ACM Symposium on Principles of Programming Languages. San Antonio, Texas, 1979, pp 226-236.
4. B. S. Baker,"Parameterized Duplication in Strings: Algorithms and an Application to Software Maintenance," SIAM Journal of Computing, vol. 26, pp. 1343-1362, 1995.
5. V. Bala,"Low Overhead Path Profiling," Hewlett Packard Labs 1996.
6. T. Ball and J. R. Larus,"Efficient Path Profiling," in Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. Paris, France, 1996, pp. 46-57.
7. T. Ball, P. Mataga, and M. Sagiv,"Edge Profiling Versus Path Profiling: the Showdown," in Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. San Diego, CA, 1998, pp. 134-148.
8. R. Bodik, R. Gupta, and M. L. Soffa,"Refining Data Flow Information using Infeasible Paths," in Proceedings of the ACM SIGSOFT Fifth Symposium on the Foundations of Software Engineering. Zurich, Switzerland, 1997.
9. I.-C. K. Chen, J. T. Coffey, and T. N. Mudge,"Analysis of Branch Prediction via Data Compression," in Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems. Cambridge, MA, 1996, pp. 128-137.
10. E. N. Clarke, E. A. Emerson, and A. P. Sistla,"Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications," ACM Transactions on Programming Languages and Systems, vol. 8, pp. 244-263, 1986.
11. J. A. Fisher,"Trace Scheduling: A Technique for Global Microcode Compaction," IEEE Transactions on Computers, vol. C-30, pp. 478-490, 1981.
12. J. A. Fisher, J. R. Ellis, J. C. Ruttenberg, and A. Nicolau, "Parallel Processing: A Smart Compiler and a Dumb Machine," in Proceedings of the ACM SIGPLAN '84 Symposium on Compiler Construction. Montreal, Canada, 1984, pp. 37-47.
13. J. Gray,"The Benchmark Handbook for Database and Transaction Processing Systems," in The Morgan Kaufmann Series in Data Management Systems, J. Gray, Ed., second ed. San Francisco: Morgan Kaufmann, 1993.
14. R. Gupta, D. A. Berson, and J. Z. Fang,"Path Profile Guided Partial Dead Code Elimination Using Predication," in Proceedings of the International Conference on Parallel Architecture and Compilation Techniques (PACT). San Francisco, CA, 1997.
15. Q. Jacobson, E. Rotenberg, and J. E. Smith,"Path-Based Next Trace Prediction," in Proceedings of the 30th Annual IEEE/ACM International Symposium on Microarchitecture. Research Triangle Park, NC, 1997.
16. J. R. Larus,"Abstract Execution: A Technique for Efficiently Tracing Programs," Software - Practice and Experience, vol. 20, pp. 1241-1258, 1990.
17. J. R. Larus and E. Schnarr,"EEL: Machine-Independent Executable Editing," in Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation. La Jolla, CA, 1995, pp. 291-300.
18. D. Melski and T. Reps,"Interprocedural Path Profiling," Computer Sciences Department, University of Wisconsin-Madison, Technical Report TR-1382, September 1998.
19. D. Melski and T. Reps,"Interprocedural Path Profiling," in Proceedings of CC '99: 8th International Conference on Compiler Construction. Amsterdam, The Netherlands, 1999.
20. D. Mosberger and L. L. Peterson,"Making Paths Explicit in the Scout Operating System," in Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI). Seattle, WA, 1996, pp. 153-167.
21. C. G. Nevill-Manning and I. H. Witten,"Compression and explanation using hierarchical grammars," The Computer Journal, vol. 40, pp. 103-116, 1997.
22. C. G. Nevill-Manning and I. H. Witten,"Linear-time, incremental hierarchy inference for compression," in Proceedings of the Data Compression Conference (DCC '97). Snowbird, UT: IEEE Computer Society, 1997, pp. 3-11.
23. A. R. Pleszkun,"Techniques for Compressing Program Address Traces," in Proceedings of the 27th Annual IEEE/ACM International Symposium on Microarchitecture, 1994, pp. 32-40.
24. C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole, and K. Zhang,"Optimistic Incremental Specialization: Streamlining a Commercial Operating System," in Proceedings of the Fifteenth ACM Symposium on Operating System Principles. Copper Mountaint Resort, CO, 1995, pp. 314-324.
25. E. Rotenberg, S. Bennett, and J. E. Smith,"Trace Cache: a Low Latency Approach to High Bandwidth Instruction Fetching," in Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. Paris, France, 1996, pp. 24-34.
26. E. Rotenberg, Q. Jacobson, Y. Sazeides, and J. Smith,"Trace Processors," in Proceedings of the 30th Annual IEEE/ACM International Symposium on Microarchitecture. Research Triangle Park, NC, 1997, pp. 138-148.
27. A. Srivastava and A. Eustace,"ATOM A System for Building Customized Program Analysis Tools," in Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation. Orlando, FL, 1994, pp. 196-205.
28. C. Young, N. Gloy, and M. D. Smith,"A Comparative Analysis of Schemes for Correlated Branch Prediction," in Proceedings of the 22nd Annual International Symposium on Computer Architecture, 1995, pp. 276-286.