Write a Blog >>
SPIN 2021
Mon 12 Jul 2021 Online
co-located with ECOOP and ISSTA 2021
Venueonline
Room nameECOOP 2
Room InformationNo extra information available
Program

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 SubtypingSCICO Journal-First
ECOOP Technical Papers
Mingqi Xue , Bruno C. d. S. Oliveira University of Hong Kong
DOI
10:30
20m
Talk
Compositional ProgrammingTOPLAS 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 CasesDistinguished PaperPearl
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

Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change