Write a Blog >>
SPIN 2021
Mon 12 Jul 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
ECOOP and ISSTA 2021
Registration
Information for Attendees
Instructions to Presenters
Equity, Diversity and Inclusion
ECOOP Awards
Program
SPIN Program
Your Program
Mon 12 Jul
Track/Call
Organization
SPIN 2021 Committees
Track Committees
Organizing Committee
Programming Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
SPIN 2021 (
series
) /
online
/
Room information: ECOOP 2
Venue
online
Room name
ECOOP 2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
.
Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, Paris
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Thu 15 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
10:10 - 11:10
Modular Programming / Types (time band 3)
ECOOP Technical Papers
at
ECOOP 2
Chair(s):
Eelco Visser
Delft University of Technology
10:10
20m
Talk
A Dependently Typed Calculus with Polymorphic Subtyping
SCICO Journal-First
ECOOP Technical Papers
Mingqi Xue
,
Bruno C. d. S. Oliveira
University of Hong Kong
DOI
10:30
20m
Talk
Compositional Programming
TOPLAS Journal-First
ECOOP Technical Papers
Weixin Zhang
University of Bristol, UK
,
Yaozhu Sun
University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
DOI
Pre-print
Media Attached
File Attached
10:50
20m
Talk
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
ECOOP Technical Papers
Jan Bessai
Technical University Dortmund
,
George Heineman
WPI
,
Boris Düdder
University of Copenhagen
DOI
19:00 - 20:00
Multiparty Programming and Session Types (time band 1)
ECOOP Technical Papers
at
ECOOP 2
Chair(s):
Mira Mezini
TU Darmstadt, Germany
19:00
20m
Talk
Multiparty Languages: the Choreographic and Multitier Cases
Distinguished Paper
Pearl
ECOOP Technical Papers
Saverio Giallorenzo
Alma Mater Studiorum - Università di Bologna
,
Fabrizio Montesi
University of Southern Denmark
,
Marco Peressotti
University of Southern Denmark
,
David Richter
Technical University of Darmstadt
,
Guido Salvaneschi
University of St. Gallen
,
Pascal Weisenburger
TU Darmstadt
Link to publication
DOI
19:20
20m
Talk
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
ECOOP Technical Papers
Paul Harvey
Rakuten Mobile Innovation Studio
,
Simon Fowler
University of Glasgow
,
Ornela Dardha
University of Glasgow
,
Simon J. Gay
University of Glasgow, UK
DOI
Pre-print
Media Attached
19:40
20m
Talk
On the Monitorability of Session Types, in Theory and Practice
ECOOP Technical Papers
Christian Bartolo Burlò
Gran Sasso Science Institute
,
Adrian Francalanza
University of Malta
,
Alceste Scalas
Technical University of Denmark
DOI
Fri 16 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
19:00 - 20:00
Parallelism / Runtimes (time band 1)
ECOOP Technical Papers
at
ECOOP 2
Chair(s):
Colin Gordon
Drexel University
19:00
20m
Talk
Best-Effort Lazy Evaluation for Python Software Built On APIs
ECOOP Technical Papers
Guoqiang Zhang
North Carolina State University
,
Xipeng Shen
North Carolina State University
DOI
19:20
20m
Talk
Linear Promises: Towards Safer Concurrent Programming
ECOOP Technical Papers
Ohad Rau
Georgia Institute of Technology
,
Caleb Voss
Georgia Institute of Technology
,
Vivek Sarkar
Georgia Institute of Technology
DOI
19:40
20m
Talk
Enabling Additional Parallelism in Asynchronous JavaScript Applications
ECOOP Technical Papers
Ellen Arteca
Northeastern University
,
Frank Tip
Northeastern University
,
Max Schaefer
GitHub, Inc.
DOI
Thu 15 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
ECOOP 2
ECOOP Technical Papers
Modular Programming / Types (time band 3)
ECOOP Technical Papers
Multiparty Programming and Session Types (time band 1)
Fri 16 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
19:00
30
ECOOP 2
ECOOP Technical Papers
Parallelism / Runtimes (time band 1)
Thu 15 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
ECOOP 2
ECOOP Technical Papers
SCICO Journal-First
A Dependently Typed Calculus with Polymorphic Subtyping
10:10 - 10:30
ECOOP Technical Papers
TOPLAS Journal-First
Compositional Programming
10:30 - 10:50
ECOOP Technical Papers
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular So ...
10:50 - 11:10
ECOOP Technical Papers
Distinguished Paper
Pearl
Multiparty Languages: the Choreographic and Multitier Cases
19:00 - 19:20
ECOOP Technical Papers
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
19:20 - 19:40
ECOOP Technical Papers
On the Monitorability of Session Types, in Theory and Practice
19:40 - 20:00
Fri 16 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
19:00
15
30
45
ECOOP 2
ECOOP Technical Papers
Best-Effort Lazy Evaluation for Python Software Built On APIs
19:00 - 19:20
ECOOP Technical Papers
Linear Promises: Towards Safer Concurrent Programming
19:20 - 19:40
ECOOP Technical Papers
Enabling Additional Parallelism in Asynchronous JavaScript Applications
19:40 - 20:00
x
Tue 3 Dec 17:54