DLS 2020
Sun 15 - Fri 20 November 2020
Online Conference
co-located with
SPLASH 2020
Toggle navigation
Attending
Venue: Online
SPLASH 2020
Students
Registration
Awards
Sponsoring
Code of conduct
Certificate of Attendance
Program
Complete Program
Your Program
Sun 15 Nov
Mon 16 Nov
Tue 17 Nov
Wed 18 Nov
Thu 19 Nov
Fri 20 Nov
Tracks
DLS 2020
DLS 2020
Co-hosted Conferences
SAS
Organization
DLS 2020 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Co-hosted Conferences
SAS
Organizing Committee
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
Search
Series
Series
DLS 2023
DLS 2022
DLS 2021
DLS 2020
DLS 2019
DLS 2018
DLS 2017
DLS 2016
DLS 2015
DLS
DLS 2013
DLS 2012
DLS 2011
Sign in
Sign up
SPLASH 2020
(
series
) /
SAS 2020 (
series
) /
SAS 2020 - 27th Static Analysis Symposium
/
On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
Who
Samuele Buro
,
Roy Crole
,
Isabella Mastroeni
Track
SAS 2020
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
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
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
Session Program
Wed 18 Nov
Displayed time zone:
Central Time (US & Canada)
change
13:00 - 14:20
3
SAS
/
DLS 2020
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 2020
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 2020
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
3
DLS 2020
/
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 2020
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 2020
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
x
Thu 7 Nov 16:26