Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
Venueonline
Room nameECOOP 1
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Wed 14 Jul

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

18:20 - 19:20
Types (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Sam Tobin-HochstadtIndiana University
18:20
20m
Talk
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
ECOOP Technical Papers
Anish TondwalkarUniversity of California, San Diego, Matthew KolosickUniversity of California, San Diego, Ranjit JhalaUniversity of California at San Diego
18:40
20m
Talk
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
ECOOP Technical Papers
Hendrik van AntwerpenDelft University of Technology, Eelco VisserDelft University of Technology
19:00
20m
Talk
Idris 2: Quantitative Type Theory in Practice
ECOOP Technical Papers
Edwin BradyUniversity of St Andrews, UK
19:20 - 20:20
Modular Programming / Types (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Alexander J. SummersUniversity of British Columbia
19:20
20m
Talk
Compositional ProgrammingTOPLAS Journal-First
ECOOP Technical Papers
Weixin ZhangUniversity of Bristol, UK, Yaozhu SunUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
19:40
20m
Talk
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
ECOOP Technical Papers
Jan BessaiTechnical University Dortmund, George HeinemanWPI, Boris DüdderUniversity of Copenhagen
20:00
20m
Talk
A Dependently Typed Calculus with Polymorphic SubtypingSCICO Journal-First
ECOOP Technical Papers
Mingqi Xue, Bruno C. d. S. OliveiraUniversity of Hong Kong
DOI

Conference Day
Thu 15 Jul

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

01:20 - 02:20
Potpourri (time band 2)ECOOP Technical Papers at ECOOP 1
01:20
20m
Talk
Lambda-based object-oriented programmingPearl
ECOOP Technical Papers
Marco ServettoVictoria University Wellington, New Zealand, Elena ZuccaUniversity of Genova
01:40
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime BuyseUber ATCP, Remi DelmasUber ATCP, Youssef HamadiUber Elevate
02:00
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo KaminaOita University, Tomoyuki AotaniMamezou Co.,Ltd., Hidehiko MasuharaTokyo Institute of Technology
02:40 - 03:20
Types (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Werner DietlUniversity of Waterloo
02:40
20m
Talk
Type-Directed Operational Semantics for Gradual Typing
ECOOP Technical Papers
Wenjia YeThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuejing HuangThe University of Hong Kong
03:00
20m
Talk
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
ECOOP Technical Papers
Anish TondwalkarUniversity of California, San Diego, Matthew KolosickUniversity of California, San Diego, Ranjit JhalaUniversity of California at San Diego
08:00 - 09:00
Potpourri (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Viktor KunčakEPFL, Switzerland
08:00
20m
Talk
Type-Directed Operational Semantics for Gradual Typing
ECOOP Technical Papers
Wenjia YeThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuejing HuangThe University of Hong Kong
08:20
20m
Talk
Lambda-based object-oriented programmingPearl
ECOOP Technical Papers
Marco ServettoVictoria University Wellington, New Zealand, Elena ZuccaUniversity of Genova
08:40
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime BuyseUber ATCP, Remi DelmasUber ATCP, Youssef HamadiUber Elevate
10:20 - 11:20
Modular Programming / Types (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Eelco VisserDelft University of Technology
10:20
20m
Talk
A Dependently Typed Calculus with Polymorphic SubtypingSCICO Journal-First
ECOOP Technical Papers
Mingqi Xue, Bruno C. d. S. OliveiraUniversity of Hong Kong
DOI
10:40
20m
Talk
Compositional ProgrammingTOPLAS Journal-First
ECOOP Technical Papers
Weixin ZhangUniversity of Bristol, UK, Yaozhu SunUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
11:00
20m
Talk
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
ECOOP Technical Papers
Jan BessaiTechnical University Dortmund, George HeinemanWPI, Boris DüdderUniversity of Copenhagen
19:00 - 20:00
Program Analysis (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Uday P. KhedkerIndian Institute of Technology (IIT) Bombay
19:00
20m
Talk
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow AnalysisDistinguished Paper
ECOOP Technical Papers
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannTechnical University Dortmund, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
19:20
20m
Talk
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
ECOOP Technical Papers
Aleksandar S. DimovskiMother Teresa University, Skopje, Sven ApelSaarland University
19:40
20m
Talk
Gradual Program Analysis for Null Pointers
ECOOP Technical Papers
Sam EstepCarnegie Mellon University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Johannes BaderJane Street, Joshua SunshineCarnegie Mellon University
Pre-print

Conference Day
Fri 16 Jul

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

02:00 - 03:20
Program Analysis / Runtimes (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Werner DietlUniversity of Waterloo
02:00
20m
Talk
Gradual Program Analysis for Null Pointers
ECOOP Technical Papers
Sam EstepCarnegie Mellon University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Johannes BaderJane Street, Joshua SunshineCarnegie Mellon University
Pre-print
02:20
20m
Talk
Best-Effort Lazy Evaluation for Python Software Built On APIs
ECOOP Technical Papers
Guoqiang ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University, USA
02:40
20m
Talk
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
ECOOP Technical Papers
Aleksandar S. DimovskiMother Teresa University, Skopje, Sven ApelSaarland University
03:00
20m
Talk
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
ECOOP Technical Papers
Dongjie HeUniversity of New South Wales, Jingbo LuUNSW Sydney, Yaoqing GaoHuawei Canada, Jingling XueUNSW Sydney
Pre-print
08:00 - 09:00
Empirical Studies / Parallelism (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Hakjoo OhKorea University
08:00
20m
Talk
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
ECOOP Technical Papers
Petr MajCzech Technical University, Konrad SiekCzech Technical University in Prague, Jan VitekNortheastern University / Czech Technical University, Alexander KovalenkoCzech Technical University in Prague
08:20
20m
Talk
Enabling Additional Parallelism in Asynchronous JavaScript Applications
ECOOP Technical Papers
Ellen ArtecaNortheastern University, Frank TipNortheastern University, Max SchaeferGitHub, Inc.
08:40
20m
Talk
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
ECOOP Technical Papers
Xiaodong GuShanghai Jiao Tong University, China, Sunghun KimHong Kong University of Science and Technology, Yo-Sub HanYonsei University, Hongyu ZhangUniversity of Newcastle, Australia
10:00 - 11:20
Types / Program Analysis (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): George FourtounisUniversity of Athens
10:00
20m
Talk
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
ECOOP Technical Papers
Dongjie HeUniversity of New South Wales, Jingbo LuUNSW Sydney, Yaoqing GaoHuawei Canada, Jingling XueUNSW Sydney
Pre-print
10:20
20m
Talk
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow AnalysisDistinguished Paper
ECOOP Technical Papers
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannTechnical University Dortmund, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
10:40
20m
Talk
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
ECOOP Technical Papers
Hendrik van AntwerpenDelft University of Technology, Eelco VisserDelft University of Technology
11:00
20m
Talk
Idris 2: Quantitative Type Theory in Practice
ECOOP Technical Papers
Edwin BradyUniversity of St Andrews, UK
18:20 - 20:00
Potpourri (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Omer TrippAmazon
19:00
20m
Talk
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
ECOOP Technical Papers
Petr MajCzech Technical University, Konrad SiekCzech Technical University in Prague, Jan VitekNortheastern University / Czech Technical University, Alexander KovalenkoCzech Technical University in Prague
19:20
20m
Talk
Differential Privacy for Coverage Analysis of Software Traces
ECOOP Technical Papers
Yu HaoOhio State University, Sufian LatifOhio State University, Hailong ZhangFordham University, Raef BassilyOhio State University, Atanas RountevOhio State University
19:40
20m
Talk
Dealing with Variability in API Misuse Specification
ECOOP Technical Papers
Rodrigo BonifácioComputer Science Department - University of Brasília, Stefan KrügerIndependent Researcher, Krishna NarasimhanTU Darmstadt, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira MeziniTU Darmstadt, Germany

Conference Day
Sat 17 Jul

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

01:00 - 02:20
Potpourri (time band 2)ECOOP Technical Papers at ECOOP 1
01:00
20m
Talk
Differential Privacy for Coverage Analysis of Software Traces
ECOOP Technical Papers
Yu HaoOhio State University, Sufian LatifOhio State University, Hailong ZhangFordham University, Raef BassilyOhio State University, Atanas RountevOhio State University
01:20
20m
Talk
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
ECOOP Technical Papers
Xiaodong GuShanghai Jiao Tong University, China, Sunghun KimHong Kong University of Science and Technology, Yo-Sub HanYonsei University, Hongyu ZhangUniversity of Newcastle, Australia
01:40
20m
Talk
Linear Promises: Towards Safer Concurrent Programming
ECOOP Technical Papers
Ohad RauGeorgia Institute of Technology, Caleb VossGeorgia Institute of Technology, Vivek SarkarGeorgia Institute of Technology
02:00
20m
Talk
Dealing with Variability in API Misuse Specification
ECOOP Technical Papers
Rodrigo BonifácioComputer Science Department - University of Brasília, Stefan KrügerIndependent Researcher, Krishna NarasimhanTU Darmstadt, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira MeziniTU Darmstadt, Germany
08:00 - 10:00
Multiparty Programming and Session Types (time band 3)ECOOP Technical Papers at ECOOP 1
08:40
20m
Talk
On the Monitorability of Session Types, in Theory and Practice
ECOOP Technical Papers
Christian Bartolo BurlòGSSI, Adrian FrancalanzaUniversity of Malta, Alceste ScalasTechnical University of Denmark
09:00
20m
Talk
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
ECOOP Technical Papers
Paul HarveyRakuten Mobile Innovation Studio, Simon FowlerUniversity of Glasgow, Ornela DardhaUniversity of Glasgow, Simon J. GayUniversity of Glasgow, UK
Pre-print
09:20
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo KaminaOita University, Tomoyuki AotaniMamezou Co.,Ltd., Hidehiko MasuharaTokyo Institute of Technology
09:40
20m
Talk
Multiparty Languages: the Choreographic and Multitier CasesDistinguished PaperPearl
ECOOP Technical Papers
Saverio GiallorenzoAlma Mater Studiorum - Università di Bologna, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark, David RichterTechnische Universität Darmstadt, Guido SalvaneschiUniversity of St. Gallen, Pascal WeisenburgerUniversity of St. Gallen

Conference Day
Wed 14 Jul

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

Conference Day
Thu 15 Jul

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

Conference Day
Fri 16 Jul

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

Conference Day
Sat 17 Jul

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

Conference Day
Thu 15 Jul

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
ECOOP 1

Conference Day
Fri 16 Jul

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

Room2:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
ECOOP 1