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

Thu 19 Nov 2020 13:00 - 13:20 at SPLASH-III - 8 Chair(s): Tim Felgentreff, Samir Genaim
Fri 20 Nov 2020 01:00 - 01:20 at SPLASH-III - 8 Chair(s): Helmut Seidl

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
Displayed time zone: Central Time (US & Canada) change

	13:00 - 14:20	8SAS / DLS 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 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 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 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