- GRace: A Low-Overhead Mechanism for Detecting Data Races in GPU Programs
- UK Workshop on Grid Security Experiences, Oxford 8th and 9th July 2004 An OGSI CredentialManager Service
- LeakSurvivor: Towards Safely Tolerating Memory Leaks for Garbage-Collected Languages
- LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting Security Attacks
- Rx: Treating Bugs As Allergies--A Safe Method to Survive Software Failures
- SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs
- iWatcher: Simple and General Architectural Support for Software Debugging Pin Zhou, Feng Qin, Wei Liu, Yuanyuan Zhou and Josep Torrellas
- This version contains an evaluation that is slightly updated and corrected from the version appearing at ISCA 2004. iWatcher: Efficient Architectural Support for Software Debugging
- Dynamic Program Slicing Hiralal Agrawal
- LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks
- 2ndStrike: Toward Manifesting Hidden Concurrency Typestate Bugs
- First-Aid: Surviving and Preventing Memory Management Bugs during Production Runs
- First-Aid: Providing Emergency Treatments to Memory Bugs in Software during Production Runs
- AVIO: Detecting Atomicity Violations via Access Interleaving Shan Lu, Joseph Tucek, Feng Qin and Yuanyuan Zhou
- Building a Reactive Immune System for Software Services Stelios Sidiroglou Michael E. Locasto Stephen W. Boyd Angelos D. Keromytis
- Using Valgrind to detect undefined value errors with bit-precision Julian Seward
- Recovering Device Drivers Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, and Henry M. Levy
- Yesterday, my program worked. Today, it does not. Why?
- Treating Bugs As Allergies: A Safe Method for Surviving Software Failures Feng Qin, Joseph Tucek and Yuanyuan Zhou
- A Study of Effectiveness of Dynamic Slicing in Locating Real Faults Xiangyu Zhang Neelam Gupta Rajiv Gupta
- FlowChecker: Detecting Bugs in MPI Libraries via Message Flow Checking
- Efficient Checkpointing of Java Software Using Context-Sensitive Capture and Replay
- AccMon: Automatically Detecting Memory-related Bugs via Program Counter-based Invariants
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2000; 30:775802
- Replay Debugging for Distributed Applications Dennis Geels Gautam Altekar Scott Shenker Ion Stoica
- Mining Control Flow Abnormality for Logic Error Isolation Chao Liu Xifeng Yan Jiawei Han
- Runtime Checking of MPI Applications with MARMOT Bettina Krammera
- USENIX Association Proceedings of the
- RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking
- Locating Causes of Program Failures Holger Cleve
- Tracking Down Software Bugs Using Automatic Anomaly Detection
- Automated Systematic Testing of Open Distributed Programs
- Purify: Fast Detection of Memory Leaks and Access Errors This paper describes Purify, a software testing and quality assurance tool that detects memory leaks and
- Using Branch Correlation to Identify Infeasible Paths for Anomaly Detection1
- USENIX Association 8th USENIX Symposium on Operating Systems Design and Implementation 281 Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs
- SyncChecker: Detecting Synchronization Errors Between MPI Applications and Libraries
- Microreboot A Technique for Cheap Recovery George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, Armando Fox
