View Document Preview and Link Document Date: 2004-10-14 13:14:39 Open Document File Size: 276,78 KB Share Result on Facebook
City Program Counter / / Company IBM / Intel / AccMon / / Country United States / / Currency USD / / / Event Reorganization / / Facility Urbana-Champaign Purdue University / University of Illinois / library Access / / IndustryTerm run-time software infrastructure / tested existing tools / software data structure / basic algorithms / Invariant detection tools / software bugs / call-site address chain / external software tools / software robustness / instrumentation tool / uses buggy applications / arbitrary precision numeric processing language / similar tools / rule-based tools / tested tools / invariant detection tool / software debugging / value-based invariant detection tools / buggy applications / extra hardware / dynamic bug detection tool / bug-detection algorithms / wide-issue processor / binary-instrumentation tool / memory-bug detection tools / Apache web server / debugging tool / / OperatingSystem UNIX / Linux / Microsoft Windows / GNU / / Organization University of Illinois / National Science Foundation / Department of Computer Science / School of Electrical and Computer Engineering / Purdue University / / Person Wei Liu / Shan Lu / Samuel Midkiff / / Position programmer / / Product AccSet / CCured / iWatcher / SPEC2000 applications / SPEC2000 / / ProgrammingLanguage OBJ / FP / C / C++ / / Technology basic algorithms / bug-detection algorithms / wide-issue processor / 4 processor / UNIX / Linux / virtual memory / operating system / 4-context SMT processor / web server / / SocialTag 
AccMon: Automatically Detecting Memory-related Bugs via Program Counter-based Invariants ∗ Pin Zhou, Wei Liu, Long Fei† , Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel Midkiff† and Josep Torrellas † Department of Comp