@inproceedings{1378201ad2ba4bbdb1a57e8e0fa2b670,
title = "Checking program profiles",
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. We describe 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 checker uncovered profiling anomalies that were previously unknown and that would have been very difficult to identify using existing techniques.",
keywords = "Computer science, Computerized monitoring, Counting circuits, Feedback, Flow graphs, Hardware, Optimizing compilers, Programming profession, Runtime, Testing",
author = "P. Moseley and S. Debray and G. Andrews",
note = "Publisher Copyright: {\textcopyright} 2003 IEEE.; 3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003 ; Conference date: 26-09-2003 Through 27-09-2003",
year = "2003",
doi = "10.1109/SCAM.2003.1238045",
language = "English (US)",
series = "Proceedings - 3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "193--202",
booktitle = "Proceedings - 3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003",
}