Sudarshan M. Srinivasan, Srikanth Kandula, Christopher R. Andrews, Yuanyuan Zhou  Home/Search
Context Related
| uiuc.edu/paper/Usenix04.ps 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: uiuc.edu/~yyzhou/publication (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Software robustness has significant impact on system availability. Unfortunately, finding software bugs is a very challenging task because many bugs are hard to reproduce. While debugging a program, it would be very useful to rollback a crashed program to a previous execution point and deterministically re-execute the "buggy" code region. However, most previous work on rollback and replay support was designed to survive hardware or operating system failures, and is therefore too heavyweight for ... (Update)
Cited by: More
BugNet: Continuously Recording Program Execution for.. - Narayanasamy, Pokam.. (2005) (Correct)
Active bibliography (related documents): More All
1.0: AccMon: Automatically Detecting Memory-related.. - Zhou, Liu, Fei.. (2004) (Correct)
0.6: Non-Intrusive on-the-Fly Data Race Detection Using.. - Ronsse, De Bosschere (2000) (Correct)
0.5: iWatcher: Efficient Architectural Support for Software.. - Zhou, Qin, Liu, Zhou.. (2004) (Correct)
Similar documents based on text: More All
0.3: Argus - A distributed network-intrusion detection system - Singh, Kandula (2001) (Correct)
0.2: Peer-To-Peer Backup for Personal Area Networks - Loo, LaMarca, Borriello (2003) (Correct)
0.2: Unknown - Copyright By Sankalp (Correct)
BibTeX entry: (Update)
S. M. Srinivasan, S. Kandula, C. R. Andrews, and Y. Zhou. Flashback: A lightweight extension for rollback and deterministic replay for software debugging. In USENIX Annual Technical Conference, General Track, pages 29--44, 2004. http://citeseer.ist.psu.edu/srinivasan04flashback.html More
@misc{ srinivasan04flashback,
author = "S. Srinivasan and S. Kandula and C. Andrews and Y. Zhou",
title = "Flashback: A lightweight extension for rollback and deterministic replay
for software debugging",
text = "S. M. Srinivasan, S. Kandula, C. R. Andrews, and Y. Zhou. Flashback: A
lightweight extension for rollback and deterministic replay for software
debugging. In USENIX Annual Technical Conference, General Track, pages 29--44,
2004.",
year = "2004",
url = "citeseer.ist.psu.edu/srinivasan04flashback.html" }
Citations (may not include all citations):217 Optimistic recovery in distributed systems (context) - Strom, Yemini - 1985 ACM DBLP
180 A survey of rollback-recovery protocols in message-passing s.. - Elnozahy, Alvisi et al. - 2002 ACM DBLP
175 Dealing with disaster: Surviving misbehaved kernel extension.. - Seltzer, Endo et al. - 1996 DBLP
174 Distributed programming in argus (context) - Liskov - 1988 ACM DBLP
156 Recovery in distributed systems using optimistic message log.. - Johnson, Zwaenepoel - 1988 DBLP
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 ACM DBLP
98 Purify: Fast detection of memory leaks and access errors (context) - Hastings, Joyce - 1992
98 A message system supporting fault tolerance (context) - Borg, Baumbach et al. - 1983 ACM DBLP
80 Lightweight recoverable virtual memory - Satyanarayanan, Mashburn et al. - 1993 ACM DBLP
77 Type-based race detection for Java - Flanagan, Freund - 2000 ACM DBLP
69 Proactive recovery in a byzantinefault -tolerant system - Castro, Liskov - 2000
68 ACM Transactions on Computer Systems (context) - Borg, Blau et al. - 1989
65 The ParaScope Parallel Programming Environment - Cooper, Hall et al. - 1993
58 Tracking down software bugs using automatic anomaly detectio.. - Hangal, Lam - 2002 ACM DBLP
56 Checkpointing and its applications - Wang, Huang et al. - 1995 ACM DBLP
54 Intrusion detection via static analysis - Wagner, Dean - 2001 ACM DBLP
43 Recovery management in quicksilver (context) - Haskin, Malachi et al. - 1988 ACM DBLP
43 Ownership types for safe programming: Preventing data races .. - Boyapati, Lee et al. - 2002 DBLP
42 Warlock: A static data race analysis tool (context) - Sterling - 1993
41 Igor: A system for program debugging via reversible executio.. (context) - Feldman, Brown - 1989 ACM DBLP
41 BASE: Using abstraction to improve fault tolerance - Rodrigues, Castro et al. - 2001 DBLP
36 Software rejuvenation: analysis (context) - Huang, Kintala et al. - 1995
34 Free transactions with Rio Vista (context) - Lowell, Chen - 1997 ACM DBLP
32 Deterministic replay of java multithreaded applications - Choi, Srinivasan - 1998 ACM
31 Object race detection - Praun, Gross - 2001 ACM DBLP
29 Optimal tracing and replay for debugging shared-memory paral.. - Netzer - 1993 ACM DBLP
29 Revirt: enabling intrusion analysis through virtualmachine l.. (context) - Dunlap, Kind et al. - 2002
28 Recovery-oriented computing (context) - Patterson - 2002 ACM
27 Detecting Data Races on Weak Memory Systems - Adve, Hill et al. - 1991
27 Race Frontier: Reproducing Data Races in Parallel-Program De.. (context) - Choi, Min - 1991 DBLP
26 Completely asynchronous optimistic recovery with minimal rol.. - Smith, Johnson et al. - 1995 ACM DBLP
23 Debugging via run-time type checking - Loginov, Yong et al. - 2001 ACM DBLP
22 Improving security using extensible lightweight static analy.. - Evans, Larochelle - 2002 ACM DBLP
21 main memory storage system (context) - Wu, Zwaenepoel et al. - 1994
20 Clip: a checkpointing tool for message-passing parallel prog.. - Chen, Plank et al. - 1997
18 Replay for concurrent nondeterministic shared-memory applica.. (context) - Russinovich, Cogswell - 1996
18 Exploring failure transparency and limits of generic recover.. (context) - Lowell, Chandra et al. - 2000
17 Supporting nondeterministic execution in fault-tolerant syst.. (context) - Slye, Elnozahy - 1996 ACM DBLP
17 Checkpointing memoryresident databases (context) - Salem, Garcia-Molina - 1987
15 RecPlay Fully Integrated Practical RecordReplay System (context) - Bosschere, Integrated et al. - 1999
14 Detecting Violations of Sequential Consistency - Gharachorloo, gibbons - 1991 ACM DBLP
12 Why optimistic message logging has not been used in telecomm.. - Huang, Wang - 1995
11 Debugging concurrent processes: A case study (context) - Stone - 1988 ACM DBLP
10 Lclint: A tool for using speci cations to check code (context) - Evans, Guttag et al. - 1994
10 Fast cluster failover using virtual memory-mapped communicat.. - Zhou, Chen et al. - 1999 ACM DBLP
9 CCured: typesafe retro tting of legacy code - Necula, McPeak et al. - 2002
9 Crashonly software - Candea, Fox - 2003
9 low-overhead recovery for general applications (context) - Chen, Lowell et al. - 1998
9 A system and language for building system-speci c (context) - Hallem, Chelf et al. - 2002
8 Progressive retry for software failure recovery in messagepa.. (context) - Wang, Huang et al. - 1997
8 Integrating checkpointing with transaction processing - Wang, Chung et al. - 1997 ACM DBLP
7 Enhancing software reliability with speculative threads - Oplinger, Lam - 2002 ACM DBLP
7 Reenact: using thread-level speculation mechanisms to debug .. (context) - Prvulovic, Torrellas - 2003 DBLP
6 Model checking java programs using java path nder (context) - Havelund, Pressburger - 1998
6 Software errors cost u (context) - of, Technlogy et al. - 2002
6 Concurrent real-time checkpoint for parallel programs (context) - Li, Naughton et al. - 1990
5 IEEE Transactions on Parallel and Distributed Systems (context) - Plank, Li et al. - 1998
5 Bugs as inconsistent behavior: A general approach to inferri.. (context) - Engler, Chen et al. - 2001 DBLP
5 A rst step towards automated detection of bu er overrun vuln.. (context) - Wagner, Foster et al. - 2000
5 Synchronization without contention - Mellor-Crummey, Scott - 1991 ACM DBLP
4 Fine grained software rejuvenation models (context) - Bobbio, Sereno - 1998
4 Webstone: The rst generation in http server benchmarking (context) - Trent, Sake - 1995
3 Data replication strategies for fault tolerance and availabi.. - Amza, Cox et al. - 2000 ACM DBLP
3 A transactional memory service in an extensible operating sy.. - Saito, Bershad - 1998
3 Hardware and software support for ecient exception handling (context) - Thekkath, Levy - 1994
3 The Rio le cache: Surviving operating systems crashes (context) - Chen, Ng et al. - 1996
2 Blueprints for high availablity (context) - Marcus, Stern - 2000
2 detection of access anomalies (context) - Schonberg - 1989
2 An ecient checkpointing method for multicomputers with wormh.. (context) - Li, Naughton et al. - 1991
2 Reducing recovery time in a small recursively restartable sy.. - Candea - 2002 ACM DBLP
2 in implementing causal message logging protocols (context) - Marzullo - 1996
1 Low-latency concurrent checkpoint for parallel programs (context) - Li, Naughton et al. - 1994
1 How to recover eciently and asynchronously when optimism fai.. (context) - Damani, Garg - 1996
1 Elimination of Java array bounds checks in the presence of i.. (context) - Luj, Gurd et al. - 2002 ACM
1 A Protocol-Centric Approach to on-the-Fly Race Detection - Perkovic, Keleher - 2000 ACM DBLP
1 An Ecient Cache-based Access Anomaly Detection Scheme (context) - Min, Choi - 1991
1 Using redundancies to nd errors (context) - Xie, Engler - 2002
1 URL: http: //developer (context) - Corporation
1 Using model checking to debug network interface rmware - Kumar, Li - 2002
1 ReEnact: Using ThreadLevel Speculation to Debug Software; An.. (context) - Prvulovic, Torrellas - 2003
http://syscalltrack.sourceforge.net/how.html
Documents on the same site (http://www-faculty.cs.uiuc.edu/~yyzhou/publication.htm): More
Memory Management for Networked Servers - Zhou (2000) (Correct)
Second-Level Buffer Cache Management - Yuanyuan Zhou Member (Correct)
Experiences with VI Communication for Database Storage - Yuanyuan Zhou Angelos (2002) (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