Empirical study of optimization techniques for massive slicing

D Binkley, M Harman, J Krinke

Research output: Contribution to journalArticlepeer-review

Abstract

This article presents results from a study of techniques that improve the performance of graph-based interprocedural slicing of the System Dependence Graph (SDG). This is useful in "massive slicing" where slices are required for many or all of the possible set of slicing criteria. Several different techniques are considered, including forming strongly connected components, topological sorting, and removing transitive edges. Data collected from a test bed of just over 1,000,000 lines of code are presented. This data illustrates the impact on computation time of the techniques. Together, the best combination produces a 71% reduction in run-time (and a 64% reduction in memory usage). The complete set of techniques also illustrates the point at which faster computation is not viable due to prohibitive preprocessing costs
Original languageEnglish
Article number3
JournalACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Volume30
Issue number1
DOIs
Publication statusPublished - 2008

Fingerprint

Dive into the research topics of 'Empirical study of optimization techniques for massive slicing'. Together they form a unique fingerprint.

Cite this