DLS 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Fri 20 Nov 2020 01:00 - 01:20 at SPLASH-III - 8 Chair(s): Helmut Seidl
Thu 19 Nov 2020 13:00 - 13:20 at SPLASH-III - 8 Chair(s): Samir Genaim, Tim Felgentreff
preprint (sas20.pdf)369KiB

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

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

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

01:00 - 02:20: 8SAS / DLS 2020 at SPLASH-III
Chair(s): Helmut SeidlTechnische Universität München
01:00 - 01:20
Research paper
Formal framework for reasoning about the precision of dynamic analysis
SAS
Mila Dalla PredaUniversity of Verona, Italy, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Niccolò MarastoniUniversity of Verona
File Attached
01:20 - 01:40
Research paper
Farkas-Based Tree Interpolation
SAS
Sepideh AsadiPhD Student, Martin Blicha, Antti Hyvärinen, Grigory FedyukovichFlorida State University, Natasha SharyginaUSI Lugano, Switzerland
Pre-print
01:40 - 02:20
Talk
Framework-Aware Debugging with Stack Tailoring
DLS 2020
Matteo MarraVrije Universiteit Brussel, Guillermo PolitoUniv. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication DOI Pre-print Media Attached