Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel Midkiff, Josep Torrellas  Home/Search
Context Related
| microarch.org/micr...24_ZhouAccMon.pdf 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: microarch.org/micro37/program (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper makes two contributions to architectural support for software debugging. First, it proposes a novel statistics-based, onthe -fly bug detection method called PC-based invariant detection. The idea is based on the observation that, in most programs, a given memory location is typically accessed by only a few instructions. Therefore, by capturing the invariant of the set of PCs that normally access a given variable, we can detect accesses by outlier instructions, which are often caused... (Update)
Cited by: More
Vulnerability-Specific Execution Filtering for Exploit.. - Newsome, Brumley, Song (2005) (Correct)
BugNet: Continuously Recording Program Execution for.. - Narayanasamy, Pokam.. (2005) (Correct)
Active bibliography (related documents): More All
1.0: Flashback: A Lightweight Extension for Rollback and .. - Srinivasan.. (2004) (Correct)
0.9: iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (Correct)
0.5: Low-Overhead Interactive Debugging via Dynamic.. - Marc Corliss Christopher (2005) (Correct)
Similar documents based on text: More All
0.1: Compilation Techniques for Explicitly Parallel Programs - Lee (1999) (Correct)
0.1: A Design Principle of Massively Parallel Distributed-Memory.. - Amamiya, Kawano (1994) (Correct)
0.1: Limits to the Performance of Software Shared Memory: A.. - Bilas, Jiang, Zhou.. (1997) (Correct)
Related documents from co-citation: More All
2: Pin: Building customized program analysis tools with dynamic instrumentation (context) - Luk, Cohn et al. - 2005
2: Safemem: Exploiting ecc-memory for detecting memory leaks and memory corruption .. (context) - Qin, Lu et al. - 2005
BibTeX entry: (Update)
P. Zhou, W. Liu, F. Long, S. Lu, F. Qin, Y. Zhou, S. Midkiff, and J. Torrellas. Accmon: Automatically detecting memory-related bugs via program counter-based invariants. In 37th International Symposium on Microarchitecture (MICRO), Nov 2004. http://citeseer.ist.psu.edu/zhou04accmon.html More
@misc{ zhou04accmon,
author = "P. Zhou and W. Liu and F. Long and S. Lu and F. Qin and Y. Zhou and S.
Midkiff and J. Torrellas",
title = "Accmon: Automatically detecting memory-related bugs via program counter-based
invariants",
text = "P. Zhou, W. Liu, F. Long, S. Lu, F. Qin, Y. Zhou, S. Midkiff, and J. Torrellas.
Accmon: Automatically detecting memory-related bugs via program counter-based
invariants. In 37th International Symposium on Microarchitecture (MICRO),
Nov 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/zhou04accmon.html" }
Citations (may not include all citations):386 ATOM: A System for Building Customized Program Analysis Tool.. (context) - Srivastava, Eustace - 1994
181 Spacetime trade off hash coding with allowable error - time, in et al. - 1970
171 Dynamically discovering likely program invariants to support.. - Ernst, Cockrell et al. - 1999
141 StackGuard: Automatic adaptive detection and prevention of b.. - Cowan, Pu et al. - 1998
140 Eraser: A dynamic data race detector for multithreaded progr.. - Savage, Burrows et al. - 1997 DBLP
140 Extended static checking for java - Flanagan, Leino et al. - 2002
109 Cache profiling and the SPEC benchmarks: A case study - Lebeck, Wood - 1994 DBLP
100 Checking system rules using system-specific (context) - Engler, Chelf et al. - 2000
98 Purify: Fast detection of memory leaks and access errors (context) - Hastings, Joyce - 1992
72 Cache-conscious data placement - Calder, Chandra et al. - 1998 ACM DBLP
67 Profileme : Hardware support for instruction-level profiling.. - Dean, Hicks et al. - 1997
67 CCured: type-safe retrofitting of legacy code - Necula, McPeak et al. - 2002 DBLP
63 Dynamic program instrumentation for scalable performance too.. (context) - Hollingsworth, Miller et al. - 1994
61 The IA-32 intel architecture software developer's manual (context) - Co
58 Tracking down software bugs using automatic anomaly detectio.. - Hangal, Lam - 2002 ACM DBLP
55 Quickly detecting relevant program invariants - Ernst, Czeisler et al. - 2000 ACM DBLP
48 The SPARC architecture manual: Version (context) - International - 1992
47 Using lifetime predictors to improve memory allocation perfo.. - Barrett, Zorn - 1993 ACM DBLP
45 Efficient detection of all pointer and array access errors - Austin, Breach et al. - 1994 ACM DBLP
38 An empirical study of operating system errors - Chou, Yang et al. - 2001
34 Backwards-compatible bounds checking for arrays and pointers.. - Jones, Kelly - 1997
30 CMC: A pragmatic approach to model checking real code - Musuvathi, Park et al. - 2002 DBLP
25 concurrent checking of pointer and array accesses in C progr.. (context) - Patil, Fischer - 1997
24 Bug isolation via remote program sampling - Liblit, Aiken et al. - 2003 ACM DBLP
23 Mondrian memory protection - Witchel, Cates et al. - 2002 ACM DBLP
15 CCured in the real world - Condit, Harren et al. - 2003
15 Efficient data breakpoints (context) - Wahbe - 1992 ACM DBLP
9 Some requirements for architectural support of software debu.. (context) - Johnson - 1982 ACM DBLP
7 Jetty: Filtering snoops for reduced energy consumption in SM.. - Moshovos, Memik et al. - 2001 DBLP
7 ReEnact: Using Thread-Level Speculation Mechanisms to Debug .. (context) - Prvulovic, Torrellas - 2003 DBLP
6 Software errors cost U (context) - of, Technlogy et al. - 2002
6 flight data recorder (context) - Xu, Bodik et al. - 2003
5 Bugs as inconsistent behavior: A general approach to inferri.. (context) - Engler, Chen et al. - 2001 DBLP
2 Blueprints for high availablity (context) - Marcus, Stern - 2000
2 iWatcher: Efficient Architectural Support for Software Debug.. - Zhou, Qin et al. - 2004
2 Bloom filtering cache misses for accurate data speculation a.. (context) - Peir, Lai et al. - 2002 ACM DBLP
1 CP-Miner: A Tool for Finding Copypaste and Related Bugs in O.. (context) - Li, Lu et al. - 2004
1 Cetus - an extensible compiler infrastructure for source-to-.. - Lee, Johnson et al. - 2003
1 Scalabel hardware memory disambiguation for high ILP process.. (context) - Sethumadhavan, Desikan et al. - 2003
http://developer.kde.org/
Documents on the same site (http://www.microarch.org/micro37/program.html): More
Cache Refill/Access Decoupling for Vector Machines - Batten, Krashinsky.. (2004) (Correct)
Managing Wire Delay in Large Chip-Multiprocessor Caches - Beckmann, Wood (2004) (Correct)
Adaptive History-Based Memory Schedulers - Hur, Lin (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