Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform
Thu 26 Aug 2021 16:20 - 16:25 - Dependability—Dependability Chair(s): Eunsuk Kang
Fri 27 Aug 2021 04:20 - 04:25 - Dependability—Dependability Chair(s): Eunsuk Kang

If a software execution is disrupted, witnessing the execution at a later point may see evidence of the disruption or not. If not, we say the disruption failed to propagate. One name for this phenomenon is software robustness but it appears in different contexts in software engineering with different names. Contexts include testing, security, reliability, and automated code improvement or repair. Names include coincidental correctness, correctness attraction, transient error reliability. As witnessed, it is a dynamic phenomenon but any explanation with predictive power must necessarily take a static view. As a dynamic/static phenomenon it is convenient to take a statistical view of it which we do by way of information theory. We theorise that for failed disruption propagation to occur, a necessary condition is that the code region where the disruption occurs is composed with or succeeded by a subsequent code region that suffers entropy loss over all executions. The higher is the entropy loss, the higher the likelihood that disruption in the first region fails to propagate to the downstream observation point. We survey different research silos that address this phenomenon and explain how the theory might be exploited in software engineering.

Thu 26 Aug

Displayed time zone: Athens change

16:00 - 17:00
Dependability—DependabilityIdeas, Visions and Reflections / Research Papers +12h
Chair(s): Eunsuk Kang Carnegie Mellon University
16:00
10m
Paper
Lightweight and Modular Resource Leak VerificationArtifacts FunctionalArtifacts Available
Research Papers
Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington
DOI
16:10
10m
Paper
JSISOLATE: Lightweight In-Browser JavaScript IsolationArtifacts Available
Research Papers
Mingxue Zhang Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong
DOI
16:20
5m
Paper
Software Robustness: A Survey, a Theory, and Prospects
Ideas, Visions and Reflections
Justyna Petke University College London, David Clark University College London, William B. Langdon University College London
DOI
16:25
5m
Paper
Health of Smart Ecosystems
Ideas, Visions and Reflections
Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs
DOI
16:30
30m
Live Q&A
Q&A (Dependability—Dependability)
Research Papers

Fri 27 Aug

Displayed time zone: Athens change

04:00 - 05:00
Dependability—DependabilityIdeas, Visions and Reflections / Research Papers
Chair(s): Eunsuk Kang Carnegie Mellon University
04:00
10m
Paper
Lightweight and Modular Resource Leak VerificationArtifacts FunctionalArtifacts Available
Research Papers
Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington
DOI
04:10
10m
Paper
JSISOLATE: Lightweight In-Browser JavaScript IsolationArtifacts Available
Research Papers
Mingxue Zhang Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong
DOI
04:20
5m
Paper
Software Robustness: A Survey, a Theory, and Prospects
Ideas, Visions and Reflections
Justyna Petke University College London, David Clark University College London, William B. Langdon University College London
DOI
04:25
5m
Paper
Health of Smart Ecosystems
Ideas, Visions and Reflections
Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs
DOI
04:30
30m
Live Q&A
Q&A (Dependability—Dependability)
Research Papers