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
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 - 11:50
Main SessionAISTA at AISTA
Chair(s): Xiaofei XieNanyang Technological University, Shuai WangHong Kong University of Science and Technology, Lei MaUniversity of Alberta
09:00
30m
Keynote
Towards Automated Debugging: A Trace Travelling Oriented and AI-based Approach
AISTA
Yun LinNational University of Singapore
09:30
20m
Talk
NerdBug: Automated Bug Detection in Neural Networks
AISTA
Foad JafarinejadTechnical University of Darmstadt, Krishna NarasimhanTU Darmstadt, Germany, Mira MeziniTU 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 SztwiertniaTechnical University of Darmstadt, Maximilian GrübelTechnical University of Darmstadt, Amine ChouchaneTechnical University of Darmstadt, Daniel SokolowskiTechnical University of Darmstadt, Germany, Krishna NarasimhanTU Darmstadt, Germany, Mira MeziniTU 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 VescanBabes-Bolyai University, Camelia Chisalita-CretuBabes-Bolyai University Cluj-Napoca, Camelia SerbanDepartment of Computer Science, Babes-Bolyai University, Laura DiosanBabes-Bolyai University
10:50
60m
Panel
Panel discussion
AISTA

10:30 - 11:50
Morning sessionVORTEX at VORTEX
Chair(s): Davide AnconaDIBRIS, University of Genova, Italy
10:30
40m
Keynote
Increasing Confidence in Autonomous Systems
VORTEX
I: Michael FisherUniversity of Manchester, UK
File Attached
11:10
20m
Talk
Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
VORTEX
Filippo RiccaDIBRIS, University of Genova, Italy, Viviana MascardiDIBRIS, University of Genova, Italy, Alessandro Verri
File Attached
11:30
20m
Talk
RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
VORTEX
Angelo FerrandoDIBRIS, 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
File Attached
13:30
30m
Talk
[Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
COP
Sebastian EbertTechnische Universität Dresden, Tim KlugeTU Dresden, Germany, Sebastian GötzTechnische 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 OhkawaTokai University
File Attached
14:30
15m
Talk
[Student Talk] A Language to Safely Exploit Multi-Version Modules at the Expression-level
COP
Yudai TanabeTokyo 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 NodaShibaura Institute of Technology
File Attached
15:30
30m
Talk
[Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition
COP
Toni MattisHasso Plattner Institute, University of Potsdam, Tom BeckmannHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Robert HirschfeldHasso 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 CardozoUniversidad de los Andes
Pre-print Media Attached
16:30
30m
Talk
[Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages
COP
Achiya ElyasafBen-Gurion University of the Negev, Arnon SturmBen-Gurion University of the Negev
DOI File Attached
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
Media Attached
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
Media Attached
21:00 - 22:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
21: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
Link to publication Media Attached

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
Media Attached
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
Media Attached
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
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 KellKing's College London
13:30
20m
Paper
Naïve Transient Cast Insertion Isn’t (That) BadPaper
ICOOOLPS
P: Erin Greenwood-ThessmanVictoria University of Wellington, Isaac Oscar GarianoVictoria University of Wellington, Richard RobertsVictoria University of Wellington, Stefan MarrUniversity of Kent, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington
DOI Pre-print
13:50
20m
Talk
Threaded Code Generation with a Meta-tracing JIT CompilerPosition Paper
ICOOOLPS
P: Yusuke IzawaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Carl Friedrich Bolz-Tereick, Youyou CongTokyo 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 KalebaUniversity of Kent, Stefan MarrUniversity of Kent, Richard JonesUniversity of Kent
Pre-print
14:40
20m
Talk
Native Implementation of Mutable Value SemanticsPosition Paper
ICOOOLPS
P: Dimitri RacordonUniversity of Geneva, Switzerland, Denys ShabalinEPFL, Switzerland, Dave AbrahamsGoogle, Dan ZhengPurdue University, Google Brain, Brennan SaetaGoogle
Pre-print
15:00
20m
Talk
An Eclipse OMR-based Garbage Collector for Python
ICOOOLPS
P: Joannah NanjekyeUniversity of New Brunswick, David BremnerUniversity of New Brunswick, Aleksandar MicicIBM, Canada
15:20
20m
Social Event
Break
ICOOOLPS

15:40
20m
Talk
Userfault Objects: Transparent Programmable MemoryPosition Paper
ICOOOLPS
P: Konrad SiekCzech 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ückigerNortheastern University, Sebastián KrynskiCzech Technical University in Prague, P: Jan VitekNortheastern University / Czech Technical University
File Attached
16:20
20m
Talk
Non-Intrusive Migration from Lazy to Eager Evaluation
ICOOOLPS
P: Aviral GoelNortheastern University, Jan VitekNortheastern 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 LiangCarnegie Mellon University, Reese GrimsleyCMU, Eve HuCMU, Edward AndertArizona State University, Mohammad KhayatianArizona State University, Aviral ShrivastavaArizona State University, Carlee Joe-WongCMU, Jonathan AldrichCarnegie Mellon University, Bob IannucciCMU
17:10
20m
Talk
Fuel: A Compiler Framework for Safe Memory ManagementPosition Paper
ICOOOLPS
Dimitri RacordonUniversity of Geneva, Switzerland, P: Aurélien CoetUniversity of Geneva, Switzerland, Didier BuchsUniversity 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 OrtonUniversity of Cambridge, UK, Alan MycroftUniversity of Cambridge, UK
14:35
30m
Talk
A Generic Type System for Featherweight Java
FTfJP
Ulrich Schöppfortiss GmbH, P: Chuangjie Xufortiss GmbH
15:05
30m
Talk
Source code patches from dynamic analysis
FTfJP
P: Indigo OrtonUniversity of Cambridge, UK, Alan MycroftUniversity of Cambridge, UK
15:35
30m
Talk
Reconstructing Z3 Proofs in KeY: There and Back Again
FTfJP
P: Wolfram PfeiferKarlsruhe Institute of Technology (KIT), Jonas Schiffl, Mattias UlbrichKarlsruhe Institute of Technology
File Attached
16:05
30m
Talk
Using Dafny to Solve the VerifyThis 2021 Challenges
FTfJP
P: Marie FarrellUniversity of Liverpool, Rosemary MonahanNational University of Ireland, A: Conor ReynoldsMaynooth University
14:15 - 15:15
14:15
60m
Talk
Keynote
ECOOP and ISSTA Doctoral Symposium
A: Mary Lou SoffaUniversity of Virginia
Media Attached
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
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
16:50 - 18:50
FTfJP Workshop-2FTfJP at FTfJP
16:50
30m
Talk
IntelliJML: A JML plugin for IntelliJ IDEA
FTfJP
P: Steven MonteiroUniversity of Twente, P: Erikas SokolovasUniversity of Twente, The Netherlands, P: Ellen WittingenUniversity of Twente, Tom van DijkUniversity of Twente, Marieke HuismanUniversity of Twente
File Attached
17:20
30m
Talk
Ensuring correct cryptographic algorithm and provider usage at compile time
FTfJP
P: Weitian XingUniversity of Waterloo, Yuanhui ChengUniversity of Waterloo, Werner DietlUniversity of Waterloo
Media Attached
17:50
30m
Talk
Behavioural Separation with Parallel Usages
FTfJP
Iaroslav GolovanovAalborg University, Hans HüttelDepartment of Computer Science, Aalborg University, P: Mathias Steen JakobsenDepartment of Computer Science, Aalborg University, Denmark, Mikkel Klinke KettunenDepartment of Computer Science, Aalborg University, Denmark
18:20
30m
Talk
Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
FTfJP
18:50
30m
Talk
JML and OpenJML for Java 16
FTfJP
P: David CokSafer 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 TipNortheastern University
19:00
90m
Talk
Machine Learning for Developer Productivity
ECOOP and ISSTA Summer School
S: Satish ChandraFacebook, USA
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 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
Media Attached
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
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øllerAarhus University, I: Cristian CadarImperial College London, UK, E: Manu SridharanUniversity of California at Riverside, I: Xiangyu ZhangPurdue University
Media Attached
18:30 - 19:30
Types (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Sam Tobin-HochstadtIndiana University
18:30
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
DOI
18:50
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
DOI File Attached
19:10
20m
Talk
Idris 2: Quantitative Type Theory in Practice
ECOOP Technical Papers
Edwin BradyUniversity 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. SummersUniversity of British Columbia (UBC)
19: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
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 BessaiTechnical University Dortmund, George HeinemanWPI, Boris DüdderUniversity 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. OliveiraUniversity 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 KulshreshthaIndian Institute of Technology Mandi, Rishi SharmaIndian Institute of Technology Mandi, Manas ThakurIndian Institute of Technology Mandi
20:40
30m
Poster
Techniques for Evaluating Pragmatic Call Graph Builders
ECOOP and ISSTA Posters
Madhurima ChakrabortyUniversity of California, Riverside, Renzo OlivaresUniversity of California, Riverside, Manu SridharanUniversity of California at Riverside, Behnaz HassanshahiOracle Labs, Australia
20:40
30m
Poster
Exposing Previously Undetectable Faults in Deep Neural Networks
ECOOP and ISSTA Posters
Isaac DunnUniversity of Oxford, Hadrien PougetUniversity of Oxford, Daniel KroeningAmazon, Tom MelhamUniversity of Oxford
20:40
30m
Poster
Refactoring Scala Programs to Promote Functional Design Patterns
ECOOP and ISSTA Posters
Namrata MalkaniIndian Institute of Technology Mandi, Manas ThakurIndian 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 BetancurTechnological University of Pereira, Christian A. Candela-UribeUniversity of Quindío, Luis E. Sepúlveda-RodríguezUniversity of Quindío, Julio C. Chavarro-PorrasTechnological University of Pereira, John A. Sanabria-OrdoñezUniversity of Valle

Conference Day
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øllerAarhus University, I: Cristian CadarImperial College London, UK, E: Manu SridharanUniversity of California at Riverside, I: Xiangyu ZhangPurdue University
Media Attached
00:20 - 01:20
Language Design (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Jens DietrichVictoria University of Wellington
00:20
20m
Talk
Lambda-based object-oriented programmingPearl
ECOOP Technical Papers
Marco ServettoVictoria University Wellington, New Zealand, Elena ZuccaUniversity of Genova
DOI Media Attached
00: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
DOI
01: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
DOI
01:40 - 02:20
Types (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Werner DietlUniversity of Waterloo
01: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
DOI
02: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
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 GodboleyNational Institute of Technology Warangal, Golla Monika RaniNational Institute of Technology, Warangal, Arpita DuttaNational University of Singapore
02:20
30m
Poster
Techniques for Evaluating Pragmatic Call Graph Builders
ECOOP and ISSTA Posters
Madhurima ChakrabortyUniversity of California, Riverside, Renzo OlivaresUniversity of California, Riverside, Manu SridharanUniversity of California at Riverside, Behnaz HassanshahiOracle Labs, Australia
02:20
30m
Poster
Native Implementation of Mutable Value Semantics
ECOOP and ISSTA Posters
Dimitri RacordonUniversity of Geneva, Switzerland, Denys ShabalinEPFL, Switzerland, Dan ZhengPurdue University, Google Brain, Dave AbrahamsGoogle, Brennan SaetaGoogle
02:20
30m
Poster
Toward Optimal MC/DC Test Case Generation
ECOOP and ISSTA Posters
Sangharatna GodboleyNational Institute of Technology Warangal, Joxan JaffarNational University of Singapore, Rasool MagharehHuawei, Arpita DuttaNational 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 BetancurTechnological University of Pereira, Christian A. Candela-UribeUniversity of Quindío, Luis E. Sepúlveda-RodríguezUniversity of Quindío, Julio C. Chavarro-PorrasTechnological University of Pereira, John A. Sanabria-OrdoñezUniversity of Valle
02:20
30m
Poster
Target Code-coverage in APP Automatic Compatibility Testing
ECOOP and ISSTA Posters
Sen YangArmy Engineering University of PLA, Song HuangArmy Engineering University of PLA, Changyou ZhengArmy Engineering University of PLA
09:10 - 10:10
Potpourri (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Viktor KunčakEPFL, Switzerland
09:10
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
DOI
09:30
20m
Talk
Lambda-based object-oriented programmingPearl
ECOOP Technical Papers
Marco ServettoVictoria University Wellington, New Zealand, Elena ZuccaUniversity of Genova
DOI Media Attached
09:50
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime BuyseUber ATCP, Remi DelmasUber ATCP, Youssef HamadiUber 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 VisserDelft 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. OliveiraUniversity of Hong Kong
DOI
10:30
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
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 BessaiTechnical University Dortmund, George HeinemanWPI, Boris DüdderUniversity 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 DunnUniversity of Oxford, Hadrien PougetUniversity of Oxford, Daniel KroeningAmazon, Tom MelhamUniversity of Oxford
11:10
30m
Poster
KLEEMA: A DSE based Mutation Analyser
ECOOP and ISSTA Posters
Sangharatna GodboleyNational Institute of Technology Warangal, Golla Monika RaniNational Institute of Technology, Warangal, Arpita DuttaNational University of Singapore
11:10
30m
Poster
Target Code-coverage in APP Automatic Compatibility Testing
ECOOP and ISSTA Posters
Sen YangArmy Engineering University of PLA, Song HuangArmy Engineering University of PLA, Changyou ZhengArmy Engineering University of PLA
11:10
30m
Poster
Native Implementation of Mutable Value Semantics
ECOOP and ISSTA Posters
Dimitri RacordonUniversity of Geneva, Switzerland, Denys ShabalinEPFL, Switzerland, Dan ZhengPurdue University, Google Brain, Dave AbrahamsGoogle, Brennan SaetaGoogle
11:10
30m
Poster
Toward Optimal MC/DC Test Case Generation
ECOOP and ISSTA Posters
Sangharatna GodboleyNational Institute of Technology Warangal, Joxan JaffarNational University of Singapore, Rasool MagharehHuawei, Arpita DuttaNational University of Singapore
11:10
30m
Poster
Refactoring Scala Programs to Promote Functional Design Patterns
ECOOP and ISSTA Posters
Namrata MalkaniIndian Institute of Technology Mandi, Manas ThakurIndian 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 KulshreshthaIndian Institute of Technology Mandi, Rishi SharmaIndian Institute of Technology Mandi, Manas ThakurIndian Institute of Technology Mandi
17:00 - 18:00
Keynote - Dahl-Nygaard Senior Prize (time band 1)ECOOP Keynotes at Keynote
Chair(s): Davide AnconaDIBRIS, 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 BrucePomona College
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
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. DimovskiMother Teresa University, Skopje, Sven ApelSaarland University
DOI
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
DOI 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
Link to publication DOI
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
DOI Pre-print
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 FrancalanzaUniversity of Malta, Alceste ScalasTechnical University of Denmark
DOI
20:20 - 21:00
Advances in TestingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 1)
Chair(s): Annibale PanichellaDelft University of Technology; University of Luxembourg, Sebastian ElbaumUniversity of Virginia
20:20
40m
Panel
Advances in Testing
ECOOP and ISSTA Discussions with Experts
Annibale PanichellaDelft University of Technology; University of Luxembourg, Sebastian ElbaumUniversity 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): Eelco VisserDelft University of Technology, Sebastian ErdwegJGU Mainz
20:20
40m
Panel
Specification and Implementation of Type Systems
ECOOP and ISSTA Discussions with Experts
Eelco VisserDelft University of Technology, Sebastian ErdwegJGU 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 RamanathanUber Technologies Inc., Michael PradelUniversity of Stuttgart
20:20
40m
Panel
Practical Static Analysis and Bug Finding
ECOOP and ISSTA Discussions with Experts
Murali Krishna RamanathanUber Technologies Inc., Michael PradelUniversity of Stuttgart

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
Chair(s): James NobleVictoria 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 BrucePomona College
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
DOI 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
DOI
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
DOI
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
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 ChandraFacebook, USA, Yang LiuNanyang 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 ChandraFacebook, USA, Yang LiuNanyang Technological University
03:20 - 04:00
Symbolic ExecutionECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 2)
Chair(s): Willem VisserStellenbosch University, South Africa, Jun SunSingapore Management University

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 VisserStellenbosch University, South Africa, Jun SunSingapore Management University
03:20 - 04:00
Advances in Type SystemsECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3)
Chair(s): Bruno C. d. S. OliveiraUniversity of Hong Kong, Michael GreenbergStevens Institute of Technology

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 GreenbergStevens Institute of Technology, Bruno C. d. S. OliveiraUniversity of Hong Kong
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
DOI
08:20
20m
Talk
Enabling Additional Parallelism in Asynchronous JavaScript Applications
ECOOP Technical Papers
Ellen ArtecaNortheastern University, Frank TipNortheastern University, Max SchaeferGitHub, Inc.
DOI
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
DOI
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
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 SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannTechnical University Dortmund, Eric BoddenHeinz Nixdorf Institut, Paderborn University and 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 AntwerpenDelft University of Technology, Eelco VisserDelft University of Technology
DOI File Attached
11:00
20m
Talk
Idris 2: Quantitative Type Theory in Practice
ECOOP Technical Papers
Edwin BradyUniversity 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): Burcu Kulahcioglu OzkanDelft University of Technology, Simon FowlerUniversity of Glasgow, Mira MeziniTU Darmstadt, Germany
11:20
40m
Panel
PL/SE for Concurrent / Distributed Systems
ECOOP and ISSTA Discussions with Experts
Burcu Kulahcioglu OzkanDelft University of Technology, Simon FowlerUniversity of Glasgow, Mira MeziniTU 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 PezzeUSI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Tao XiePeking University
11:20
40m
Panel
Testing/Analysis and ML/DL 2
ECOOP and ISSTA Discussions with Experts
Tao XiePeking University, Mauro PezzeUSI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology
11:20 - 12:00
FuzzingECOOP and ISSTA Discussions with Experts at Discussions with Experts (room 3)
Chair(s): Mathias PayerEPFL, Marcel BöhmeMonash University, Australia

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 PayerEPFL, Marcel BöhmeMonash University, Australia
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 RyuKAIST, Yannis SmaragdakisUniversity of Athens
18:20 - 19:00
ECOOP Test of Time Award (time band 1)ECOOP Keynotes at Keynote 2
Chair(s): Wolfgang De MeuterVrije 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
19:00 - 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
DOI
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
DOI
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
DOI
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
DOI
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
DOI
19:40
20m
Talk
Enabling Additional Parallelism in Asynchronous JavaScript Applications
ECOOP Technical Papers
Ellen ArtecaNortheastern University, Frank TipNortheastern University, Max SchaeferGitHub, Inc.
DOI
20:00 - 20:55
Keynote - Dahl-Nygaard Junior Prize (time band 1)ECOOP Keynotes at Keynote
Chair(s): Davide AnconaDIBRIS, 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 AliUniversity 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 MeziniTU Darmstadt, Germany, Jan VitekNortheastern University / Czech Technical University

Conference Day
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 RyuKAIST, Yannis SmaragdakisUniversity of Athens
01:10 - 02:30
Potpourri (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Lingming ZhangUniversity of Illinois at Urbana-Champaign
01:10
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
DOI
01:30
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
DOI
01:50
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
DOI
02:10
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
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 MeuterVrije 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
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 ZhangPeking University, China
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 FrancalanzaUniversity of Malta, Alceste ScalasTechnical University of Denmark
DOI
09:50
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
DOI Pre-print
10:10
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
DOI
10:30
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
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 WrigstadUppsala 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 AliUniversity 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 MeziniTU Darmstadt, Germany, Jan VitekNortheastern University / Czech Technical University