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

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 11 Jul

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

11:00 - 13:00
Session 1REBASE at Rebase
Chair(s): Andreas Zeller CISPA
11:00
2h
Talk
Ubiquitous Omniscient Debugging
REBASE
13:00 - 15:00
Session 2REBASE at Rebase
Chair(s): Alexandre Bergel University of Chile, Oscar Nierstrasz University of Bern, Switzerland
13:00
2h
Talk
Molding Knowledge
REBASE
Tudor Gîrba feenk.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 Wrenn Brown University
17:00 - 19:00
Session 4REBASE at Rebase
Chair(s): Manuel Chakravarty Tweag & IOHK, Andreas Rossberg Dfinity Stiftung
17:00
2h
Talk
The Move language for the Diem Blockchain
REBASE
Shaz Qadeer Facebook
19:00 - 21:00
Session 5REBASE at Rebase
Chair(s): Chris Lattner SiFive
19:00
2h
Talk
AA - Yet Another New Language
REBASE
21:00 - 23:00
Session 6REBASE at Rebase
Chair(s): Aleksandar Prokopec Oracle Labs
21:00
2h
Talk
Variational Calculus for Dummies
REBASE

Mon 12 Jul

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

09:00 - 11:50
Main SessionAISTA at AISTA
Chair(s): Lei Ma University of Alberta, Shuai Wang Hong Kong University of Science and Technology, Xiaofei Xie Kyushu University
09:00
30m
Keynote
Towards Automated Debugging: A Trace Travelling Oriented and AI-based Approach
AISTA
Yun Lin National University of Singapore
09:30
20m
Talk
NerdBug: Automated Bug Detection in Neural Networks
AISTA
Foad Jafarinejad Technical University of Darmstadt, Krishna Narasimhan TU Darmstadt, Mira Mezini TU Darmstadt, Germany
09:50
20m
Talk
Automated Cell Header Generator for Jupyter Notebooks
AISTA
DOI
10:10
20m
Talk
Impact of Programming Languages on Machine Learning Bugs
AISTA
Sebastian Sztwiertnia Technical University of Darmstadt, Maximilian Grübel Technical University of Darmstadt, Amine Chouchane Technical University of Darmstadt, Daniel Sokolowski TU Darmstadt, Krishna Narasimhan TU Darmstadt, Mira Mezini TU Darmstadt, Germany
Link to publication DOI Pre-print
10:30
20m
Talk
On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
AISTA
Andreea Vescan Babes-Bolyai University, Camelia Chisalita-Cretu Babes-Bolyai University Cluj-Napoca, Camelia Serban Department of Computer Science, Babes-Bolyai University, Laura Diosan Babes-Bolyai University
10:50
60m
Panel
Panel discussion
AISTA

10:30 - 11:50
Morning sessionVORTEX at VORTEX
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
10:30
40m
Keynote
Increasing Confidence in Autonomous Systems
VORTEX
I: Michael Fisher University of Manchester, UK
File Attached
11:10
20m
Talk
Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
VORTEX
Filippo Ricca DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy, Alessandro Verri
File Attached
11:30
20m
Talk
RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
VORTEX
Angelo Ferrando DIBRIS, Università di Genova, Rafael C. Cardoso
File Attached
13:00 - 17:00
COPCOP at COP
13:00
30m
Talk
[Invited Talk] Application of Context-Oriented Programming Paradigm to Automobile Driving Assistance System
COP
Kenji Hisazumi Kyushu University, Tsuneo Nakanishi
File Attached
13:30
30m
Talk
[Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
COP
Sebastian Ebert Technische Universität Dresden, Tim Kluge TU Dresden, Germany, Sebastian Götz Technische Universität Dresden
DOI File Attached
14:00
30m
Talk
[Invited Talk] A Method for Context-Oriented Management of ROS2-FPGA Module Reconfiguration
COP
Takeshi Ohkawa Tokai University
File Attached
14:30
15m
Talk
[Student Talk] A Language to Safely Exploit Multi-Version Modules at the Expression-level
COP
Yudai Tanabe Tokyo Institute of Technology
File Attached
14:45
15m
Talk
[Student Talk] Object-Oriented Programming with Versions
COP
File Attached
15:00
30m
Talk
[Invited Talk] Aspect-Oriented Modeling Mechanism for Ultra-Flexible Software Architecture
COP
Natsuko Noda Shibaura Institute of Technology
File Attached
15:30
30m
Talk
[Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition
COP
Toni Mattis Hasso Plattner Institute, University of Potsdam, Tom Beckmann Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany
DOI File Attached
16:00
30m
Talk
[Invited Talk] Generating Adaptations in Context-Oriented Programming using Reinforcement Learning Options
COP
Nicolás Cardozo Universidad de los Andes
Pre-print Media Attached
16:30
30m
Talk
[Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages
COP
Achiya Elyasaf Ben-Gurion University of the Negev, Arnon Sturm Ben-Gurion University of the Negev
DOI File Attached
17:00 - 18:30
17:00
90m
Talk
Who is Afraid of the Turnstile?
ECOOP and ISSTA Summer School
S: Andreas Rossberg Dfinity Stiftung
Media Attached
19:00 - 20:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank Tip Northeastern 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 Goues Carnegie Mellon University
Media Attached
21:00 - 22:30
21:00
90m
Talk
FanSASTic! The magic behind Static Application Security Testing
ECOOP and ISSTA Summer School
S: Eric Bodden University of Paderborn; Fraunhofer IEM
Link to publication Media Attached

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 Tip Northeastern University
00:00
90m
Talk
Foundations of Software Testing
ECOOP and ISSTA Summer School
S: Marcel Böhme Monash University
Media Attached
02:00 - 03:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank Tip Northeastern University
02:00
90m
Talk
Machine Learning for Developer Productivity
ECOOP and ISSTA Summer School
S: Satish Chandra Facebook
08:00 - 09:30
08:00
90m
Talk
Who is Afraid of the Turnstile?
ECOOP and ISSTA Summer School
S: Andreas Rossberg Dfinity Stiftung
Media Attached
10:00 - 11:30
10:00
90m
Talk
FanSASTic! The magic behind Static Application Security Testing
ECOOP and ISSTA Summer School
S: Eric Bodden University of Paderborn; Fraunhofer IEM
Link to publication Media Attached
13:00 - 17:30
ICOOOLPSICOOOLPS at ICOOOLPS
13:00
5m
Other
Welcome
ICOOOLPS

13:05
25m
Talk
The Two Cultures of Language ImplementationInvited Talk
ICOOOLPS
Stephen Kell King's College London
13:30
20m
Paper
Naïve Transient Cast Insertion Isn’t (That) BadPaper
ICOOOLPS
P: Erin Greenwood-Thessman Victoria University of Wellington, Isaac Oscar Gariano Victoria University of Wellington, Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington
DOI Pre-print
13:50
20m
Talk
Threaded Code Generation with a Meta-tracing JIT CompilerPosition Paper
ICOOOLPS
P: Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Carl Friedrich Bolz-Tereick , Youyou Cong Tokyo Institute of Technology
Pre-print
14:10
10m
Social Event
Break
ICOOOLPS

14:20
20m
Talk
Avoiding Monomorphisation Bottlenecks with Phase-based Splitting
ICOOOLPS
P: Sophie Kaleba University of Kent, Stefan Marr University of Kent, Richard Jones University of Kent
Pre-print
14:40
20m
Talk
Native Implementation of Mutable Value SemanticsPosition Paper
ICOOOLPS
P: Dimitri Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dave Abrahams Google, Dan Zheng Purdue University, Google Brain, Brennan Saeta Google
Pre-print
15:00
20m
Talk
An Eclipse OMR-based Garbage Collector for Python
ICOOOLPS
P: Joannah Nanjekye University of New Brunswick, David Bremner University of New Brunswick, Aleksandar Micic IBM, Canada
15:20
20m
Social Event
Break
ICOOOLPS

15:40
20m
Talk
Userfault Objects: Transparent Programmable MemoryPosition Paper
ICOOOLPS
P: Konrad Siek Czech Technical University in Prague, Colette Kerr ČVUT
Pre-print
16:00
20m
Talk
The Strange and Wondrous Life of Functions in Ř
ICOOOLPS
Jan Ječmen , Olivier Flückiger Northeastern University, Sebastián Krynski Czech Technical University in Prague, P: Jan Vitek Northeastern University / Czech Technical University
File Attached
16:20
20m
Talk
Non-Intrusive Migration from Lazy to Eager Evaluation
ICOOOLPS
P: Aviral Goel Northeastern University, Jan Vitek Northeastern University / Czech Technical University
16:40
10m
Social Event
Break
ICOOOLPS

16:50
20m
Talk
A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
ICOOOLPS
P: Kyle Liang Carnegie Mellon University, Reese Grimsley CMU, Eve Hu CMU, Edward Andert Arizona State University, Mohammad Khayatian Arizona State University, Aviral Shrivastava Arizona State University, Carlee Joe-Wong CMU, Jonathan Aldrich Carnegie Mellon University, Bob Iannucci CMU
17:10
20m
Talk
Fuel: A Compiler Framework for Safe Memory ManagementPosition Paper
ICOOOLPS
Dimitri Racordon University of Geneva, Switzerland, P: Aurélien Coet University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland
Pre-print
14:00 - 14:15
14:00
3m
Talk
Welcome Talk
ECOOP and ISSTA Doctoral Symposium

14:00 - 16:35
FTfJP Workshop-1FTfJP at FTfJP
14:00
5m
Talk
Welcome
FTfJP

14:05
30m
Talk
Refactoring traces to identify concurrency improvements
FTfJP
P: Indigo Orton University of Cambridge, UK, Alan Mycroft University of Cambridge, UK
14:35
30m
Talk
A Generic Type System for Featherweight Java
FTfJP
Ulrich Schöpp fortiss GmbH, P: Chuangjie Xu fortiss GmbH
15:05
30m
Talk
Source code patches from dynamic analysis
FTfJP
P: Indigo Orton University of Cambridge, UK, Alan Mycroft University of Cambridge, UK
15:35
30m
Talk
Reconstructing Z3 Proofs in KeY: There and Back Again
FTfJP
P: Wolfram Pfeifer Karlsruhe Institute of Technology (KIT), Jonas Schiffl , Mattias Ulbrich Karlsruhe Institute of Technology
File Attached
16:05
30m
Talk
Using Dafny to Solve the VerifyThis 2021 Challenges
FTfJP
P: Marie Farrell University of Liverpool, Rosemary Monahan National University of Ireland, A: Conor Reynolds Maynooth University
14:15 - 15:15
14:15
60m
Talk
Keynote
ECOOP and ISSTA Doctoral Symposium
A: Mary Lou Soffa University of Virginia
Media Attached
15:30 - 17:30
Student Presentations Session 1ECOOP and ISSTA Doctoral Symposium at Doctoral Symposium
Chair(s): Eric Bodden University of Paderborn; Fraunhofer IEM

Panel Members:

Myra Cohen, Iowa State University, USA
Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany
Yang Liu, Nanyang Technological University, Singapore
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 Jian Beijing 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 Wang Hohai University
17:00
30m
Talk
Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Haibo Chen Jiangsu University
16:50 - 18:50
FTfJP Workshop-2FTfJP at FTfJP
16:50
30m
Talk
IntelliJML: A JML plugin for IntelliJ IDEA
FTfJP
P: Steven Monteiro University of Twente, P: Erikas Sokolovas University of Twente, The Netherlands, P: Ellen Wittingen University of Twente, Tom van Dijk University of Twente, Marieke Huisman University of Twente
File Attached
17:20
30m
Talk
Ensuring correct cryptographic algorithm and provider usage at compile time
FTfJP
P: Weitian Xing University of Waterloo, Yuanhui Cheng University of Waterloo, Werner Dietl University of Waterloo
Media Attached
17:50
30m
Talk
Behavioural Separation with Parallel Usages
FTfJP
Iaroslav Golovanov Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, P: Mathias Steen Jakobsen Department of Computer Science, Aalborg University, Denmark, Mikkel Klinke Kettunen Department of Computer Science, Aalborg University, Denmark
18:20
30m
Talk
Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
FTfJP
DOI File Attached
18:50
30m
Talk
JML and OpenJML for Java 16
FTfJP
P: David Cok Safer Software Consulting, LLC
File Attached
18:30 - 19:15
19:00 - 20:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank Tip Northeastern University
19:00
90m
Talk
Machine Learning for Developer Productivity
ECOOP and ISSTA Summer School
S: Satish Chandra Facebook
19:20 - 20:00
FTfJP Workshop-3FTfJP at FTfJP
19:20
40m
Live Q&A
Discussion and Conclusion
FTfJP

20:30 - 22:30
Student presentations Session 2ECOOP and ISSTA Doctoral Symposium at Doctoral Symposium
Chair(s): Wei Le Iowa 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 Lascu Imperial 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 Liang Philipps-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-Marquart Universität Konstanz

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 Tip Northeastern 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 Goues Carnegie Mellon University
Media Attached
08:00 - 09:30
08:00
90m
Talk
Foundations of Software Testing
ECOOP and ISSTA Summer School
S: Marcel Böhme Monash University
Media Attached
17:00 - 17:20
ECOOP & ISSTA Opening Session (time band 1)ECOOP and ISSTA Opening at Opening
17:00
20m
Opening Session
ECOOP and ISSTA Opening
E: Anders Møller Aarhus University, I: Cristian Cadar Imperial College London, UK, E: Manu Sridharan University of California at Riverside, I: Xiangyu Zhang Purdue University
Media Attached
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
18:40 - 19:40
AmazonECOOP and ISSTA Sponsors at Sponsors

Amazon is developing exciting technologies in many areas, including programming languages, code analysis, and software quality. We welcome you to join us and learn about Amazon CodeGuru, a machine-learning powered service that enables developers to maintain a high bar of code quality.

In addition, we welcome you to participate in AWS BugBust, a global competition of fixing software bugs, and win exciting prizes!

18:40
60m
Amazon
ECOOP and ISSTA Sponsors

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
Pre-print Media 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
20:40 - 21:10
Posters (time band 1)ECOOP and ISSTA Posters at Posters
20:40
30m
Poster
Can we run in parallel? Automating Loop Parallelization for TornadoVM
ECOOP and ISSTA Posters
Shreyansh Kulshreshtha Indian Institute of Technology Mandi, Rishi Sharma Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi
20:40
30m
Poster
Techniques for Evaluating Pragmatic Call Graph Builders
ECOOP and ISSTA Posters
Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia
20:40
30m
Poster
Exposing Previously Undetectable Faults in Deep Neural Networks
ECOOP and ISSTA Posters
Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford
20:40
30m
Poster
Refactoring Scala Programs to Promote Functional Design Patterns
ECOOP and ISSTA Posters
Namrata Malkani Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi
File Attached
20:40
30m
Poster
Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
ECOOP and ISSTA Posters
Daniel Gómez Betancur Technological University of Pereira, Christian A. Candela-Uribe University of Quindío, Luis E. Sepúlveda-Rodríguez University of Quindío, Julio C. Chavarro-Porras Technological University of Pereira, John A. Sanabria-Ordoñez University of Valle
File Attached

Thu 15 Jul

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

00:00 - 00:20
ECOOP & ISSTA Opening Session (time band 2)ECOOP and ISSTA Opening at Opening
00:00
20m
Opening Session
ECOOP and ISSTA Opening
E: Anders Møller Aarhus University, I: Cristian Cadar Imperial College London, UK, E: Manu Sridharan University of California at Riverside, I: Xiangyu Zhang Purdue University
Media Attached
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
02:20 - 02:50
Posters (time band 2)ECOOP and ISSTA Posters at Posters
02:20
30m
Poster
KLEEMA: A DSE based Mutation Analyser
ECOOP and ISSTA Posters
Sangharatna Godboley National Institute of Technology Warangal, Golla Monika Rani National Institute of Technology, Warangal, Arpita Dutta National University of Singapore
02:20
30m
Poster
Techniques for Evaluating Pragmatic Call Graph Builders
ECOOP and ISSTA Posters
Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia
02:20
30m
Poster
Native Implementation of Mutable Value Semantics
ECOOP and ISSTA Posters
Dimitri Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dan Zheng Purdue University, Google Brain, Dave Abrahams Google, Brennan Saeta Google
02:20
30m
Poster
Toward Optimal MC/DC Test Case Generation
ECOOP and ISSTA Posters
Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore
02:20
30m
Poster
Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
ECOOP and ISSTA Posters
Daniel Gómez Betancur Technological University of Pereira, Christian A. Candela-Uribe University of Quindío, Luis E. Sepúlveda-Rodríguez University of Quindío, Julio C. Chavarro-Porras Technological University of Pereira, John A. Sanabria-Ordoñez University of Valle
File Attached
02:20
30m
Poster
Target Code-coverage in APP Automatic Compatibility Testing
ECOOP and ISSTA Posters
Sen Yang Army Engineering University of PLA, Song Huang Army Engineering University of PLA, Changyou Zheng Army Engineering University of PLA
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
09:10 - 10:10
AmazonECOOP and ISSTA Sponsors at Sponsors

Amazon is developing exciting technologies in many areas, including programming languages, code analysis, and software quality. We welcome you to join us and learn about Amazon CodeGuru, a machine-learning powered service that enables developers to maintain a high bar of code quality.

In addition, we welcome you to participate in AWS BugBust, a global competition of fixing software bugs, and win exciting prizes!

09:10
60m
Amazon
ECOOP and ISSTA Sponsors

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
Pre-print Media 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
11:10 - 11:40
Posters (time band 3)ECOOP and ISSTA Posters at Posters
11:10
30m
Poster
Exposing Previously Undetectable Faults in Deep Neural Networks
ECOOP and ISSTA Posters
Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford
11:10
30m
Poster
KLEEMA: A DSE based Mutation Analyser
ECOOP and ISSTA Posters
Sangharatna Godboley National Institute of Technology Warangal, Golla Monika Rani National Institute of Technology, Warangal, Arpita Dutta National University of Singapore
11:10
30m
Poster
Target Code-coverage in APP Automatic Compatibility Testing
ECOOP and ISSTA Posters
Sen Yang Army Engineering University of PLA, Song Huang Army Engineering University of PLA, Changyou Zheng Army Engineering University of PLA
11:10
30m
Poster
Native Implementation of Mutable Value Semantics
ECOOP and ISSTA Posters
Dimitri Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dan Zheng Purdue University, Google Brain, Dave Abrahams Google, Brennan Saeta Google
11:10
30m
Poster
Toward Optimal MC/DC Test Case Generation
ECOOP and ISSTA Posters
Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei, Arpita Dutta National University of Singapore
11:10
30m
Poster
Refactoring Scala Programs to Promote Functional Design Patterns
ECOOP and ISSTA Posters
Namrata Malkani Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi
File Attached
11:10
30m
Poster
Can we run in parallel? Automating Loop Parallelization for TornadoVM
ECOOP and ISSTA Posters
Shreyansh Kulshreshtha Indian Institute of Technology Mandi, Rishi Sharma Indian Institute of Technology Mandi, Manas Thakur Indian Institute of Technology Mandi
17:00 - 18:00
Keynote - Dahl-Nygaard Senior Prize (time band 1)ECOOP Keynotes at Keynote
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

See AITO’s Dahl-Nygaard Prize Winners webpage.

17:00
60m
Keynote
Dahl-Nygaard Senior Prize: Theory to UnderstandingKeynote
ECOOP Keynotes
K: Kim Bruce Pomona College
Media Attached
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
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 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
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 Technische Universität 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
20:20 - 21:00
Advances in TestingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 1)
Chair(s): Sebastian Elbaum University of Virginia, Annibale Panichella Delft University of Technology; University of Luxembourg
20:20
40m
Panel
Advances in Testing
ECOOP and ISSTA Discussions with Experts
Annibale Panichella Delft University of Technology; University of Luxembourg, Sebastian Elbaum University of Virginia
20:20 - 21:00
Specification and Implementation of Type SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2)
Chair(s): Sebastian Erdweg JGU Mainz, Eelco Visser Delft University of Technology
20:20
40m
Panel
Specification and Implementation of Type Systems
ECOOP and ISSTA Discussions with Experts
Eelco Visser Delft University of Technology, Sebastian Erdweg JGU Mainz
20:20 - 21:00
Practical Static Analysis and Bug FindingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3)
Chair(s): Murali Krishna Ramanathan Uber Technologies Inc., Michael Pradel University of Stuttgart
20:20
40m
Panel
Practical Static Analysis and Bug Finding
ECOOP and ISSTA Discussions with Experts
Murali Krishna Ramanathan Uber Technologies Inc., Michael Pradel University of Stuttgart

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
Chair(s): James Noble Victoria University of Wellington

See AITO’s Dahl-Nygaard Prize Winners webpage.

00:00
60m
Keynote
Dahl-Nygaard Senior Prize: Theory to UnderstandingKeynote
ECOOP Keynotes
K: Kim Bruce Pomona College
Media Attached
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 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
03:20 - 04:00
Testing/Analysis and ML/DL 1 ECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 1)
Chair(s): Satish Chandra Facebook, Yang Liu Nanyang Technological University

We will be discussing:

  1. What are the common or different things in traditional testing vs DL testing? Coverage criteria, mutation operators, regression testing and so on.

  2. How to test or analyse different types of networks like FNN/RNN/DRL? What are the common methods we can follow, and what are the adaptations we need?

  3. How to apply testing/analysis in different applications domains (e.g., security)

03:20
40m
Panel
Testing/Analysis and ML/DL 1
ECOOP and ISSTA Discussions with Experts
Satish Chandra Facebook, Yang Liu Nanyang Technological University
03:20 - 04:00
Symbolic ExecutionECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2)
Chair(s): Jun Sun Singapore Management University, Willem Visser Stellenbosch University, South Africa

Need research ideas? Join us to discuss the following questions.

  1. How do we handle loops in symbolic execution?

  2. Existing studies on symbolic execution overwhelmingly focus on integer programs. How do we effectively handle other types such as String and Heap?

  3. How do we effectively combine symbolic execution with alternative techniques such as fuzzing and abstract interpretation?

03:20
40m
Panel
Symbolic Execution
ECOOP and ISSTA Discussions with Experts
Willem Visser Stellenbosch University, South Africa, Jun Sun Singapore Management University
03:20 - 04:00
Advances in Type SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3)
Chair(s): Michael Greenberg Stevens Institute of Technology, Bruno C. d. S. Oliveira University of Hong Kong

What advances in type systems have had a recent effect… and what’s next? Join us to discuss where types are going, in both theory and practice.

03:20
40m
Panel
Advances in Type Systems
ECOOP and ISSTA Discussions with Experts
Michael Greenberg Stevens Institute of Technology, Bruno C. d. S. Oliveira University of Hong Kong
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
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
11:20 - 12:00
PL/SE for Concurrent / Distributed SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 1)
Chair(s): Simon Fowler University of Glasgow, Burcu Kulahcioglu Ozkan Delft University of Technology, Mira Mezini TU Darmstadt, Germany
11:20
40m
Panel
PL/SE for Concurrent / Distributed Systems
ECOOP and ISSTA Discussions with Experts
Burcu Kulahcioglu Ozkan Delft University of Technology, Simon Fowler University of Glasgow, Mira Mezini TU Darmstadt, Germany
11:20 - 12:00
Testing/Analysis and ML/DL 2 ECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2)
Chair(s): Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Tao Xie Peking University
11:20
40m
Panel
Testing/Analysis and ML/DL 2
ECOOP and ISSTA Discussions with Experts
Tao Xie Peking University, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology
11:20 - 12:00
FuzzingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3)
Chair(s): Marcel Böhme Monash University, Mathias Payer EPFL

Fuzzing has become the major technique to find vulnerabilities in software and has seen a recent explosion in research activity. We will discuss the origins of fuzzing and the major events that lead to this proliferation: from the “DARPA Cyber Grand Challenge” and “American Fuzzy Lop” seed events to the explosion of fuzzers that target hundreds of open source projects. Then, we’ll gradually ease into highlighting key research areas in software engineering and security such as coverage metrics, intelligent mutation operators, scheduling, seed selection, or different forms of feedback. In addition, we welcome interactivity and questions from the audience throughout.

11:20
40m
Panel
Fuzzing
ECOOP and ISSTA Discussions with Experts
Mathias Payer EPFL, Marcel Böhme Monash University
17:55 - 18:00
ISSTA 2022 Preview (time band 1)ECOOP and ISSTA 2022 Previews at Preview
17:55
5m
Talk
ISSTA 2022 Preview
ECOOP and ISSTA 2022 Previews
Sukyoung Ryu KAIST, Yannis Smaragdakis University of Athens
18:20 - 19:00
ECOOP Test of Time Award (time band 1)ECOOP Keynotes at Keynote 2
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel

An Overview of AspectJ. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold. ECOOP 2001.
See AITO’s Test of Time Winners for 2021 webpage.

18:20
40m
Talk
ECOOP Test of Time AwardKeynote
ECOOP Keynotes
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
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
20:00 - 20:55
Keynote - Dahl-Nygaard Junior Prize (time band 1)ECOOP Keynotes at Keynote
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

See AITO’s Dahl-Nygaard Prize Winners webpage.

20:00
55m
Keynote
Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real!Keynote
ECOOP Keynotes
K: Karim Ali University of Alberta
Media Attached
20:55 - 21:00
ECOOP 2022 Preview (time band 1)ECOOP and ISSTA 2022 Previews at Preview
20:55
5m
ECOOP 2022 Preview
ECOOP and ISSTA 2022 Previews
Mira Mezini TU Darmstadt, Germany, Jan Vitek Northeastern University / Czech Technical University

Sat 17 Jul

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

00:55 - 01:00
ISSTA 2022 Preview (time band 2)ECOOP and ISSTA 2022 Previews at Preview
00:55
5m
Talk
ISSTA 2022 Preview
ECOOP and ISSTA 2022 Previews
Sukyoung Ryu KAIST, Yannis Smaragdakis University of Athens
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
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.

See also this video about Dragon Testing

02:20
40m
Dragon Testing
ECOOP and ISSTA Sponsors

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.

See also this video about MSR

03:00
60m
Microsoft Research
ECOOP and ISSTA Sponsors

08:00 - 08:40
ECOOP Test of Time Award (time band 3)ECOOP Keynotes at Keynote 2
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel

An Overview of AspectJ. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold. ECOOP 2001.
See AITO’s Test of Time Winners for 2021 webpage.

08:00
40m
Talk
ECOOP Test of Time AwardKeynote
ECOOP Keynotes
Media Attached
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.

See also this video about Dragon Testing

09:00
40m
Dragon Testing
ECOOP and ISSTA Sponsors

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 Technische Universität Darmstadt, Guido Salvaneschi University of St. Gallen, Pascal Weisenburger TU Darmstadt
Link to publication DOI
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.

See also this video about MSR

10:00
60m
Microsoft Research
ECOOP and ISSTA Sponsors

11:10 - 12:05
Keynote - Dahl-Nygaard Junior Prize (time band 3)ECOOP Keynotes at Keynote
Chair(s): Tobias Wrigstad Uppsala University, Sweden

See AITO’s Dahl-Nygaard Prize Winners webpage.

11:10
55m
Keynote
Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real!Keynote
ECOOP Keynotes
K: Karim Ali University of Alberta
Media Attached
12:05 - 12:10
ECOOP 2022 Preview (time band 3)ECOOP and ISSTA 2022 Previews at Preview
12:05
5m
ECOOP 2022 Preview
ECOOP and ISSTA 2022 Previews
Mira Mezini TU Darmstadt, Germany, Jan Vitek Northeastern University / Czech Technical University