Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
ECOOP and ISSTA 2021 (series) / ISSTA 2021 (series) / online /

Room information: ECOOP 2

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
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

Room19:0030
ECOOP 2

ECOOP Technical Papers

Parallelism / Runtimes (time band 1)

Thu 15 Jul

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
ECOOP 2
ECOOP Technical PapersSCICO Journal-First
A Dependently Typed Calculus with Polymorphic Subtyping
10:10 - 10:30
ECOOP Technical PapersTOPLAS 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 PapersDistinguished PaperPearl
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

Room19:00153045
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