Automated Debugging for Arbitrarily Long Executions. / Zamfir, Cristian; Kasikci, Baris; Kinder, Johannes; Bugnion, Edouard; Candea, George.

Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX, 2013.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Automated Debugging for Arbitrarily Long Executions. / Zamfir, Cristian; Kasikci, Baris; Kinder, Johannes; Bugnion, Edouard; Candea, George.

Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX, 2013.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Zamfir, C, Kasikci, B, Kinder, J, Bugnion, E & Candea, G 2013, Automated Debugging for Arbitrarily Long Executions. in Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX.

APA

Zamfir, C., Kasikci, B., Kinder, J., Bugnion, E., & Candea, G. (2013). Automated Debugging for Arbitrarily Long Executions. In Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013) USENIX.

Vancouver

Zamfir C, Kasikci B, Kinder J, Bugnion E, Candea G. Automated Debugging for Arbitrarily Long Executions. In Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX. 2013

Author

Zamfir, Cristian ; Kasikci, Baris ; Kinder, Johannes ; Bugnion, Edouard ; Candea, George. / Automated Debugging for Arbitrarily Long Executions. Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX, 2013.

BibTeX

@inproceedings{c87234d27c444345842ab3ebabd884cd,
title = "Automated Debugging for Arbitrarily Long Executions",
abstract = "One of the most energy-draining and frustrating parts of software development is playing detective with elusive bugs. In this paper we argue that automated post-mortem debugging of failures is feasible for real, in-production systems with no runtime recording. We propose reverse execution synthesis (RES), a technique that takes a coredump obtained after a failure and automatically computes the suffix of an execution that leads to that coredump. RES provides a way to then play back this suffix in a debugger deterministically, over and over again. We argue that the RES approach could be used to (1) automatically classify bug reports based on their root cause, (2) automatically identify coredumps for which hardware errors (e.g., bad memory), not software bugs are to blame, and (3) ultimately help developers reproduce the root cause of the failure in order to debug it.",
author = "Cristian Zamfir and Baris Kasikci and Johannes Kinder and Edouard Bugnion and George Candea",
year = "2013",
month = may,
language = "English",
booktitle = "Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013)",
publisher = "USENIX",

}

RIS

TY - GEN

T1 - Automated Debugging for Arbitrarily Long Executions

AU - Zamfir, Cristian

AU - Kasikci, Baris

AU - Kinder, Johannes

AU - Bugnion, Edouard

AU - Candea, George

PY - 2013/5

Y1 - 2013/5

N2 - One of the most energy-draining and frustrating parts of software development is playing detective with elusive bugs. In this paper we argue that automated post-mortem debugging of failures is feasible for real, in-production systems with no runtime recording. We propose reverse execution synthesis (RES), a technique that takes a coredump obtained after a failure and automatically computes the suffix of an execution that leads to that coredump. RES provides a way to then play back this suffix in a debugger deterministically, over and over again. We argue that the RES approach could be used to (1) automatically classify bug reports based on their root cause, (2) automatically identify coredumps for which hardware errors (e.g., bad memory), not software bugs are to blame, and (3) ultimately help developers reproduce the root cause of the failure in order to debug it.

AB - One of the most energy-draining and frustrating parts of software development is playing detective with elusive bugs. In this paper we argue that automated post-mortem debugging of failures is feasible for real, in-production systems with no runtime recording. We propose reverse execution synthesis (RES), a technique that takes a coredump obtained after a failure and automatically computes the suffix of an execution that leads to that coredump. RES provides a way to then play back this suffix in a debugger deterministically, over and over again. We argue that the RES approach could be used to (1) automatically classify bug reports based on their root cause, (2) automatically identify coredumps for which hardware errors (e.g., bad memory), not software bugs are to blame, and (3) ultimately help developers reproduce the root cause of the failure in order to debug it.

M3 - Conference contribution

BT - Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013)

PB - USENIX

ER -