ICOOOLPS 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

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

Wed 14 Jul

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

18:30 - 19:30
Types (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Sam Tobin-Hochstadt Indiana University
18:30
20m
Talk
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
ECOOP Technical Papers
Anish Tondwalkar University of California, San Diego, Matthew Kolosick University of California, San Diego, Ranjit Jhala University of California at San Diego
DOI
18:50
20m
Talk
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
ECOOP Technical Papers
Hendrik van Antwerpen Delft University of Technology, Eelco Visser Delft University of Technology
DOI File Attached
19:10
20m
Talk
Idris 2: Quantitative Type Theory in Practice
ECOOP Technical Papers
Edwin Brady University of St Andrews, UK
DOI Media Attached
19:40 - 20:40
Modular Programming / Types (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Alexander J. Summers University of British Columbia (UBC)
19:40
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
20:00
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
20:20
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

Thu 15 Jul

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

00:20 - 01:20
Language Design (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Jens Dietrich Victoria University of Wellington
00:20
20m
Talk
Lambda-based object-oriented programmingPearl
ECOOP Technical Papers
Marco Servetto Victoria University Wellington, New Zealand, Elena Zucca University of Genova
DOI Media Attached
00:40
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime Buyse Uber ATCP, Remi Delmas Uber ATCP, Youssef Hamadi Uber Elevate
DOI
01:00
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology
DOI
01:40 - 02:20
Types (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Werner Dietl University of Waterloo
01:40
20m
Talk
Type-Directed Operational Semantics for Gradual Typing
ECOOP Technical Papers
Wenjia Ye The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Xuejing Huang The University of Hong Kong
DOI Media Attached File Attached
02:00
20m
Talk
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
ECOOP Technical Papers
Anish Tondwalkar University of California, San Diego, Matthew Kolosick University of California, San Diego, Ranjit Jhala University of California at San Diego
DOI
09:10 - 10:10
Potpourri (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Viktor Kunčak EPFL, Switzerland
09:10
20m
Talk
Type-Directed Operational Semantics for Gradual Typing
ECOOP Technical Papers
Wenjia Ye The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Xuejing Huang The University of Hong Kong
DOI Media Attached File Attached
09:30
20m
Talk
Lambda-based object-oriented programmingPearl
ECOOP Technical Papers
Marco Servetto Victoria University Wellington, New Zealand, Elena Zucca University of Genova
DOI Media Attached
09:50
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime Buyse Uber ATCP, Remi Delmas Uber ATCP, Youssef Hamadi Uber Elevate
DOI
19:00 - 20:00
Program Analysis (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Uday P. Khedker Indian 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 Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann Technical University Dortmund, Eric Bodden University of Paderborn; Fraunhofer IEM
Link to publication DOI Pre-print Media Attached
19:20
20m
Talk
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
ECOOP Technical Papers
Aleksandar S. Dimovski Mother Teresa University, Skopje, Sven Apel Saarland University
DOI
19:40
20m
Talk
Gradual Program Analysis for Null Pointers
ECOOP Technical Papers
Sam Estep Carnegie Mellon University, Jenna Wise (DiVincenzo) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Johannes Bader Jane Street, Joshua Sunshine Carnegie Mellon University
DOI Pre-print Media Attached File Attached

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 Dietl University of Waterloo
02:00
20m
Talk
Gradual Program Analysis for Null Pointers
ECOOP Technical Papers
Sam Estep Carnegie Mellon University, Jenna Wise (DiVincenzo) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Johannes Bader Jane Street, Joshua Sunshine Carnegie Mellon University
DOI Pre-print Media Attached File Attached
02:20
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
02:40
20m
Talk
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
ECOOP Technical Papers
Aleksandar S. Dimovski Mother Teresa University, Skopje, Sven Apel Saarland University
DOI
03:00
20m
Talk
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
ECOOP Technical Papers
Dongjie He University of New South Wales, Jingbo Lu UNSW Sydney, Yaoqing Gao Huawei Canada, Jingling Xue UNSW
DOI Pre-print
08:00 - 09:00
Empirical Studies / Parallelism (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Hakjoo Oh Korea University
08:00
20m
Talk
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
ECOOP Technical Papers
Petr Maj Czech Technical University, Konrad Siek Czech Technical University in Prague, Jan Vitek Northeastern University / Czech Technical University, Alexander Kovalenko Czech Technical University in Prague
DOI
08:20
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
08:40
20m
Talk
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
ECOOP Technical Papers
Xiaodong Gu Shanghai Jiao Tong University, China, Sunghun Kim Hong Kong University of Science and Technology, Yo-Sub Han Yonsei University, Hongyu Zhang University of Newcastle
DOI
10:00 - 11:20
Types / Program Analysis (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): George Fourtounis University of Athens
10:00
20m
Talk
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
ECOOP Technical Papers
Dongjie He University of New South Wales, Jingbo Lu UNSW Sydney, Yaoqing Gao Huawei Canada, Jingling Xue UNSW
DOI Pre-print
10:20
20m
Talk
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow AnalysisDistinguished Paper
ECOOP Technical Papers
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann Technical University Dortmund, Eric Bodden University of Paderborn; Fraunhofer IEM
Link to publication DOI Pre-print Media Attached
10:40
20m
Talk
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
ECOOP Technical Papers
Hendrik van Antwerpen Delft University of Technology, Eelco Visser Delft University of Technology
DOI File Attached
11:00
20m
Talk
Idris 2: Quantitative Type Theory in Practice
ECOOP Technical Papers
Edwin Brady University of St Andrews, UK
DOI Media Attached
19:00 - 20:00
Potpourri (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Omer Tripp Amazon
19:00
20m
Talk
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
ECOOP Technical Papers
Petr Maj Czech Technical University, Konrad Siek Czech Technical University in Prague, Jan Vitek Northeastern University / Czech Technical University, Alexander Kovalenko Czech Technical University in Prague
DOI
19:20
20m
Talk
Differential Privacy for Coverage Analysis of Software Traces
ECOOP Technical Papers
Yu Hao Ohio State University, Sufian Latif Ohio State University, Hailong Zhang Fordham University, Raef Bassily Ohio State University, Atanas Rountev Ohio State University
DOI
19:40
20m
Talk
Dealing with Variability in API Misuse Specification
ECOOP Technical Papers
Rodrigo Bonifácio Computer Science Department - University of Brasília, Stefan Krüger Independent Researcher, Krishna Narasimhan TU Darmstadt, Eric Bodden University of Paderborn; Fraunhofer IEM, Mira Mezini TU Darmstadt, Germany
DOI

Sat 17 Jul

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

01:10 - 02:30
Potpourri (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign
01:10
20m
Talk
Differential Privacy for Coverage Analysis of Software Traces
ECOOP Technical Papers
Yu Hao Ohio State University, Sufian Latif Ohio State University, Hailong Zhang Fordham University, Raef Bassily Ohio State University, Atanas Rountev Ohio State University
DOI
01:30
20m
Talk
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
ECOOP Technical Papers
Xiaodong Gu Shanghai Jiao Tong University, China, Sunghun Kim Hong Kong University of Science and Technology, Yo-Sub Han Yonsei University, Hongyu Zhang University of Newcastle
DOI
01:50
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
02:10
20m
Talk
Dealing with Variability in API Misuse Specification
ECOOP Technical Papers
Rodrigo Bonifácio Computer Science Department - University of Brasília, Stefan Krüger Independent Researcher, Krishna Narasimhan TU Darmstadt, Eric Bodden University of Paderborn; Fraunhofer IEM, Mira Mezini TU Darmstadt, Germany
DOI
09:30 - 10:50
Multiparty Programming and Session Types (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Lu Zhang Peking University
09:30
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
09:50
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
10:10
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology
DOI
10:30
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

Wed 14 Jul

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

Thu 15 Jul

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

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
ECOOP 1

Fri 16 Jul

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

Sat 17 Jul

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

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