Low-overhead bug fingerprinting for fast debugging

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6418 LNCS, Issue , 2010, Pages 460-468

  Zamfir, Cristian ^a   Candea, George ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

APACHE WEB SERVER; AUTOMATED DEBUGGING; BUG REPORTS; PROOF OF CONCEPT; REPORTING SYSTEMS; RUN-TIME INFORMATION; RUNTIME OVERHEADS; SOFTWARE FAILURE; SPEED-UPS; BUG REPORTING; LOW OVERHEAD;

AUTOMATION;

PROGRAM DEBUGGING;

EID: 78650138053     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16612-9_35     Document Type: Conference Paper

References (15)

1. Altekar, G., Stoica, I.: ODR: Output-deterministic replay for multicore programs. In: Symp. on Operating Systems Principles (2009)
2. Dunlap, G.W., King, S.T., Cinar, S., Basrai, M., Chen, P.M.: ReVirt: Enabling intrusion analysis through virtual-machine logging and replay. In: Symp. on Operating Systems Design and Implementation (2002)
3. Glerum, K., Kinshumann, K., Greenberg, S., Aul, G., Orgovan, V., Nichols, G., Grant, D., Loihle, G., Hunt, G.: Debugging in the (very) large: ten years of implementation and experience. In: Symp. on Operating Systems Principles (2009)
4. Godefroid, P., Nagappan, N.: Concurrency at Microsoft - An exploratory survey. In: CAV Workshop on Exploiting Concurrency Efficiently and Correctly (2008)
5. Guo, Z., Wang, X., Tang, J., Liu, X., Xu, Z., Wu, M., Kaashoek, M.F., Zhang, Z.: R2: An application-level kernel for record and replay. In: Symp. on Operating Systems Design and Implementation (2008)
6. Intel. Intel Architecture Software Developer's Manual, Vol. 2: Instruction Set Reference (1999)
7. Jula, H., Tralamazza, D., Zamfir, C., Candea, G.: Deadlock immunity: Enabling systems to defend against deadlocks. In: Symp. on Operating Systems Design and Implementation (2008)
8. Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes - a comprehensive study on real world concurrency bug characteristics. In: Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (2008)
9. Marinescu, P.D., Banabic, R., Candea, G.: An extensible technique for high-precision testing of recovery code. In: USENIX Annual Technical Conf. (2010)
10. Park, S., Xiong, W., Yin, Z., Kaushik, R., Lee, K.H., Lu, S., Zhou, Y.: Do you have to reproduce the bug at the first replay attempt? - PRES: Probabilistic replay with execution sketching on multiprocessors. In: Symp. on Operating Systems Principles (2009)
11. SQLite (2010), http://www.sqlite.org/
12. Xin, B., Sumner, W.N., Zhang, X.: Efficient program execution indexing. In: Conf. on Programming Language Design and Implementation (2008)
13. Xu, M., Bodik, R., Hill, M.D.: A "flight data recorder" for enabling full-system multiprocessor deterministic replay. In: Intl. Symp. on Computer Architecture (2003)
14. Yuan, D., Mai, H., Xiong, W., Tan, L., Zhou, Y., Pasupathy, S.: SherLog: error diagnosis by connecting clues from run-time logs. In: Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (2010)
15. Zamfir, C., Candea, G.: Execution synthesis: A technique for automated debugging. In: ACM SIGOPS/EuroSys. European Conf. on Computer Systems (2010)