Debugging Operating Systems with Time-Traveling Virtual Machines (Awarded General Track Best Paper Award!)

By Samuel T. King, George W. Dunlap, Peter M. Chen. USENIX ATC, General Track, 2005

332 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/8c98f47d7f9767d65d3330cf8aef4355a20bfe1b

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Citations in the corpus

NOVA: a microhypervisor-based secure virtualization architecture (2010, background): “Virtualization can also be used to replay [10], debug [16], and live-migrate [9] operating systems.”
ODR: output-deterministic replay for multicore debugging (2009, background): “Many replay systems have been built over the years, and the resulting experience indicates that replay is valuable in ﬁnding and reasoning about failures [3,7,8,13,22].”
SubVirt: implementing malware with virtual machines (2006, methodology): “For example, VMMs have been used to debug operating systems and system configurations [30] [49], migrate live machines [40], detect or prevent intrusions [18] [27] [8], and attest for code integrity [17].”
Stealthy malware detection through vmm-based "out-of-the-box" semantic view reconstruction (2007, background): “More specifically, leveraging recent advances in virtualization, researchers have adopted VMs to detect intrusions [34, 37, 44], analyze intrusions [32, 42], diagnose system problems [40, 57], isolate services [30, 46], and implement honeypots [14, 23, 35].”
/*icomment: bugs or bad comments?*/ (2007, background): “correctness) [12, 15, 23, 25, 37] are proposed to detect various types of software bugs.”
Accountable Virtual Machines (2010, background): “Because replay is a building block for many important applications, such as forensics [15], replication [11], and debugging [25], there is considerable interest in develop-”
Execution replay of multiprocessor virtual machines (2008, unknown): “For debugging, it allows a programmer to inspect the execution and state of a particular run of a system, even in the face of non-determinism[9, 14, 5, 8].”
Remus: High Availability via Asynchronous Virtual Machine Replication. (Best Paper) (2008, unknown): “Logging has also been used to build a time-travelling debugger [13] that, like ReVirt, replays the system for forensics only.”
XTRec: Secure Real-Time Execution Trace Recording on Commodity Platforms (2011, methodology): “Time Traveling Virtual Machine (TTVM) [22] logs execution control flow and uses it to detect bugs in a OS Kernel.”