ECOOP 2022 (series) /
ECOOP 2022 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 6 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 6 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mKeynote | TBA (Keynote) Scala Martin Odersky EPFL | ||
09:00 - 10:30 | |||
09:00 90mKeynote | PAW Keynote: Andreas Rossberg PAW | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Design Patterns for Parser Combinators in Scala Scala | ||
11:30 30mTalk | Enhancing Closures in Scala with Blocks Scala Philipp Haller KTH | ||
12:00 30mTalk | Type-Safe Regular Expressions Scala Olivier Blanvillain EPFL Pre-print | ||
11:00 - 12:30 | |||
11:00 22mTalk | 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:22 22mTalk | Dynamic Analysis for WebAssembly with Wasabi PAW | ||
11:45 22mTalk | A Type System with Subtyping for WebAssembly's Stack Polymorphism PAW Yasuaki MORITA Reykjavik University, Dylan McDermott Reykjavik University, Tarmo Uustalu Reykjavik University | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Explicit Nulls with Unsafe Nulls (Student Talk) Scala | ||
13:30 - 15:00 | |||
13:30 30mTalk | 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 30mTalk | A Modular Static Analysis Platform for WebAssembly PAW | ||
14:30 30mTalk | Building Static Analyses for WebAssembly Binaries with Wassail PAW | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | Static Execution Costs of WebAssembly Functions PAW | ||
16:30 30mDay closing | Open Discussion on Program Analyses for WebAssembly PAW | ||
Tue 7 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 7 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mTalk | Cinder: We didn't start the fire Truffle Maxwell Bernstein Meta | ||
10:00 30mTalk | HPy: How To Design a C API For Optimizing Runtimes Truffle Tim Felgentreff Oracle Labs, Potsdam | ||
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 30mMeeting | Welcome to COP 22 COP | ||
09:30 30mPaper | Explicit Tool Support for Implicit Layer Activation COP Stefan Ramson Hasso Plattner Institute, Germany, Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany, Markus Brand Hasso Plattner Institute (HPI), University of Potsdam, Germany, Robert Hirschfeld HPI, University of Potsdam | ||
10:00 30mPaper | 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 | ||
09:00 - 10:30 | |||
09:00 45mTalk | Cinder: We didn't start the fire ICOOOLPS Maxwell Bernstein Meta | ||
09:45 45mTalk | HPy: How To Design a C API For Optimizing Runtimes ICOOOLPS Tim Felgentreff Oracle Labs, Potsdam | ||
09:00 - 10:30 | |||
09:00 60mTalk | The path to local-first software. PLF Peter van Hardenberg Ink & Switch | ||
10:00 30mTalk | 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 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | |||
11:00 30mPaper | 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 | ||
11:30 30mPaper | 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 | ||
12:00 30mTalk | 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 | ||
11:00 - 12:30 | |||
11:00 30mShort-paper | Belief Programming with Map Family Decision Diagrams ICOOOLPS Silvio Fossati University of Geneva, Aurélien Coet University of Geneva, Switzerland, Dimitri Racordon University of Geneva, Switzerland | ||
11:30 30mTalk | Compile the Gedackt! Experiments with a Methodology for Dynamic Compilation of Modular Embedded Domain-Specific Languages ICOOOLPS File Attached | ||
12:00 30mShort-paper | Taming an Interpreter for Threaded Code Generation with a Tracing JIT Compiler ICOOOLPS | ||
11:00 - 12:30 | |||
11:00 30mTalk | A new open source framework for using the web stack to build offline/local-first, TCP/UDP enabled UIs on desktop and mobile PLF | ||
11:30 30mTalk | Local-first in commercial software: Muse PLF | ||
12:00 30mTalk | Resilient Self-Organized Neighborhoods PLF Steffen Haesler Technische Universität Darmstadt Link to publication DOI | ||
11:00 - 12:30 | |||
11:00 45mTalk | Enhancing regular corecursion Doctoral Symposium Pietro Barbieri Università di Genova | ||
11:45 45mTalk | Incremental Static Program Analysis through Computational Dependency Reification Doctoral Symposium Jens Van der Plas Software Languages Lab, Vrije Universiteit Brussel | ||
11:00 - 12:30 | |||
11:00 30mShort-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 | ||
11:30 30mTalk | Designing an intuitive language-agnostic integration of foreign objects in Ruby Truffle Benoit Daloze Oracle Labs | ||
12:00 30mTalk | Embedding Truffle Languages Truffle Kevin Menard Shopify | ||
12:30 - 13:30 | |||
12:30 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mFull-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 | ||
14:00 60mIndustry talk | A design overview of JavaScriptCore's DFG IR Truffle Saam Barati Apple | ||
13:30 - 15:00 | |||
13:30 30mPaper | 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 | ||
14:00 30mPaper | 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 | ||
14:30 30mMeeting | Open Discussion and Closing COP | ||
13:30 - 15:00 | |||
13:30 30mPaper | 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 | ||
14:00 60mIndustry talk | A design overview of JavaScriptCore's DFG IR ICOOOLPS Saam Barati Apple | ||
13:30 - 15:00 | |||
13:30 30mTalk | Encrypted Replicated Data Types within REScala PLF Christian Kuessner , Ragnar Mogk Technische Universität Darmstadt, Anna-Katharina Wickert TU Darmstadt, Germany, Mira Mezini TU Darmstadt Pre-print | ||
14:00 30mTalk | Local-first Webstrates PLF Clemens Nylandsted Klokmose Aarhus University | ||
14:30 30mTalk | Building data-centric apps with a reactive relational database PLF Link to publication | ||
13:30 - 15:00 | |||
13:30 45mTalk | Context-free Session Types: Theory and Practice Doctoral Symposium Bernardo Almeida LASIGE, Faculty of Sciences, University of Lisbon | ||
14:15 45mTalk | Mechanising the Linear π-Calculus Doctoral Symposium Uma Zalakain University of Glasgow | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 90mPanel | How programming languages might help shape the future of local-first PLF | ||
15:30 - 17:00 | |||
15:30 45mTalk | Interactive Programming as an "Operating System" for Resilience in Distributed Systems Doctoral Symposium Albert Zak UAS Technikum Wien | ||
16:15 45mTalk | Portability Issues in C Programs Doctoral Symposium Manuel Carrasco Imperial College London | ||
15:30 - 17:00 | |||
15:30 30mTalk | Polybench - A polyglot benchmark harness Truffle Boris Spasojevic University of Bern, Switzerland | ||
16:00 30mTalk | Operation DSL: How We Learned to Stop Worrying and Love Bytecodes again Truffle | ||
16:30 30mTalk | Truffle Interpreter Performance without the Holy Graal Truffle Stefan Marr University of Kent, Octave Larose University of Kent, Sophie Kaleba University of Kent, Chris Seaton Shopify | ||
Wed 8 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 8 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 30mDay 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 60mKeynote | AITO Test of Time Award: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002 Keynotes | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | |||
11:00 30mPanel | Software verification/program analysisExpert Discussion Expert Discussion | ||
11:30 20mTalk | 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 20mTalk | Concolic Execution for WebAssembly 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 20mTalk | Static Analysis for AWS Best Practices in Python CodeECOOP 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 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 20mTalk | A Compiler for Sound Floating-Point ComputationsHub Talk Hub Talks Link to publication DOI | ||
13:50 20mTalk | Verified Compilation and Optimization of Floating-Point Programs in CakeML 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 Fox Arm Limited | ||
14:10 20mTalk | REST: Integrating Term Rewriting with Program Verification 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 20mTalk | Defining Corecursive Functions in Coq Using ApproximationsECOOP 2022 Research Papers | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 30mPanel | Programming languages and semanticsExpert Discussion Expert Discussion | ||
16:00 20mTalk | Prisma: A tierless language for enforcing contract-client protocols in decentralized apps Research Papers David Richter Technische Universität 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 | ||
16:20 20mTalk | JavaScript Sealed ClassesECOOP 2022 Research Papers Manuel Serrano Inria | ||
16:40 20mTalk | Functional programming for distributed systems with XC 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 | ||
18:00 - 22:00 | |||
18:00 4hDinner | Banquet at Clärchen's Ballhaus Catering | ||
Thu 9 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 9 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 15mAwards | Dahl-Nygaard Prize Ceremony Keynotes | ||
09:15 75mKeynote | Dahl-Nygaard Senior Prize Keynotes | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | |||
11:00 30mPanel | Concurrent and distributed programmingExpert Discussion Expert Discussion | ||
11:30 20mTalk | Ferrite: A Judgmental Embedding of Session Types in Rust Research Papers Ruo Fei Chen Independent Researcher, Stephanie Balzer Carnegie Mellon University, Bernardo Toninho Nova University of Lisbon / NOVA-LINCS | ||
11:50 20mTalk | API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl) 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 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 20mTalk | 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 20mTalk | 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 20mTalk | Vincent: Green Hot Methods in the JVMECOOP 2022 Research Papers Kenan Liu SUNY Binghamton, Khaled Mahmoud SUNY Binghamton, USA, Joonhwan Yoo SUNY Binghamton, Yu David Liu SUNY Binghamton Pre-print | ||
14:30 20mTalk | Functional Programming with DatalogECOOP 2022 Research Papers | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 20mTalk | μGV: A Self-Dual Distillation of Session Types (Pearl) Research Papers Jules Jacobs Radboud University Nijmegen | ||
15:50 20mTalk | Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types Research Papers Nicolas Lagaillardie Imperial College London, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London | ||
16:10 20mTalk | Fair Termination of Multiparty SessionsECOOP 2022 Research Papers Luca Ciccone University of Turin, Francesco Dagnino DIBRIS, University of Genova, Italy, Luca Padovani University of Turin | ||
16:30 20mTalk | Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming 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 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 30mAwards | 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 60mTalk | Dahl-Nygaard Junior Prize Keynotes | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | |||
11:00 30mPanel | Type systemsExpert Discussion Expert Discussion | ||
11:30 20mTalk | How to Take the Inverse of a Type Research Papers | ||
11:50 20mTalk | Union and intersection contracts are hard, actuallyHub Talk Hub Talks Link to publication DOI | ||
12:10 20mTalk | Global Type Inference for Featherweight Generic Java 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 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 20mTalk | Low-Level Bi-Abduction 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 20mTalk | On the computation of interprocedural weak control closureHub Talk Hub Talks Abu Naser Masud Malardalen University Link to publication DOI | ||
14:10 20mTalk | Slicing of Probabilistic Programs based on SpecificationsECOOP 2022 Research Papers Federico Olmedo University of Chile & IMFD Chile Pre-print | ||
14:30 20mTalk | A Deterministic Memory Allocator for Dynamic Symbolic Execution 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 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 20mTalk | 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 20mTalk | 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 | ||