Safe, Flexible Aliasing with Deferred Borrows (ECOOP 2020) - ECOOP 2020

Sun 15 - Tue 17 November 2020 Online Conference

co-located with SPLASH 2020

Track

ECOOP 2020 Research Papers

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

Mon 16 Nov 2020 13:40 - 14:00 at SPLASH-I - M-4 Chair(s): Anitha Gollamudi, Raffi Khatchadourian
Tue 17 Nov 2020 01:40 - 02:00 at SPLASH-I - M-4 Chair(s): Patrick Rein, Manuel Serrano

Abstract

t.b.a

Link to Publication

https://drops.dagstuhl.de/opus/frontdoor.php?source_opus=13187

DOI

https://doi.org/10.4230/LIPIcs.ECOOP.2020.30

Media

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

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

	13:00 - 14:20	M-4Research Papers at SPLASH-I +12h Chair(s): Anitha Gollamudi Harvard University, Raffi Khatchadourian City University of New York

	13:00 20m Talk		Designing with Static Capabilities and Effects Research Papers Colin Gordon Drexel University Link to publication DOI Pre-print Media Attached
	13:20 20m Talk		A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications Research Papers Gabriela Sampaio Imperial College London, UK, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London Link to publication DOI Media Attached
	13:40 20m Talk		Safe, Flexible Aliasing with Deferred Borrows Research Papers Chris Fallin Mozilla Link to publication DOI Media Attached
	14:00 20m Talk		Static Analysis of Shape in TensorFlow Programs Research Papers Sifis Lagouvardos University of Athens, Julian Dolby IBM Research, USA, Neville Grech University of Malta, Anastasios Antoniadis University of Athens, Greece, Yannis Smaragdakis University of Athens Link to publication DOI Media Attached

Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change

	01:00 - 02:20	M-4Research Papers at SPLASH-I Chair(s): Patrick Rein Hasso Plattner Institute, Manuel Serrano Inria, France

	01:00 20m Talk		Designing with Static Capabilities and Effects Research Papers Colin Gordon Drexel University Link to publication DOI Pre-print Media Attached
	01:20 20m Talk		A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications Research Papers Gabriela Sampaio Imperial College London, UK, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Petar Maksimović Imperial College London, UK, Philippa Gardner Imperial College London Link to publication DOI Media Attached
	01:40 20m Talk		Safe, Flexible Aliasing with Deferred Borrows Research Papers Chris Fallin Mozilla Link to publication DOI Media Attached
	02:00 20m Talk		Static Analysis of Shape in TensorFlow Programs Research Papers Sifis Lagouvardos University of Athens, Julian Dolby IBM Research, USA, Neville Grech University of Malta, Anastasios Antoniadis University of Athens, Greece, Yannis Smaragdakis University of Athens Link to publication DOI Media Attached

Chris Fallin

Mozilla