SPLASH 2020 (series) / SAS 2020 (series) / SAS 2020 - 27th Static Analysis Symposium /
Formal framework for reasoning about the precision of dynamic analysis
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
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
Thu 19 Nov
Times are displayed in 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 20mResearch 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 20mResearch 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 40mTalk | 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 |
Fri 20 Nov Times are displayed in time zone: Central Time (US & Canada) change
Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change
01:00 - 02:20 | |||
01:00 20mResearch 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 20mResearch 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 40mTalk | 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 |