Whole program paths

This publication has 16 references indexed in Scilit:

• Improving data-flow analysis with path profiles
  Published by Association for Computing Machinery (ACM) ,1998
• Parameterized Duplication in Strings: Algorithms and an Application to Software Maintenance
  SIAM Journal on Computing, 1997
• Exploiting hardware performance counters with flow and context sensitive profiling
  Published by Association for Computing Machinery (ACM) ,1997
• Compression and Explanation using Hierarchical Grammars
  The Computer Journal, 1997
• Making paths explicit in the Scout operating system
  Published by Association for Computing Machinery (ACM) ,1996
• Optimistic incremental specialization
  Published by Association for Computing Machinery (ACM) ,1995
• A comparative analysis of schemes for correlated branch prediction
  Published by Association for Computing Machinery (ACM) ,1995
• ATOM
  Published by Association for Computing Machinery (ACM) ,1994
• Abstract execution: A technique for efficiently tracing programs
  Software: Practice and Experience, 1990
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986