Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021

Conference Dates
Conference Dates are in time zone (GMT+02:00) Brussels, Copenhagen, Madrid, Paris, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your 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
Sun 11 Jul

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

11:00 - 13:00
Session 1REBASE at Rebase
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
11:00
2h
Talk
Ubiquitous Omniscient Debugging
REBASE
13:00 - 15:00
Session 2REBASE at Rebase
Chair(s): Alexandre BergelUniversity of Chile, Oscar NierstraszUniversity of Bern, Switzerland
13:00
2h
Talk
Molding Knowledge
REBASE
Tudor Gîrbafeenk.com
15:00 - 17:00
Session 3REBASE at Rebase
Chair(s): Gregor Kiczales
15:00
2h
Talk
Students can't test. Or can they?
REBASE
John WrennBrown University
17:00 - 19:00
Session 4REBASE at Rebase
Chair(s): Andreas RossbergDfinity Stiftung, Manuel ChakravartyTweag & IOHK
17:00
2h
Talk
The Move language for the Diem Blockchain
REBASE
Shaz QadeerFacebook
19:00 - 21:00
Session 5REBASE at Rebase
Chair(s): Chris LattnerSiFive
19:00
2h
Talk
AA - Yet Another New Language
REBASE
21:00 - 23:00
Session 6REBASE at Rebase
Chair(s): Aleksandar ProkopecOracle Labs
21:00
2h
Talk
Variational Calculus for Dummies
REBASE

Conference Day
Mon 12 Jul

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

09:00 - 17:00
17:00 - 18:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
17:00
90m
Talk
Who is Afraid of the Turnstile?
ECOOP and ISSTA Summer School
S: Andreas RossbergDfinity Stiftung
19:00 - 20:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank TipNortheastern University
19:00
90m
Talk
Let me fix that for you: An Overview of Automated Program Repair
ECOOP and ISSTA Summer School
S: Claire Le GouesCarnegie Mellon University

Conference Day
Tue 13 Jul

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

00:00 - 01:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank TipNortheastern University
00:00
90m
Talk
Foundations of Software Testing
ECOOP and ISSTA Summer School
S: Marcel BöhmeMonash University, Australia
02:00 - 03:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank TipNortheastern University
02:00
90m
Talk
Machine Learning for Developer Productivity
ECOOP and ISSTA Summer School
S: Satish ChandraFacebook, USA
08:00 - 09:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
08:00
90m
Talk
Who is Afraid of the Turnstile?
ECOOP and ISSTA Summer School
S: Andreas RossbergDfinity Stiftung
10:00 - 11:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
10:00
90m
Talk
FanSASTic! The magic behind Static Application Security Testing
ECOOP and ISSTA Summer School
S: Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
10:00 - 17:00
14:00 - 14:15
14:00
3m
Talk
Welcome Talk
ECOOP and ISSTA Doctoral Symposium

14:15 - 15:15
14:15
60m
Talk
Keynote
ECOOP and ISSTA Doctoral Symposium
A: Mary Lou SoffaUniversity of Virginia
15:30 - 17:30
Student Presentations Session 1ECOOP and ISSTA Doctoral Symposium at Doctoral Symposium
Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Panel Members:

Myra Cohen, Iowa State University, USA
Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany
Yang Liu, Nanyang Technological University, Singapore
Mira Mezini, Technische Universität Darmstadt, Germany
Mary Lou Soffa, University of Virginia, USA

15:30
30m
Talk
Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Zhouxian JianBeijing Jiaotong University
16:00
30m
Talk
JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation)
ECOOP and ISSTA Doctoral Symposium
16:30
30m
Talk
AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Ben WangHohai University
17:00
30m
Talk
Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Haibo ChenJiangsu University
18:30 - 19:15
20:30 - 22:30
Student presentations Session 2ECOOP and ISSTA Doctoral Symposium at Doctoral Symposium
Chair(s): Wei LeIowa State University

Panel Members:

Myra Cohen, Iowa State University, USA
Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany
Yang Liu, Nanyang Technological University, Singapore
Mira Mezini, Technische Universität Darmstadt, Germany
Mary Lou Soffa, University of Virginia, USA

20:30
30m
Talk
Accessible Metamorphic Testing for C++ Software Libraries (Senior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Andrei LascuImperial College London
21:00
30m
Talk
Using refactoring features to solve the problem of nested refactoring (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Tan LiangPhilipps-Universität Marburg
21:30
30m
Talk
Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Luigi Libero Lucio Starace Federico II University of Naples
22:00
30m
Talk
Quantum Computing & Machine Learning: Towards Provable Guarantees (Senior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Fabian Bauer-MarquartUniversität Konstanz

Conference Day
Wed 14 Jul

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

00:00 - 01:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank TipNortheastern University
00:00
90m
Talk
Let me fix that for you: An Overview of Automated Program Repair
ECOOP and ISSTA Summer School
S: Claire Le GouesCarnegie Mellon University
02:00 - 03:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank TipNortheastern University
02:00
90m
Talk
Machine Learning for Developer Productivity
ECOOP and ISSTA Summer School
S: Satish ChandraFacebook, USA
08:00 - 09:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
08:00
90m
Talk
Foundations of Software Testing
ECOOP and ISSTA Summer School
S: Marcel BöhmeMonash University, Australia
10:00 - 11:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
10:00
90m
Talk
FanSASTic! The magic behind Static Application Security Testing
ECOOP and ISSTA Summer School
S: Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
17:00 - 17:20
Opening Session (time band 1)ECOOP and ISSTA Opening at Opening
17:00
20m
Opening Session
ECOOP and ISSTA Opening
E: Anders MøllerAarhus University, I: Cristian CadarImperial College London, UK, E: Manu SridharanUniversity of California at Riverside, I: Xiangyu ZhangPurdue University
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
18:20 - 19:00
Posters (time band 1)ECOOP and ISSTA Posters at Posters
18:40 - 19:40
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

00:00 - 00:20
Opening Session (time band 2)ECOOP and ISSTA Opening at Opening
00:00
20m
Opening Session
ECOOP and ISSTA Opening
E: Anders MøllerAarhus University, I: Cristian CadarImperial College London, UK, E: Manu SridharanUniversity of California at Riverside, I: Xiangyu ZhangPurdue University
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
03:20 - 04:00
Posters (time band 2)ECOOP and ISSTA Posters at Posters
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
09:20 - 10:20
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
11:20 - 12:00
Posters (time band 3)ECOOP and ISSTA Posters at Posters
17:00 - 18:00
Keynote - Dahl-Nygaard Senior Prize (time band 1)ECOOP Keynotes at Keynote
17:00
60m
Keynote
Dahl-Nygaard Senior Prize
ECOOP Keynotes

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
19:00 - 20:00
Multiparty Programming and Session Types (time band 1)ECOOP Technical Papers at ECOOP 2
Chair(s): Mira MeziniTU Darmstadt, Germany
19:00
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
19:20
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
19: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

Conference Day
Fri 16 Jul

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

00:00 - 01:00
Keynote - Dahl-Nygaard Senior Prize (time band 2)ECOOP Keynotes at Keynote
00:00
60m
Keynote
Dahl-Nygaard Senior Prize
ECOOP Keynotes

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
18:20 - 19:00
ECOOP Test of Time Award (time band 1)ECOOP Keynotes at Keynote
18:20
40m
Talk
ECOOP Test of Time Award
ECOOP Keynotes

19:00 - 20:00
Parallelism / Runtimes (time band 1)ECOOP Technical Papers at ECOOP 2
Chair(s): Colin GordonDrexel University
19:00
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
19:20
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
19:40
20m
Talk
Enabling Additional Parallelism in Asynchronous JavaScript Applications
ECOOP Technical Papers
Ellen ArtecaNortheastern University, Frank TipNortheastern University, Max SchaeferGitHub, Inc.
20:00 - 21:00
Keynote - Dahl-Nygaard Junior Prize (time band 1)ECOOP Keynotes at Keynote
20:00
60m
Keynote
Dahl-Nygaard Junior Prize
ECOOP Keynotes

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
02:20 - 03:00
Dragon TestingECOOP and ISSTA Sponsors at Sponsors

Research funding and job opportunities with Dragon Testing. Details to be revealed in the session.

03:00 - 04:00
Microsoft ResearchECOOP and ISSTA Sponsors at Sponsors

Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR.

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
08:00 - 08:40
ECOOP Test of Time Award (time band 3)ECOOP Keynotes at Keynote
08:00
40m
Talk
ECOOP Test of Time Award
ECOOP Keynotes

09:00 - 09:40
Dragon TestingECOOP and ISSTA Sponsors at Sponsors

Research funding and job opportunities with Dragon Testing. Details to be revealed in the session.

10:00 - 11:00
Microsoft ResearchECOOP and ISSTA Sponsors at Sponsors

Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR.

11:00 - 12:00
Keynote - Dahl-Nygaard Junior Prize (time band 3)ECOOP Keynotes at Keynote
11:00
60m
Keynote
Dahl-Nygaard Junior Prize
ECOOP Keynotes