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

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

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

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
Times are displayed in time zone: Central Time (US & Canada) change

	13:00 - 14:20: 3SAS / DLS 2020 at SPLASH-III +12h Chair(s): Patrick CousotNew York University, Michael HomerVictoria University of Wellington

	13:00 - 13:20 Research paper		Exact and Linear-Time Gas-Cost Analysis SAS Ankush DasCarnegie Mellon University, Shaz QadeerNovi, USA Pre-print
	13:20 - 13:40 Talk		Python 3 Types in the Wild: A Tale of Two Type Systems DLS 2020 Ingkarat Rak-amnouykitRensselaer Polytechnic Institute, Daniel McCrevanRensselaer Polytechnic Institute, Ana MilanovaRensselaer Polytechnic Institute, Martin HirzelIBM Research, Julian DolbyIBM Research, USA Link to publication DOI Pre-print Media Attached
	13:40 - 14:00 Research paper		On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs SAS Samuele BuroUniversità degli Studi di Verona, Roy CroleUniversity of Leicester, Isabella MastroeniUniversity of Verona, Italy File Attached
	14:00 - 14:20 Talk		Wasm/k: Delimited Continuations for WebAssembly DLS 2020 Donald PinckneyNortheastern University, Arjun GuhaUniversity of Massachusetts at Amherst, Yuriy BrunUniversity of Massachusetts Amherst Link to publication DOI Pre-print Media Attached

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

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

	01:00 - 01:20 Research paper		Exact and Linear-Time Gas-Cost Analysis SAS Ankush DasCarnegie Mellon University, Shaz QadeerNovi, USA Pre-print
	01:20 - 01:40 Talk		Python 3 Types in the Wild: A Tale of Two Type Systems DLS 2020 Ingkarat Rak-amnouykitRensselaer Polytechnic Institute, Daniel McCrevanRensselaer Polytechnic Institute, Ana MilanovaRensselaer Polytechnic Institute, Martin HirzelIBM Research, Julian DolbyIBM Research, USA Link to publication DOI Pre-print Media Attached
	01:40 - 02:00 Research paper		On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs SAS Samuele BuroUniversità degli Studi di Verona, Roy CroleUniversity of Leicester, Isabella MastroeniUniversity of Verona, Italy File Attached
	02:00 - 02:20 Talk		Wasm/k: Delimited Continuations for WebAssembly DLS 2020 Donald PinckneyNortheastern University, Arjun GuhaUniversity of Massachusetts at Amherst, Yuriy BrunUniversity of Massachusetts Amherst Link to publication DOI Pre-print Media Attached