On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs (SAS 2020 - - 27th Static Analysis Symposium) - SAS 2020

Wed 18 - Fri 20 November 2020 Online Conference

co-located with SPLASH 2020

Who

Samuele Buro, Roy Crole, Isabella Mastroeni

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

Wed 18 Nov 2020 13:40 - 14:00 at SPLASH-III - 3 Chair(s): Patrick Cousot, Michael Homer
Thu 19 Nov 2020 01:40 - 02:00 at SPLASH-III - 3 Chair(s): Michael Homer, Francesco Ranzato

File attachments

Preprint (sas20.pdf)	706KiB

Samuele Buro

Università degli Studi di Verona

Roy Crole

University of Leicester

United Kingdom

Isabella Mastroeni

University of Verona, Italy

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

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

	13:00 - 14:20	3SAS / DLS at SPLASH-III +12h Chair(s): Patrick Cousot New York University, Michael Homer Victoria University of Wellington

	13:00 20m Research paper		Exact and Linear-Time Gas-Cost Analysis SAS Ankush Das Carnegie Mellon University, Shaz Qadeer Novi, USA Pre-print
	13:20 20m Talk		Python 3 Types in the Wild: A Tale of Two Type Systems DLS Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Daniel McCrevan Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Martin Hirzel IBM Research, Julian Dolby IBM Research, USA Link to publication DOI Pre-print Media Attached
	13:40 20m Research paper		On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs SAS Samuele Buro Università degli Studi di Verona, Roy Crole University of Leicester, Isabella Mastroeni University of Verona, Italy File Attached
	14:00 20m Talk		Wasm/k: Delimited Continuations for WebAssembly DLS Donald Pinckney Northeastern University, Arjun Guha University of Massachusetts at Amherst, Yuriy Brun University of Massachusetts Amherst Link to publication DOI Pre-print Media Attached

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

	01:00 - 02:20	3DLS / SAS at SPLASH-III Chair(s): Michael Homer Victoria University of Wellington, Francesco Ranzato University of Padova

	01:00 20m Research paper		Exact and Linear-Time Gas-Cost Analysis SAS Ankush Das Carnegie Mellon University, Shaz Qadeer Novi, USA Pre-print
	01:20 20m Talk		Python 3 Types in the Wild: A Tale of Two Type Systems DLS Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Daniel McCrevan Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Martin Hirzel IBM Research, Julian Dolby IBM Research, USA Link to publication DOI Pre-print Media Attached
	01:40 20m Research paper		On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs SAS Samuele Buro Università degli Studi di Verona, Roy Crole University of Leicester, Isabella Mastroeni University of Verona, Italy File Attached
	02:00 20m Talk		Wasm/k: Delimited Continuations for WebAssembly DLS Donald Pinckney Northeastern University, Arjun Guha University of Massachusetts at Amherst, Yuriy Brun University of Massachusetts Amherst Link to publication DOI Pre-print Media Attached