On the public citation graph
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants
0 signed · 161 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/(sici)1097-024x(199701)27:1<87::aid-spe78>3.0.co;2-popenalex-snapshot
Low-cost, Concurrent Checking of Pointer and Array Accesses in C Programs
inferredcites →https://doi.org/10.1007/978-3-540-24644-2_35openalex-snapshot
Cetus – An Extensible Compiler Infrastructure for Source-to-Source Transformation
inferredcites →https://doi.org/10.1109/2.318580openalex-snapshot
Cache profiling and the SPEC benchmarks: a case study
inferredcites →https://doi.org/10.1109/hpca.2001.903254openalex-snapshot
JETTY: filtering snoops for reduced energy consumption in SMP servers
inferredcites →https://doi.org/10.1109/icse.2000.870435openalex-snapshot
Quickly detecting relevant program invariants
inferredcites →https://doi.org/10.1109/isca.2004.1310777openalex-snapshot
iWatcher: efficient architectural support for software debugging
inferredcites →https://doi.org/10.1109/micro.1997.645821openalex-snapshot
ProfileMe: hardware support for instruction-level profiling on out-of-order processors
inferredcites →https://doi.org/10.1109/micro.2003.1253244openalex-snapshot
Scalable hardware memory disambiguation for high ILP processors
inferredcites →https://doi.org/10.1109/shpcc.1994.296728openalex-snapshot
Dynamic program instrumentation for scalable performance tools
inferredcites →https://doi.org/10.1145/155090.155108openalex-snapshot
Using lifetime predictors to improve memory allocation performance
inferredcites →https://doi.org/10.1145/178243.178446openalex-snapshot
Efficient detection of all pointer and array access errors
inferredcites →https://doi.org/10.1145/2591635.2667183openalex-snapshot
Bloom filtering cache misses for accurate data speculation and prefetching
inferredcites →https://doi.org/10.1145/302405.302467openalex-snapshot
Dynamically discovering likely program invariants to support program evolution
inferredcites →https://doi.org/10.1145/337180.337240openalex-snapshot
Quickly detecting relevant program invariants
inferredcites →https://doi.org/10.1145/362686.362692openalex-snapshot
Space/time trade-offs in hash coding with allowable errors
inferredcites →https://doi.org/10.1145/502034.502042openalex-snapshot
An empirical study of operating systems errors
inferredcites →https://doi.org/10.1145/512529.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/512557.512558openalex-snapshot
Extended static checking for Java
inferredcites →https://doi.org/10.1145/514216.514219openalex-snapshot
Bloom filtering cache misses for accurate data speculation and prefetching
inferredcites →https://doi.org/10.1145/581339.581377openalex-snapshot
Tracking down software bugs using automatic anomaly detection
inferredcites →https://doi.org/10.1145/581376.581377openalex-snapshot
Tracking down software bugs using automatic anomaly detection
inferredcites →https://doi.org/10.1145/780822.781148openalex-snapshot
Bug isolation via remote program sampling
inferredcites →https://doi.org/10.1145/781147.781148openalex-snapshot
Bug isolation via remote program sampling
inferredcites →https://doi.org/10.1145/800050.801837openalex-snapshot
Some requirements for architectural support of software debugging
inferredcites →https://doi.org/10.1145/859618.859633openalex-snapshot
A "flight data recorder" for enabling full-system multiprocessor deterministic replay
inferredcites →https://doi.org/10.21236/ada419626openalex-snapshot
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
inferredcites →https://doi.org/10.5555/1251229.1251230openalex-snapshot
Checking system rules using system-specific, programmer-written compiler extensions
inferredcites →https://doi.org/10.5555/266800.266828openalex-snapshot
ProfileMe: hardware support for instruction-level profiling on out-of-order processors
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11532378_1openalex-snapshot
Experiences in Using Cetus for Source-to-Source Transformations
inferred← citeshttps://doi.org/10.1007/11693017_23openalex-snapshot
Argus: Online Statistical Bug Detection
inferred← citeshttps://doi.org/10.1007/978-1-4419-0140-8_10openalex-snapshot
Automated Software Vulnerability Analysis
inferred← citeshttps://doi.org/10.1007/978-3-031-01723-0openalex-snapshot
Fault Tolerant Computer Architecture
inferred← citeshttps://doi.org/10.1007/978-3-319-09967-5_12openalex-snapshot
AntSM: Efficient Debugging for Shared Memory Parallel Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-69338-3_6openalex-snapshot
Bounds Checking with Taint-Based Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-17650-0_26openalex-snapshot
Automatically Generating Patch in Binary Programs Using Attribute-Based Taint Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_26openalex-snapshot
Monitoring Data Structures Using Hardware Transactional Memory
inferred← citeshttps://doi.org/10.1007/978-3-642-37658-0_15openalex-snapshot
Ant: A Debugging Framework for MPI Parallel Programs
inferred← citeshttps://doi.org/10.1007/s10664-006-9007-3openalex-snapshot
A study of effectiveness of dynamic slicing in locating real faults
inferred← citeshttps://doi.org/10.1007/s11704-020-0190-yopenalex-snapshot
User-level failure detection and auto-recovery of parallel programs in HPC systems
inferred← citeshttps://doi.org/10.1016/j.compeleceng.2012.07.005openalex-snapshot
ARMORY: An automatic security testing tool for buffer overflow defect detection
inferred← citeshttps://doi.org/10.1016/j.jocs.2013.12.002openalex-snapshot
Statistical assertion: A more powerful method for debugging scientific applications
inferred← citeshttps://doi.org/10.1016/j.jss.2010.09.020openalex-snapshot
Taxonomy and classification of automatic monitoring of program security vulnerability exploitations
inferred← citeshttps://doi.org/10.1016/j.procs.2012.04.212openalex-snapshot
Debugging Scientific Applications With Statistical Assertions
inferred← citeshttps://doi.org/10.1109/acsac.2007.19openalex-snapshot
Automated Security Debugging Using Program Structural Constraints
inferred← citeshttps://doi.org/10.1109/ares.2009.116openalex-snapshot
Defeating Dynamic Data Kernel Rootkit Attacks via VMM-Based Guest-Transparent Monitoring
inferred← citeshttps://doi.org/10.1109/ares.2010.15openalex-snapshot
Classification of Buffer Overflow Vulnerability Monitors
inferred← citeshttps://doi.org/10.1109/dsn.2008.4630072openalex-snapshot
Using likely program invariants to detect hardware errors
inferred← citeshttps://doi.org/10.1109/dsn.2013.6575319openalex-snapshot
The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology DCDV 2013
inferred← citeshttps://doi.org/10.1109/espt.2016.008openalex-snapshot
Runtime Verification of Scientific Computing: Towards an Extreme Scale
inferred← citeshttps://doi.org/10.1109/fccm.2005.55openalex-snapshot
Prototyping Architectural Support for Program Rollback Using FPGAs
inferred← citeshttps://doi.org/10.1109/hpca.2007.346191openalex-snapshot
HARD: Hardware-Assisted Lockset-based Race Detection
inferred← citeshttps://doi.org/10.1109/hpca.2007.346205openalex-snapshot
MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging
inferred← citeshttps://doi.org/10.1109/iccd.2006.4380864openalex-snapshot
Pesticide: Using SMT to Improve Performance of Pointer-Bug Detection
inferred← citeshttps://doi.org/10.1109/icsm.2008.4658084openalex-snapshot
Identifying the root causes of memory bugs using corrupted memory location suppression
inferred← citeshttps://doi.org/10.1109/icsme.2019.00035openalex-snapshot
Automatic Discovery and Cleansing of Numerical Metamorphic Relations
inferred← citeshttps://doi.org/10.1109/ipdps.2007.370522openalex-snapshot
ExPert: Dynamic Analysis Based Fault Location via Execution Perturbations
inferred← citeshttps://doi.org/10.1109/ipdps.2012.40openalex-snapshot
SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries
inferred← citeshttps://doi.org/10.1109/isca.2005.16openalex-snapshot
BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging
inferred← citeshttps://doi.org/10.1109/isca.2006.31openalex-snapshot
Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs
inferred← citeshttps://doi.org/10.1109/micro.2006.33openalex-snapshot
Memory Protection through Dynamic Access Control
inferred← citeshttps://doi.org/10.1109/mm.2007.5openalex-snapshot
AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants
inferred← citeshttps://doi.org/10.1109/pact.2007.4336201openalex-snapshot
Unified Architectural Support for Soft-Error Protection or Software Bug Detection
inferred← citeshttps://doi.org/10.1109/pact.2007.76openalex-snapshot
Unified Architectural Support for Soft-Error Protection or Software Bug Detection
inferred← citeshttps://doi.org/10.1109/qsic.2014.14openalex-snapshot
A Hybrid Monitoring of Software Design-Level Security Specifications
inferred← citeshttps://doi.org/10.1109/retis.2015.7232868openalex-snapshot
YAHMD — Yet another heap memory debugger
inferred← citeshttps://doi.org/10.1109/sc.2010.27openalex-snapshot
FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking
inferred← citeshttps://doi.org/10.1109/scam.2013.6648188openalex-snapshot
A state alteration and inspection-based interactive debugger
inferred← citeshttps://doi.org/10.1109/securware.2010.19openalex-snapshot
Prospect of Fine Grain Dynamic Memory Access Control with Profiling
inferred← citeshttps://doi.org/10.1109/sere.2012.22openalex-snapshot
DESERVE: A Framework for Detecting Program Security Vulnerability Exploitations
inferred← citeshttps://doi.org/10.1109/tc.2022.3180990openalex-snapshot
WHISTLE: CPU Abstractions for Hardware and Software Memory Safety Invariants
inferred← citeshttps://doi.org/10.1109/tpds.2011.254openalex-snapshot
Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions
inferred← citeshttps://doi.org/10.1109/tpds.2012.127openalex-snapshot
Improving the Reliability of MPI Libraries via Message Flow Checking
inferred← citeshttps://doi.org/10.1109/tpds.2022.3157690openalex-snapshot
Jdebug: A Fast, Non-Intrusive and Scalable Fault Locating Tool for Ten-Million-Scale Parallel Applications
inferred← citeshttps://doi.org/10.1109/tse.2016.2531666openalex-snapshot
A Lightweight System for Detecting and Tolerating Concurrency Bugs
inferred← citeshttps://doi.org/10.1145/1101908.1101948openalex-snapshot
Locating faulty code using failure-inducing chops
inferred← citeshttps://doi.org/10.1145/1133255.1134002openalex-snapshot
Pruning dynamic slices with confidence
inferred← citeshttps://doi.org/10.1145/1133255.1134011openalex-snapshot
Cache-conscious coallocation of hot data streams
inferred← citeshttps://doi.org/10.1145/1133981.1134002openalex-snapshot
Pruning dynamic slices with confidence
inferred← citeshttps://doi.org/10.1145/1134285.1134324openalex-snapshot
Locating faults through automated predicate switching
inferred← citeshttps://doi.org/10.1145/1168857.1168865openalex-snapshot
A regulated transitive reduction (RTR) for longer memory race recording
inferred← citeshttps://doi.org/10.1145/1168917.1168865openalex-snapshot
A regulated transitive reduction (RTR) for longer memory race recording
inferred← citeshttps://doi.org/10.1145/1168918.1168865openalex-snapshot
A regulated transitive reduction (RTR) for longer memory race recording
inferred← citeshttps://doi.org/10.1145/1168919.1168865openalex-snapshot
A regulated transitive reduction (RTR) for longer memory race recording
inferred← citeshttps://doi.org/10.1145/1181309.1181317openalex-snapshot
Tradeoffs in fine-grained heap memory protection
inferred← citeshttps://doi.org/10.1145/1346281.1346315openalex-snapshot
Understanding the propagation of hard errors to software and implications for resilient system design
inferred← citeshttps://doi.org/10.1145/1353534.1346315openalex-snapshot
Understanding the propagation of hard errors to software and implications for resilient system design
inferred← citeshttps://doi.org/10.1145/1353535.1346315openalex-snapshot
Understanding the propagation of hard errors to software and implications for resilient system design
inferred← citeshttps://doi.org/10.1145/1353536.1346315openalex-snapshot
Understanding the propagation of hard errors to software and implications for resilient system design
inferred← citeshttps://doi.org/10.1145/1508244.1508252openalex-snapshot
Anomaly-based bug prediction, isolation, and validation
inferred← citeshttps://doi.org/10.1145/1508284.1508252openalex-snapshot
Anomaly-based bug prediction, isolation, and validation
inferred← citeshttps://doi.org/10.1145/1542431.1542449openalex-snapshot
Dynamic shape analysis via degree metrics
inferred← citeshttps://doi.org/10.1145/1806799.1806870openalex-snapshot
An empirical study of reported bugs in server software with implications for automated bug diagnosis
inferred← citeshttps://doi.org/10.1145/1869459.1869474openalex-snapshot
Do I use the wrong definition?
inferred← citeshttps://doi.org/10.1145/1932682.1869474openalex-snapshot
Do I use the wrong definition?
inferred← citeshttps://doi.org/10.1145/2000259.2000282openalex-snapshot
Building components with embedded security monitors
inferred← citeshttps://doi.org/10.1145/2451116.2451147openalex-snapshot
Safe and automatic live update for operating systems
inferred← citeshttps://doi.org/10.1145/2490301.2451147openalex-snapshot
Safe and automatic live update for operating systems
inferred← citeshttps://doi.org/10.1145/2499368.2451147openalex-snapshot
Safe and automatic live update for operating systems
inferred← citeshttps://doi.org/10.1145/2528521.1508252openalex-snapshot
Anomaly-based bug prediction, isolation, and validation
inferred← citeshttps://doi.org/10.1145/2541228.2541237openalex-snapshot
Automatic parallelization of fine-grained metafunctions on a chip multiprocessor
inferred← citeshttps://doi.org/10.1145/2751563openalex-snapshot
Program-Invariant Checking for Soft-Error Detection using Reconfigurable Hardware
inferred← citeshttps://doi.org/10.1147/rd.502.0261openalex-snapshot
HeapMon: A helper-thread approach to programmable, automatic, and low-overhead memory bug detection
inferred← citeshttps://doi.org/10.11575/prism/26698openalex-snapshot
Kernel-assisted Pattern Analysis of Memory Events
inferred← citeshttps://doi.org/10.1184/r1/6469526openalex-snapshot
Vulnerability-Specific Execution Filtering for Exploit Prevention on Commodity Software
inferred← citeshttps://doi.org/10.1201/b10928-9openalex-snapshot
Automatic Inference and Effective Application of Temporal Specifications
inferred← citeshttps://doi.org/10.12794/metadc804975openalex-snapshot
Maintaining Web Applications Integrity Running on RADIUM
inferred← citeshttps://doi.org/10.18130/v3vr45openalex-snapshot
Fault Localization for Exploratory Simulations
inferred← citeshttps://doi.org/10.2200/s00192ed1v01y200904cac005openalex-snapshot
Fault Tolerant Computer Architecture
inferred← citeshttps://doi.org/10.4018/978-1-4666-1580-9.ch008openalex-snapshot
Monitoring Buffer Overflow Attacks
inferred← citeshttps://doi.org/10.4018/jsse.2010070102openalex-snapshot
Monitoring Buffer Overflow Attacks
inferred← citeshttps://doi.org/10.5075/epfl-thesis-6257openalex-snapshot
Architectural Support to Accelerate Fine-Grain Program Monitoring
inferred← citeshttps://doi.org/10.5555/2190025.2190060openalex-snapshot
Automatic parallelization of fine-grained meta-functions on a chip multiprocessor
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.