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

Conference Day
Thu 19 Nov

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

13:00 - 14:20
8SAS / DLS at SPLASH-III +12h
Chair(s): Samir Genaim Universidad Complutense de Madrid, Tim FelgentreffOracle Labs, Potsdam
13:00
20m
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
20m
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
40m
Talk
Framework-Aware Debugging with Stack Tailoring
DLS
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

Conference Day
Fri 20 Nov

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

01:00 - 02:20
8SAS / DLS at SPLASH-III
Chair(s): Helmut SeidlTechnische Universität München
01:00
20m
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
20m
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
40m
Talk
Framework-Aware Debugging with Stack Tailoring
DLS
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