DLS 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Thu 19 Nov 2020 13:40 - 14:20 at SPLASH-III - 8 Chair(s): Tim Felgentreff, Samir Genaim
Fri 20 Nov 2020 01:40 - 02:20 at SPLASH-III - 8 Chair(s): Helmut Seidl

Debugging applications that execute within a framework is not always easy:
the call-stack offered to developers is often a mix-up of stack frames that belong to different frameworks, introducing an unnecessary noise that prevents developers from focusing on the debugging task.
Moreover, relevant application code is not always available in the call-stack because it may have already returned, or is available in another thread.
In such cases, manually gathering all relevant information from these different sources is not only cumbersome but also costly.

In this paper we introduce Sarto, a call-stack instrumentation layer that allows developers to tailor the stack to make debugging framework-aware.
The goal is to improve the quality and amount information present in the call-stack to reduce debugging time without impacting the execution time.
Sarto proposes a set of six stack operations that combined hide irrelevant information, introduce missing information, and relate dispersed debugging sources before this is fed to the debugger.

We validate Sarto by applying it to four application cases using inherently different frameworks: unit testing, web server, remote promises and big data processing.
We showcase our experiences in using Sarto in the different frameworks, and perform some performance benchmarks to demonstrate that Sarto does not generate noticeable overhead when instrumenting a call-stack.
We also show that our solution reduces by half the amount of data stored to debug similar exceptions happening in a parallel setup.

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

13:00 - 14:20
8SAS / DLS 2020 at SPLASH-III +12h
Chair(s): Tim Felgentreff Oracle Labs, Potsdam, Samir Genaim Universidad Complutense de Madrid
13:00
20m
Research paper
Formal framework for reasoning about the precision of dynamic analysis
SAS
Mila Dalla Preda University of Verona, Italy, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Niccolò Marastoni University of Verona
File Attached
13:20
20m
Research paper
Farkas-Based Tree Interpolation
SAS
Sepideh Asadi PhD Student, Martin Blicha , Antti Hyvärinen , Grigory Fedyukovich Florida State University, Natasha Sharygina USI Lugano, Switzerland
Pre-print
13:40
40m
Talk
Framework-Aware Debugging with Stack Tailoring
DLS 2020
Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication DOI Pre-print Media Attached

Fri 20 Nov

Displayed time zone: Central Time (US & Canada) change

01:00 - 02:20
8SAS / DLS 2020 at SPLASH-III
Chair(s): Helmut Seidl Technische Universität München
01:00
20m
Research paper
Formal framework for reasoning about the precision of dynamic analysis
SAS
Mila Dalla Preda University of Verona, Italy, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Niccolò Marastoni University of Verona
File Attached
01:20
20m
Research paper
Farkas-Based Tree Interpolation
SAS
Sepideh Asadi PhD Student, Martin Blicha , Antti Hyvärinen , Grigory Fedyukovich Florida State University, Natasha Sharygina USI Lugano, Switzerland
Pre-print
01:40
40m
Talk
Framework-Aware Debugging with Stack Tailoring
DLS 2020
Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
Link to publication DOI Pre-print Media Attached