ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 6 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
PAW Welcome and KeynotePAW at Pine
09:00
90m
Keynote
Andreas Rossberg: WebAssembly 2.0 and Beyond
PAW
K: Andreas Rossberg Dfinity Stiftung
10:30 - 11:00
10:30
30m
Coffee break
Coffee break
Catering

11:00 - 12:30
Session 1PAW at Pine
11:00
30m
Talk
MEWE: Multi-variant Execution for WebAssembly
PAW
Javier Cabrera Arteaga KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH
11:30
30m
Talk
Dynamic Analysis for WebAssembly with Wasabi
PAW
Daniel Lehmann University of Stuttgart, Michael Pradel University of Stuttgart
12:00
30m
Talk
A Type System with Subtyping for WebAssembly's Stack Polymorphism
PAW
Yasuaki Morita Reykjavik University, Dylan McDermott Reykjavik University, Tarmo Uustalu Reykjavik University
11:00 - 12:30
Morning sessionVORTEX at Stockholm
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
11:00
5m
Day opening
Opening
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta
11:05
40m
Keynote
Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk)
VORTEX
I: Nobuko Yoshida Imperial College London
11:45
20m
Talk
Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk)
VORTEX
S: Gaurav Gupta , Saumya Shankar , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar
12:05
20m
Talk
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System (online talk)
VORTEX
S: Rahul Bharadwaj Pendyala , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Abhinandan Panda
12:30 - 13:30
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
Student TalkScala at Aurora Borealis 1
13:30
30m
Talk
Explicit Nulls with Unsafe Nulls (Student Talk)
Scala
Yaoyu Zhao University of Waterloo, Ondřej Lhoták University of Waterloo
File Attached
13:30 - 15:00
Session 2PAW at Pine
13:30
30m
Talk
Wimpl: A Simple IR for Static Analysis of WebAssembly Binaries
PAW
Michelle Thalakottur Northeastern University, Daniel Lehmann University of Stuttgart, Frank Tip Northeastern University, Michael Pradel University of Stuttgart
14:00
30m
Talk
A Modular Static Analysis Platform for WebAssembly
PAW
Sebastian Erdweg JGU Mainz, Katharina Brandl JGU Mainz, Sven Keidel TU Darmstadt, Germany
14:30
30m
Talk
Building Static Analyses for WebAssembly Binaries with Wassail
PAW
Quentin Stiévenart Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
13:30 - 15:00
First afternoon sessionVORTEX at Stockholm
Chair(s): Gary T. Leavens University of Central Florida
13:30
40m
Keynote
Hardware-assisted Runtime Monitoring
VORTEX
I: Volker Stolz Høgskulen på Vestlandet
Link to publication
14:10
20m
Talk
Predictive Semantics for Past-CTL Runtime Monitors
VORTEX
S: Giorgio Audrito Università di Torino, Volker Stolz Høgskulen på Vestlandet, Gianluca Torta
14:30
20m
Talk
HIBOU : Tooling Offline Runtime Verification against Interaction Models
VORTEX
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 17:00
Session 3PAW at Pine
15:30
30m
Talk
SecWasm: Information Flow Control for WebAssembly
PAW
Iulia Bastys Chalmers University of Technology, Maximilian Algehed Chalmers University of Technology, Sweden, Alexander Sjösten TU Wien, Andrei Sabelfeld Chalmers University of Technology
16:00
30m
Talk
Static Execution Costs of WebAssembly Functions
PAW
John Shortt Carleton University, Anil Somayaji Carleton University, Amy Felty University of Ottawa
16:30
30m
Day closing
Open Discussion on Program Analyses for WebAssembly
PAW

15:30 - 17:00
Second afternoon sessionVORTEX at Stockholm
Chair(s): Volker Stolz Høgskulen på Vestlandet
15:30
40m
Keynote
To Monitorability and Beyond (online talk)
VORTEX
I: Antonis Achilleos Reykjavik University
16:10
20m
Talk
Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
VORTEX
Amirfarhad Nilizadeh University of Central Florida, S: Gary T. Leavens University of Central Florida
16:30
20m
Talk
Runtime monitoring of Java duplicate memory allocations (online talk)
VORTEX
16:50
5m
Day closing
Closing
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta

Tue 7 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Shared Session Truffle & ICOOOLPSTruffle at Aurora Borealis 1
09:00
60m
Talk
Cinder: We didn't start the fire
Truffle
Maxwell Bernstein Northeastern University
Media Attached
10:00
30m
Talk
HPy: How To Design a C API For Optimizing Runtimes
Truffle
Tim Felgentreff Oracle Labs, Potsdam
Media Attached File Attached
09:00 - 10:30
Session 1PRIDE at Copenhagen 1
Chair(s): Linghui Luo Amazon Web Services
09:15
15m
Talk
Welcome by the Organizers
PRIDE

09:30
25m
Talk
A GitLab IDE Integration Based on MagpieBridge
PRIDE
Julian Thome GitLab Inc.
File Attached
09:55
35m
Talk
GobPie: An IDE Integration for Goblint Using MagpieBridge
PRIDE
Karoliine Holter University of Tartu, Estonia, Sarah Tilscher
File Attached
09:00 - 10:30
COP 2022 ACOP at Copenhagen 2
Chair(s): Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany, Yudai Tanabe Tokyo Institute of Technology
09:00
15m
Meeting
Welcome to COP 22
COP

09:15
30m
Paper
Layer Activation Mechanism for Asynchronous Executions in JavaScript
COP
Hiroaki Fukuda Shibaura Institute of Technology, Paul Leger Universidad Católica del Norte, Chile, Nicolás Cardozo Universidad de los Andes
File Attached
09:45
30m
Paper
Explicit Tool Support for Implicit Layer Activation
COP
Markus Brand Hasso Plattner Institute (HPI), University of Potsdam, Germany, Stefan Ramson Hasso Plattner Institute, Germany, Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany, Robert Hirschfeld HPI, University of Potsdam
File Attached
10:15
15m
Other
Discussion
COP

09:00 - 10:30
Shared Session Truffle & ICOOOLPSICOOOLPS at Elk
Chair(s): Raphaël Monat Sorbonne Université — LIP6

Shared Session with Truffle Workshop, Room Aurora Borealis 1

09:00
60m
Talk
Cinder: We didn't start the fire
ICOOOLPS
Maxwell Bernstein Northeastern University
10:00
30m
Talk
HPy: How To Design a C API For Optimizing Runtimes
ICOOOLPS
Tim Felgentreff Oracle Labs, Potsdam
09:00 - 10:30
Opening SessionPLF at Pine
09:00
60m
Talk
The path to local-first software.
PLF
10:00
30m
Talk
A Programming Language Perspective on Replication
PLF
Jim Bauwens Vrije Universiteit Brussel, Kevin De Porre Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
09:00 - 10:30
Welcome and Elavator PitchesDoctoral Symposium at Rein Deer
09:00
15m
Meeting
Elevator Pitches
Doctoral Symposium
Pietro Barbieri Università di Genova, Jens Van der Plas Software Languages Lab, Vrije Universiteit Brussel, Bernardo Almeida LASIGE, Faculty of Sciences, University of Lisbon, Albert Zak UAS Technikum Wien, Manuel Carrasco Imperial College London
09:15
30m
Talk
How to get your Ph.D. DONE!
Doctoral Symposium
Eric Jul University of Oslo
09:45
45m
Talk
Context-free Session Types: Theory and Practice
Doctoral Symposium
Bernardo Almeida LASIGE, Faculty of Sciences, University of Lisbon
09:00 - 10:30
FTfJP 2022 AFTfJP at Stockholm 2
Chair(s): Gary T. Leavens University of Central Florida
09:00
30m
Meeting
Welcome to FTfJP 22
FTfJP

09:30
30m
Paper
Rusty Links in Local Chains
FTfJP
A: James Noble Creative Research & Programming, A: Julian Mackay Victoria University of Wellington, A: Tobias Wrigstad Uppsala University
File Attached
10:00
30m
Paper
Using Functional Reactive Programming to Define Safe Actor Systems
FTfJP
A: Nick Webster Victoria University of Wellington , A: Marco Servetto Victoria University Wellington, New Zealand, A: Michael Homer Victoria University of Wellington
File Attached
10:30 - 11:00
10:30
30m
Coffee break
Coffee break
Catering

11:00 - 12:30
COP 2022 BCOP at Copenhagen 2
11:00
30m
Paper
Modeling flexible Monitoring Systems with a Role-Based Control Loop
COP
Ilja Shmelkin Technische Universität Dresden, Germany, Lars Schütze Technische Universität Dresden, Tim Kluge TU Dresden, Germany
File Attached
11:30
30m
Paper
Guard the Cache: Dispatch Optimization in a Contextual Role-oriented Language
COP
Lars Schütze Technische Universität Dresden, Cornelius Kummer Technische Universität Dresden, Jeronimo Castrillon TU Dresden, Germany
File Attached
12:00
30m
Talk
A Meta-Model for Distributed Role-Based Systems based on the Actor Model of Computation
COP
Tim Kluge TU Dresden, Germany, Daniel Matusek TU Dresden, Ilja Shmelkin Technische Universität Dresden, Germany, Thomas Springer
File Attached
11:00 - 12:30
ICOOOLPS TalksICOOOLPS at Elk
Chair(s): Saam Barati Apple
11:00
30m
Short-paper
Belief Programming with Map Family Decision Diagrams
ICOOOLPS
Silvio Fossati University of Geneva, Aurélien Coet University of Geneva, Switzerland, Dimi Racordon University of Geneva, Switzerland
File Attached
11:30
30m
Talk
Compile the Gedackt! Experiments with a Methodology for Dynamic Compilation of Modular Embedded Domain-Specific Languages
ICOOOLPS
Baltasar Trancón y Widemann Nordakademie, Markus Lepper semantics GmbH
File Attached
12:00
30m
Short-paper
Taming an Interpreter for Threaded Code Generation with a Tracing JIT Compiler
ICOOOLPS
Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
File Attached
11:00 - 12:30
Research Presentations 1Doctoral Symposium at Rein Deer
11:00
45m
Talk
Enhancing regular corecursion
Doctoral Symposium
Pietro Barbieri Università di Genova
11:45
45m
Talk
Incremental Static Program Analysis through Computational Dependency Reification
Doctoral Symposium
Jens Van der Plas Software Languages Lab, Vrije Universiteit Brussel
11:00 - 12:30
ApplicationsTruffle at Stockholm 1
11:00
30m
Short-paper
Efficient Object Graph Recording with Truffle for Live Data-Structure Programming
Truffle
Shusuke Takahashi Tokyo Institute of Technology, Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology
Media Attached
11:30
30m
Talk
Designing an intuitive language-agnostic integration of foreign objects in Ruby
Truffle
Benoit Daloze Oracle Labs
Pre-print Media Attached
12:00
30m
Talk
Embedding Truffle Languages
Truffle
Kevin Menard Shopify
Media Attached
11:00 - 12:30
FTfJP 2022 BFTfJP at Stockholm 2
Chair(s): Alexander J. Summers University of British Columbia
11:00
30m
Paper
Automated Reasoning Repair
FTfJP
A: Amirfarhad Nilizadeh University of Central Florida, A: Gary T. Leavens University of Central Florida, A: David Cok Safer Software Consulting, LLC
File Attached
11:30
30m
Paper
On the need for a common API for abstract domains of object-oriented programs
FTfJP
A: Gianluca Amato University of Chieti-Pescara, A: Maria Chiara Meo University “G. d’Annunzio” of Chieti-Pescara, A: Francesca Scozzari University of Chieti-Pescara
File Attached
12:00
30m
Paper
A Graph-Based Formal Semantics of Reactive Programming from First Principles
FTfJP
A: Bjarno Oeyen Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel
Pre-print Media Attached File Attached
12:30 - 13:30
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
Shared Session Truffle & ICOOOLPSTruffle at Aurora Borealis 1
13:30
30m
Full-paper
Memory Consumption of Objects in C++
Truffle
Bence Babati Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
Media Attached
14:00
60m
Industry talk
A design overview of JavaScriptCore's DFG IR
Truffle
Media Attached
13:30 - 15:00
Session 3PRIDE at Copenhagen 1
Chair(s): Julian Dolby IBM Research, USA
14:00
25m
Talk
Source-Level Dataflow-Based Fixes: Experiences From Using Intraj and Magpiebridge
PRIDE
Idriss Riouak Department of Computer Science, Lund University, Sweden
File Attached
14:25
25m
Talk
Property Probes: Source Code Based Exploration of Program Analysis Results
PRIDE
Anton Risberg Alaküla Department of Computer Science, Lund University, Sweden
File Attached
13:30 - 15:00
COP 2022 CCOP at Copenhagen 2
13:30
30m
Paper
Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study
COP
Pierre Martou UCLouvain / ICTEAM, Kim Mens Université Catholique de Louvain, Belgium, Benoît Duhoux Université catholique de Louvain, Belgium, Axel Legay Université Catholique de Louvain, Belgium
File Attached
14:00
30m
Paper
A Step toward Programming with Versions in Real-World Functional Languages
COP
Yudai Tanabe Tokyo Institute of Technology, Luthfan Anshar Lubis Tokyo Institute of Technology, Tomoyuki Aotani Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
File Attached
14:30
30m
Meeting
Open Discussion and Closing
COP

13:30 - 15:00
Shared Session Truffle & ICOOOLPSICOOOLPS at Elk
Chair(s): Fabio Niephaus Oracle Labs, Potsdam

Shared Session with Truffle Workshop, Room Aurora Borealis 1

13:30
30m
Paper
Memory Consumption of Objects in C++
ICOOOLPS
Bence Babati Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
File Attached
14:00
60m
Industry talk
A design overview of JavaScriptCore's DFG IR
ICOOOLPS
13:30 - 15:00
Research Presentations 2Doctoral Symposium at Rein Deer
13:30
45m
Talk
Interactive Programming as an "Operating System" for Resilience in Distributed Systems
Doctoral Symposium
Albert Zak UAS Technikum Wien
14:15
45m
Talk
Portability Issues in C Programs
Doctoral Symposium
Manuel Carrasco Imperial College London
13:30 - 15:00
FTfJP 2022 CFTfJP at Stockholm 2
Chair(s): Henrique Rebelo Universidade Federal de Pernambuco
13:30
30m
Lunch
Extended Lunch
FTfJP

14:00
60m
Keynote
Challenges in the field-sensitive analysis of LLVM IR
FTfJP
Eric Bodden University of Paderborn; Fraunhofer IEM
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 17:00
Panel SessionPLF at Pine
15:30
90m
Panel
Programming Local-first Software: Where we are and where we go
PLF
Mira Mezini TU Darmstadt, Kevin Jahns Y CRDT Project, Adam Wiggins Ink & Switch
15:30 - 17:00
FTfJP 2022 DFTfJP at Stockholm 2
Chair(s): Henrique Rebelo Universidade Federal de Pernambuco
15:30
30m
Talk
Documentation and Educational Materials for a 2nd edition of the Java Modeling Language
FTfJP
A: David Cok Safer Software Consulting, LLC
File Attached
16:00
30m
Paper
Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects
FTfJP
A: Nikolai Kudasov Innopolis University, Russia, A: Violetta Sim Innopolis University
Link to publication DOI Pre-print File Attached
16:30
30m
Meeting
Discussion and Wrap-Up
FTfJP

Wed 8 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
09:00
30m
Day opening
Opening
Keynotes
Mira Mezini TU Darmstadt, Ben Hermann Technical University Dortmund, Jan Vitek Northeastern University; Czech Technical University, Karim Ali University of Alberta
09:30
60m
Keynote
AITO Test of Time Award: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002
Keynotes
A: Yoonsik Cheon , K: Gary T. Leavens University of Central Florida
Link to publication
10:30 - 11:00
10:30
30m
Coffee break
Coffee break
Catering

11:00 - 12:30
Program Analysis 1Expert Discussion / Hub Talks / Research Papers at Aurora Borealis 1
Chair(s): Karim Ali University of Alberta
11:00
30m
Panel
Software verification/program analysisExpert Discussion
Expert Discussion
P: Omer Tripp Amazon, P: Sebastian Erdweg JGU Mainz
11:30
20m
Talk
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program AnalysisHub Talk
Hub Talks
Marco Campion University of Verona, Mila Dalla Preda University of Verona, Roberto Giacobazzi University of Verona
Link to publication DOI
11:50
20m
Talk
Concolic Execution for WebAssemblyArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalECOOP 2022
Research Papers
Filipe Marques INESC-ID / Instituto Superior Tecnico, University of Lisbon, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Nuno Santos INESC-ID / Instituto Superior Tecnico, University of Lisbon, Pedro Adão IST-ULisboa and Instituto de Telecomunicações
12:10
20m
Talk
Static Analysis for AWS Best Practices in Python CodeVCOOP 2022ECOOP 2022
Research Papers
Rajdeep Mukherjee Amazon Web Services, Omer Tripp Amazon, Ben Liblit Amazon, Michael Wilson Amazon Web Services
DOI
12:30 - 13:30
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
Verification and CompilationResearch Papers / Hub Talks at Aurora Borealis 1
Chair(s): Alexander J. Summers University of British Columbia
13:30
20m
Talk
A Compiler for Sound Floating-Point ComputationsHub Talk
Hub Talks
Joao Rivera ETH Zurich, Franz Franchetti Carnegie Mellon University, USA, Markus Püschel ETH Zurich
Link to publication DOI
13:50
20m
Talk
Verified Compilation and Optimization of Floating-Point Programs in CakeMLArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Heiko Becker MPI-SWS, Robert Rabe TU Munich, Eva Darulova Uppsala University, Magnus O. Myreen Chalmers University of Technology, Zachary Tatlock University of Washington, Ramana Kumar DeepMind, Yong Kiam Tan Carnegie Mellon University, Anthony C. J. Fox Arm Limited
14:10
20m
Talk
REST: Integrating Term Rewriting with Program VerificationArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Zachary Grannan University of British Columbia, Eva Darulova Uppsala University, Alexander J. Summers University of British Columbia, Niki Vazou IMDEA Software Institute
14:30
20m
Talk
Defining Corecursive Functions in Coq Using ApproximationsVCOOP 2022ECOOP 2022
Research Papers
Vlad Rusu Inria, Lille, France, David Nowak CRIStAL, CNRS & University of Lille
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 17:00
Language DesignResearch Papers / Expert Discussion at Aurora Borealis 1
Chair(s): Simon Fowler University of Glasgow
15:30
30m
Panel
Programming languages and semanticsExpert Discussion
Expert Discussion
P: Alexander J. Summers University of British Columbia, P: Gorel Hedin Lund University, A: Guido Salvaneschi University of St. Gallen
16:00
20m
Talk
Prisma: A tierless language for enforcing contract-client protocols in decentralized appsArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
David Richter Technical University of Darmstadt, David Kretzler Technical University of Darmstadt, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen, Sebastian Faust Technical University of Darmstadt, Mira Mezini TU Darmstadt
Pre-print Media Attached
16:20
20m
Talk
JavaScript Sealed ClassesArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalECOOP 2022
Research Papers
16:40
20m
Talk
Functional programming for distributed systems with XCDistinguished Artifact AwardArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Giorgio Audrito Università di Torino, Roberto Casadei University of Bologna, Italy, Ferruccio Damiani University of Turin, Guido Salvaneschi University of St. Gallen, Mirko Viroli Alma Mater Studiorum - Università di Bologna
Pre-print
18:00 - 22:00
18:00
4h
Dinner
Banquet at Clärchen's Ballhaus
Catering

Thu 9 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
09:00
15m
Awards
Dahl-Nygaard Prize Ceremony
Keynotes
Eric Jul University of Oslo, Görel Hedin Lund University
09:15
75m
Keynote
Dahl-Nygaard Senior Prize: Dan Ingalls - A Fireside Chat
Keynotes
K: Daniel Ingalls Independent Consultant
Media Attached
10:30 - 11:00
10:30
30m
Coffee break
Coffee break
Catering

11:00 - 12:30
Session Types 1Research Papers / Expert Discussion at Aurora Borealis 1
Chair(s): Dominic Orchard University of Kent, UK
11:00
30m
Panel
Concurrent and distributed programmingExpert Discussion
Expert Discussion
P: Annette Bieniusa Technische Universität Kaiserslautern, P: Andrew K. Hirsch MPI-SWS
11:30
20m
Talk
Ferrite: A Judgmental Embedding of Session Types in RustArtifacts Evaluated - ReusableDistinguished Paper AwardArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Ruo Fei Chen Independent Researcher, Stephanie Balzer Carnegie Mellon University, Bernardo Toninho Nova University of Lisbon / NOVA-LINCS
Pre-print
11:50
20m
Talk
API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)Artifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Guillermina Cledou HASLab, INESC TEC; University of Minho, Luc Edixhoven Open University of the Netherlands; CWI, Sung-Shik Jongmans Open University of the Netherlands; CWI, José Proença ISEP P.PORTO & INESC TEC
12:30 - 13:30
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
Language ImplementationHub Talks / Research Papers at Aurora Borealis 1
Chair(s): Guido Salvaneschi University of St. Gallen
13:30
20m
Talk
Benchmarking, analysis, and optimization of serverless function snapshotsHub Talk
Hub Talks
Dmitrii Ustiugov ETH Zurich, Switzerland, Plamen Petrov , Marios Kogias Microsoft Research, Edouard Bugnion EPFL, Boris Grot University of Edinburgh, UK
Link to publication DOI
13:50
20m
Talk
Synchron - An API and Runtime for Embedded SystemsECOOP 2022
Research Papers
Abhiroop Sarkar Chalmers University of Technology, Bo Joel Svensson Chalmers University of Technology, Sweden, Mary Sheeran Chalmers
Pre-print
14:10
20m
Talk
Functional Programming with DatalogECOOP 2022
Research Papers
André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
14:30
20m
Talk
Union Types with Disjoint SwitchesArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Baber Rehman The University of Hong Kong, Xuejing Huang The University of Hong Kong, Ningning Xie University of Toronto, Bruno C. d. S. Oliveira University of Hong Kong
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 17:00
Session Types 2Research Papers at Aurora Borealis 1
Chair(s): Vasco T. Vasconcelos LASIGE, Faculty of Sciences, University of Lisbon
15:30
20m
Talk
A Self-Dual Distillation of Session Types (Pearl)Artifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Jules Jacobs Radboud University Nijmegen
Pre-print
15:50
20m
Talk
Stay Safe under Panic: Affine Rust Programming with Multiparty Session TypesArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Nicolas Lagaillardie Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London
16:10
20m
Talk
Fair Termination of Multiparty SessionsDistinguished Paper AwardECOOP 2022
Research Papers
Luca Ciccone University of Turin, Francesco Dagnino DIBRIS, University of Genova, Italy, Luca Padovani University of Turin
16:30
20m
Talk
Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programmingArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalECOOP 2022
Research Papers
Lorenzo Gheri Imperial College London, Ivan Lanese University of Bologna/INRIA, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy, Nobuko Yoshida Imperial College London, Neil Anthony Sayers Imperial College London

Fri 10 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
09:00
30m
Awards
Awards, Outlooks, and Farewells
Keynotes
Mira Mezini TU Darmstadt, Ben Hermann Technical University Dortmund, Karim Ali University of Alberta, Jan Vitek Northeastern University; Czech Technical University, Stefan Winter LMU Munich, Alessandra Gorla IMDEA Software Institute, Guido Salvaneschi University of St. Gallen
09:30
60m
Talk
Dahl-Nygaard Junior Prize: Magnus Madsen - An Introduction to the Flix Programming Language
Keynotes
K: Magnus Madsen Aarhus University
File Attached
10:30 - 11:00
10:30
30m
Coffee break
Coffee break
Catering

11:00 - 12:30
TypesResearch Papers / Hub Talks / Expert Discussion at Aurora Borealis 1
Chair(s): Niki Vazou IMDEA Software Institute
11:00
30m
Panel
Type systemsExpert Discussion
Expert Discussion
P: Niki Vazou IMDEA Software Institute, P: Peter Thiemann University of Freiburg, Germany
11:30
20m
Talk
How to Take the Inverse of a TypeDistinguished Artifact AwardArtifacts Evaluated - ReusableDistinguished Paper AwardArtifacts Evaluated - FunctionalECOOP 2022
Research Papers
Daniel Marshall University of Kent, UK, Dominic Orchard University of Kent, UK
Pre-print
11:50
20m
Talk
Union and intersection contracts are hard, actuallyHub Talk
Hub Talks
Teodoro Freund University of Buenos Aires, Yann Hamdaoui Tweag, Arnaud Spiwack Tweag
Link to publication DOI
12:10
20m
Talk
Global Type Inference for Featherweight Generic JavaArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Andreas Stadelmeier DHBW Stuttgart, Campus Horb, Germany, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany, Peter Thiemann University of Freiburg, Germany
12:30 - 13:30
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
Program Analysis 2Research Papers / Hub Talks at Aurora Borealis 1
Chair(s): Quentin Stiévenart Vrije Universiteit Brussel
13:30
20m
Talk
Low-Level Bi-AbductionArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalECOOP 2022
Research Papers
Lukáš Holík Brno University of Technology, Petr Peringer Brno University of Technology, Adam Rogalewicz Brno University of Technology, Faculty of Information Technology, Veronika Šoková Brno University of Technology, Tomáš Vojnar Brno University of Technology, Florian Zuleger TU Vienna
13:50
20m
Talk
On the computation of interprocedural weak control closureHub Talk
Hub Talks
Abu Naser Masud Malardalen University
Link to publication DOI
14:10
20m
Talk
Slicing of Probabilistic Programs based on SpecificationsECOOP 2022
Research Papers
Federico Olmedo University of Chile & IMFD Chile
Pre-print
14:30
20m
Talk
A Deterministic Memory Allocator for Dynamic Symbolic ExecutionArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Daniel Schemmel Imperial College London, Julian Büning RWTH Aachen University, Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London, UK
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 16:10
PotpourriHub Talks / Research Papers at Aurora Borealis 1
Chair(s): Ben Hermann Technical University Dortmund
15:30
20m
Talk
Hinted Dictionaries: Efficient Functional Ordered Sets and MapsECOOP 2022
Research Papers
Amir Shaikhha University of Edinburgh, Hesam Shahrokhi University of Edinburgh, Mahdi Ghorbani University of Edinburgh
15:50
20m
Talk
What we eval in the shadows: a large-scale study of eval in R programsHub Talk
Hub Talks
Aviral Goel Northeastern University, Pierre Donat-Bouillud Czech Technical University, Filip Křikava Czech Technical University, Christoph Kirsch University of Salzburg; Czech Technical University, Jan Vitek Northeastern University; Czech Technical University
Link to publication DOI
16:10 - 17:00
Ice Cream SocialCatering at Aurora Borealis 1

Thu 16 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
VCOOP 1Research Papers at Zoom
Chair(s): Tijs van der Storm CWI; University of Groningen
15:00
30m
Talk
PEDroid: Automatically Extracting Patches from Android App UpdatesArtifacts Evaluated - FunctionalVCOOP 2022
Research Papers
Hehao Li Shanghai Jiao Tong University, Yizhuo Wang Shanghai Jiao Tong University, Yiwei Zhang Shanghai Jiao Tong University, Juanru Li Shanghai Jiao Tong University, Dawu Gu Shanghai Jiao Tong University
15:30
30m
Talk
Ferrite: A Judgmental Embedding of Session Types in RustArtifacts Evaluated - ReusableDistinguished Paper AwardArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Ruo Fei Chen Independent Researcher, Stephanie Balzer Carnegie Mellon University, Bernardo Toninho Nova University of Lisbon / NOVA-LINCS
Pre-print
16:00
30m
Talk
Automatic Root Cause Quantification for Missing Edges in JavaScript Call GraphsArtifacts Evaluated - FunctionalVCOOP 2022
Research Papers
Madhurima Chakraborty University of California, Riverside, Renzo Olivares University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia
Pre-print
16:45 - 18:15
VCOOP 2Research Papers at Zoom
Chair(s): Sophia Drossopoulou Facebook and Imperial College London
16:45
30m
Talk
Direct Foundations for Compositional ProgrammingArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
Research Papers
Andong Fan Zhejiang University, Xuejing Huang The University of Hong Kong, Han Xu Peking University, Yaozhu Sun University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong
Pre-print Media Attached
17:15
30m
Talk
Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web ApplicationsVCOOP 2022
Research Papers
François Gauthier Oracle Labs, Behnaz Hassanshahi Oracle Labs, Australia, Benjamin Selwyn-Smith Oracle Labs, Trong Nhan Mai Oracle Labs, Max Schlüter Oracle Labs, Micah Williams Oracle
17:45
30m
Talk
A Self-Dual Distillation of Session Types (Pearl)Artifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Jules Jacobs Radboud University Nijmegen
Pre-print
18:30 - 19:00
VCOOP 3Research Papers at Zoom
Chair(s): Philipp Haller KTH
18:30
30m
Keynote
Are Programming Languages the Key to Distributed Systems?VCOOP 2022Keynote
Research Papers
K: Guido Salvaneschi University of St. Gallen
File Attached

Thu 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
VCOOP 4Research Papers at Zoom
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
15:00
30m
Talk
Accumulation AnalysisDistinguished Artifact AwardArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
Research Papers
Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington
15:30
30m
Talk
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer AnalysisArtifacts Evaluated - FunctionalVCOOP 2022
Research Papers
Dongjie He UNSW Sydney, Jingbo Lu UNSW Sydney, Jingling Xue UNSW Sydney
16:00
30m
Talk
Functional programming for distributed systems with XCDistinguished Artifact AwardArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Giorgio Audrito Università di Torino, Roberto Casadei University of Bologna, Italy, Ferruccio Damiani University of Turin, Guido Salvaneschi University of St. Gallen, Mirko Viroli Alma Mater Studiorum - Università di Bologna
Pre-print
16:45 - 18:15
VCOOP 5Research Papers at Zoom
Chair(s): Philipp Haller KTH
16:45
30m
Talk
Vincent: Green Hot Methods in the JVMVCOOP 2022
Research Papers
Kenan Liu SUNY Binghamton, Khaled Mahmoud SUNY Binghamton, USA, Joonhwan Yoo SUNY Binghamton, Yu David Liu SUNY Binghamton
Pre-print
17:15
30m
Talk
Verified Compilation and Optimization of Floating-Point Programs in CakeMLArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Heiko Becker MPI-SWS, Robert Rabe TU Munich, Eva Darulova Uppsala University, Magnus O. Myreen Chalmers University of Technology, Zachary Tatlock University of Washington, Ramana Kumar DeepMind, Yong Kiam Tan Carnegie Mellon University, Anthony C. J. Fox Arm Limited
17:45
30m
Talk
Compiling Volatile Correctly in JavaArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
Research Papers
Shuyang Liu UCLA, John Bender Sandia National Laboratories, Jens Palsberg University of California at Los Angeles
18:30 - 19:00
VCOOP 6Research Papers at Zoom
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
18:30
30m
Talk
Union Types with Disjoint SwitchesArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Baber Rehman The University of Hong Kong, Xuejing Huang The University of Hong Kong, Ningning Xie University of Toronto, Bruno C. d. S. Oliveira University of Hong Kong

Thu 30 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
VCOOP 7Research Papers at Zoom
Chair(s): Philipp Haller KTH
15:00
30m
Talk
What If We Don’t Pop the Stack? The Return of Second-Class ValuesArtifacts Evaluated - FunctionalVCOOP 2022
Research Papers
Anxhelo Xhebraj Purdue University, Oliver Bračevac Purdue University, Guannan Wei Purdue University, Tiark Rompf Purdue University
Link to publication DOI
15:30
30m
Talk
NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20VCOOP 2022
Research Papers
Andrew Lumsdaine TileDB, Inc., University of Washington, Pacific Northwest National Laboratory, Luke Dalessandro Indiana University, Jesun Sahariar Firoz Pacific Northwest National Lab, Xu Liu University of Washington, Phil Ratzloff SAS, Scott McMillan Carnegie Mellon University, Marcin Zalewski, Kevin Deweese Cadence
16:00
30m
Talk
Prisma: A tierless language for enforcing contract-client protocols in decentralized appsArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
David Richter Technical University of Darmstadt, David Kretzler Technical University of Darmstadt, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen, Sebastian Faust Technical University of Darmstadt, Mira Mezini TU Darmstadt
Pre-print Media Attached
16:45 - 18:15
VCOOP 8Research Papers at Zoom
Chair(s): Tijs van der Storm CWI; University of Groningen
16:45
30m
Talk
Maniposynth: Bimodal Tangible Functional ProgrammingArtifacts Evaluated - FunctionalVCOOP 2022
Research Papers
Brian Hempel University of Chicago, Ravi Chugh University of Chicago
Pre-print Media Attached
17:15
30m
Talk
Elementary Type InferenceArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022
Research Papers
Jinxu Zhao University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong
17:45
30m
Talk
Defining Corecursive Functions in Coq Using ApproximationsVCOOP 2022ECOOP 2022
Research Papers
Vlad Rusu Inria, Lille, France, David Nowak CRIStAL, CNRS & University of Lille
18:30 - 19:00
VCOOP 9Research Papers at Zoom
Chair(s): Tijs van der Storm CWI; University of Groningen
18:30
30m
Keynote
From AI for Code to AI for CodingVCOOP 2022Keynote
Research Papers

Thu 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:30
VCOOP 10Research Papers at Zoom
Chair(s): Philipp Haller KTH
15:00
30m
Talk
API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)Artifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Guillermina Cledou HASLab, INESC TEC; University of Minho, Luc Edixhoven Open University of the Netherlands; CWI, Sung-Shik Jongmans Open University of the Netherlands; CWI, José Proença ISEP P.PORTO & INESC TEC
15:30
30m
Talk
Global Type Inference for Featherweight Generic JavaArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Andreas Stadelmeier DHBW Stuttgart, Campus Horb, Germany, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany, Peter Thiemann University of Freiburg, Germany
16:00
30m
Talk
Stay Safe under Panic: Affine Rust Programming with Multiparty Session TypesArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Nicolas Lagaillardie Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London
16:45 - 18:15
VCOOP 11Research Papers at Zoom
Chair(s): Doug Lea State University of New York (SUNY) Oswego
16:45
30m
Talk
REST: Integrating Term Rewriting with Program VerificationArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Zachary Grannan University of British Columbia, Eva Darulova Uppsala University, Alexander J. Summers University of British Columbia, Niki Vazou IMDEA Software Institute
17:15
30m
Talk
Static Analysis for AWS Best Practices in Python CodeVCOOP 2022ECOOP 2022
Research Papers
Rajdeep Mukherjee Amazon Web Services, Omer Tripp Amazon, Ben Liblit Amazon, Michael Wilson Amazon Web Services
DOI
17:45
30m
Talk
A Deterministic Memory Allocator for Dynamic Symbolic ExecutionArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Research Papers
Daniel Schemmel Imperial College London, Julian Büning RWTH Aachen University, Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London, UK
18:30 - 19:00
VCOOP 12Research Papers at Zoom
Chair(s): Philipp Haller KTH
18:30
30m
Keynote
Hedy: Creating a gradual programming languageVCOOP 2022Keynote
Research Papers
K: Felienne Hermans Leiden University