SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 10:00 - 10:20 at SPLASH-I - T-2 Chair(s): Karim Ali, Aritra Sengupta
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 Nov

Displayed 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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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