Hardware-assisted replay of multiprocessor programs

Restoring consistent global states of distributed computations

PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging

A bibliography of parallel debuggers, 1993 edition

PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging

Repeatability in real-time distributed simulation executions

PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation

A "flight data recorder" for enabling full-system multiprocessor deterministic replay

Proceedings of the 30th annual international symposium on Computer architecture

Assembly instruction level reverse execution for debugging

ACM Transactions on Software Engineering and Methodology (TOSEM)

Next generation modeling III - agents: simulation for testing software agents - an exploration based on James

Proceedings of the 35th conference on Winter simulation: driving innovation

A serializability violation detector for shared-memory server programs

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation

BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging

Proceedings of the 32nd annual international symposium on Computer Architecture

Replay compilation: improving debuggability of a just-in-time compiler

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications

A regulated transitive reduction (RTR) for longer memory race recording

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems

Recording shared memory dependencies using strata

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems

Replayer: automatic protocol replay by binary analysis

Proceedings of the 13th ACM conference on Computer and communications security

Debugging operating systems with time-traveling virtual machines

ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference

A Hardware Memory Race Recorder for Deterministic Replay

IEEE Micro

First silicon functional validation and debug of multicore microprocessors

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Execution replay of multiprocessor virtual machines

Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments

Distributed Watchpoints: Debugging Large Modular Robot Systems

International Journal of Robotics Research

Rerun: Exploiting Episodes for Lightweight Memory Race Recording

ISCA '08 Proceedings of the 35th Annual International Symposium on Computer Architecture

DeLorean: Recording and Deterministically Replaying Shared-Memory Multiprocessor Execution Ef?ciently

ISCA '08 Proceedings of the 35th Annual International Symposium on Computer Architecture

Dynamic recognition of synchronization operations for improved data race detection

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis

Capo: a software-hardware interface for practical deterministic multiprocessor replay

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems

DMP: deterministic shared memory multiprocessing

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems

Two hardware-based approaches for deterministic multiprocessor replay

Communications of the ACM - One Laptop Per Child: Vision vs. Reality

Software Profiling for Deterministic Replay Debugging of User Code

Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06

Grace: safe multithreaded programming for C/C++

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Offline symbolic analysis for multi-processor execution replay

Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture

Multi-stage replay with crosscut

Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments

Respec: efficient online multiprocessor replayvia speculation and external determinism

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems

Transparent, lightweight application execution replay on commodity multiprocessor operating systems

Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems

LReplay: a pending period based deterministic replay scheme

Proceedings of the 37th annual international symposium on Computer architecture

Timetraveler: exploiting acyclic races for optimizing memory race recording

Proceedings of the 37th annual international symposium on Computer architecture

DoublePlay: parallelizing sequential logging and replay

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems

Karma: scalable deterministic record-replay

Proceedings of the international conference on Supercomputing

Demand-driven software race detection using hardware performance counters

Proceedings of the 38th annual international symposium on Computer architecture

DoublePlay: Parallelizing Sequential Logging and Replay

ACM Transactions on Computer Systems (TOCS) - Special Issue APLOS 2011