Patrick Moseley Saumya Debray Gregory Andrews Department of Computer Science...  Home/Search
Context
Related
| brunel.ac.uk/~csstmmh2/scam2003...p5.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brunel.ac.uk/~c...epted_Papers_ct (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Execution profiles have become increasingly important for guiding code optimization. However, little has been done to develop ways to check automatically that a profile does, in fact, reflect the actual execution behavior of a program. This paper describes a framework that uses program monitoring techniques in a way that allows the automatic checking of a wide variety of profile data. We also describe our experiences with using an instance of this framework to check edge profiles. The profile... (Update)
Active bibliography (related documents): More All
0.5: Operational Profile Specification, Test Case Generation, and.. - Woit (1994) (Correct)
0.5: Object-Oriented programs and Testing - Perry, Kaiser (1990) (Correct)
0.4: A Survey of Adaptive Optimization in Virtual Machines - Arnold, Fink, Grove, Hind.. (2004) (Correct)
Similar documents based on text: More All
0.9: Verifying Program Profiles - Moseley, Debray, Andrews (Correct)
0.4: Unspeculation - Snavely, Debray, Andrews (Correct)
0.4: Predicate Analysis and If-Conversion in an Itanium.. - Snavely, Debray, Andrews (Correct)
BibTeX entry: (Update)
@misc{ saumya-checking,
author = "Patrick Moseley Saumya",
title = "Checking Program Profiles",
url = "citeseer.ist.psu.edu/632134.html" }
Citations (may not include all citations):386 ATOM---A system for building customized program analysis too.. (context) - Srivastava, Eustace - 1994
183 Profile-guided code positioning (context) - Pettis, Hansen - 1990
150 gprof: A call graph execution profiler - Graham, Kessler et al. - 1982
103 Efficient path profiling - Ball, Larus - 1996
94 Using profile information to assist classic code optimizatio.. - Chang, Mahlke et al. - 1991
80 Optimizing dynamicallydispatched calls with run-time type fe.. (context) - Holzle, Ungar - 1994
58 Rewriting executable files to measure program behavior - Larus, Ball - 1994
45 ACM Transactions on Programming Languages and Systems (context) - Ball, Larus et al. - 1994
35 Value profiling and optimization - Calder, Feller et al. - 1999
30 A framework for reducing the cost of instrumented code - Arnold, Ryder - 2001
14 Hot cold optimization large WindowNT application - Lowney, optimization et al. - 1996
13 Profile-assisted instruction scheduling - Chen, Mahlke et al. - 1994
13 Code specialization based on value profiles - Muth, Watterson et al. - 2000
13 Plto: A link-time optimizer for the Intel IA-32 architecture - Schwarz, Debray et al. - 2001
11 Bursty tracing: A framework for low-overhead temporal profil.. - Hirzel, Chilimbi - 2001
8 Profile-guided code compression - Debray, Evans - 2002
8 Disassembly of executable code revisited - Schwarz, Debray et al. - 2002
7 How Debuggers Work: Algorithms (context) - Rosenberg - 1996
4 Design and analysis of profile-based optimization in Compaq'.. - Cohn, Lowney - 2000
4 A novel probabilistic data flow framework - Mehofer, Scholz - 2027
4 Goal-directed value profiling - Watterson, Debray - 2001
3 Testing in the Program Development Cycle (context) - Laski - 1989
2 and Cluster Analysis (context) - Podgurski, Yang et al. - 1993
2 Software Engineering and Technology: Functional Program Test.. (context) - Howden - 1987
1 Validation through Testing (context) - Cherniavsky - 1989
http://dunx1.irt.drexel.edu/
Documents on the same site (http://www.brunel.ac.uk/~csstmmh2/scam2003/Accepted_Papers_ct.html): More
Design of the CodeBoost Transformation System for - Domain-Specific Optimisation Of (2003) (Correct)
Barrier Slicing and Chopping - Jens Krinke Universit (2003) (Correct)
The Java System Dependence Graph - Walkinshaw, Roper, Wood (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC