Tue 17 Nov 2020 22:00 - 22:20 at SPLASH-I - T-2 Chair(s): Yaoda Zhou, Iulian Neamtiu
Diagnosing software failures is important but notoriously challenging. Existing work either requires extensive manual effort, imposing a serious privacy concern (for in-production systems), or cannot report sufficient information for bug fixes. This paper presents a novel diagnosis system, named WATCHER, that can pinpoint root causes of program failures within the failing process ("in-situ"), eliminating the privacy concern. It combines identical record-and-replay, binary analysis, dynamic analysis, and hardware support together to perform the diagnosis without human involvement. It further proposes two optimizations to reduce the diagnosis time and diagnose failures with control flow hijacks. WATCHER can be easily deployed, without requiring custom hardware or operating system, program modification, or recompilation. We evaluate WATCHER with 24 program failures in real-world deployed software, including large-scale applications, such as Memcached, SQLite, and OpenJPEG. Experimental results show that WATCHER can accurately identify the root causes in only a few seconds.
Tue 17 NovDisplayed time zone: Central Time (US & Canada) change
09:00 - 10:20 | T-2OOPSLA at SPLASH-I +12h Chair(s): Karim Ali University of Alberta, Aritra Sengupta Amazon Web Services, USA | ||
09:00 20mTalk | Formulog: Datalog for SMT-Based Static Analysis OOPSLA Aaron Bembenek Harvard University, Michael Greenberg Pomona College, Stephen Chong Harvard University Link to publication DOI Media Attached | ||
09:20 20mTalk | A Large-Scale Longitudinal Study of Flaky Tests OOPSLA Wing Lam University of Illinois at Urbana-Champaign, Stefan Winter TU Darmstadt, Anjiang Wei Peking University, Tao Xie Peking University, Darko Marinov University of Illinois at Urbana-Champaign, Jonathan Bell Northeastern University Link to publication DOI Media Attached | ||
09:40 20mTalk | Handling Bidirectional Control Flow OOPSLA Yizhou Zhang University of Waterloo, Guido Salvaneschi University of St. Gallen, Andrew C. Myers Cornell University Link to publication DOI Media Attached | ||
10:00 20mTalk | WATCHER: In-Situ Failure Diagnosis OOPSLA Hongyu Liu Purdue University, Sam Silvestro University of Texas at San Antonio, Xiangyu Zhang Purdue University, Jian Huang University of Illinois at Urbana-Champaign, Tongping Liu University of Massachusetts at Amherst Link to publication DOI Media Attached | ||
21:00 - 22:20 | T-2OOPSLA at SPLASH-I Chair(s): Yaoda Zhou University of Hong Kong, Iulian Neamtiu New Jersey Institute of Technology | ||
21:00 20mTalk | Formulog: Datalog for SMT-Based Static Analysis OOPSLA Aaron Bembenek Harvard University, Michael Greenberg Pomona College, Stephen Chong Harvard University Link to publication DOI Media Attached | ||
21:20 20mTalk | A Large-Scale Longitudinal Study of Flaky Tests OOPSLA Wing Lam University of Illinois at Urbana-Champaign, Stefan Winter TU Darmstadt, Anjiang Wei Peking University, Tao Xie Peking University, Darko Marinov University of Illinois at Urbana-Champaign, Jonathan Bell Northeastern University Link to publication DOI Media Attached | ||
21:40 20mTalk | Handling Bidirectional Control Flow OOPSLA Yizhou Zhang University of Waterloo, Guido Salvaneschi University of St. Gallen, Andrew C. Myers Cornell University Link to publication DOI Media Attached | ||
22:00 20mTalk | WATCHER: In-Situ Failure Diagnosis OOPSLA Hongyu Liu Purdue University, Sam Silvestro University of Texas at San Antonio, Xiangyu Zhang Purdue University, Jian Huang University of Illinois at Urbana-Champaign, Tongping Liu University of Massachusetts at Amherst Link to publication DOI Media Attached | ||