Formal framework for reasoning about the precision of dynamic analysis (SAS 2020 - - 27th Static Analysis Symposium) - SAS 2020

Wed 18 - Fri 20 November 2020 Online Conference

co-located with SPLASH 2020

Who

Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni

Track

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

File attachments

preprint (sas20.pdf)	369KiB

Mila Dalla Preda

University of Verona, Italy

Roberto Giacobazzi

University of Verona and IMDEA Software Institute

Italy

Niccolò Marastoni

University of Verona

Italy

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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 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

Fri 20 Nov
Times are displayed in 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