ECOOP 2022 (series) /
ECOOP 2022 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
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 | Tracking Captures in Types Scala Martin Odersky EPFL File Attached | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Andreas Rossberg: WebAssembly 2.0 and Beyond 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 File Attached | ||
12:00 30mTalk | Type-Safe Regular Expressions Scala Olivier Blanvillain EPFL Pre-print | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | Dynamic Analysis for WebAssembly with Wasabi PAW | ||
12:00 30mTalk | 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 | |||
11:00 5mDay opening | Opening VORTEX | ||
11:05 40mKeynote | Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk) VORTEX | ||
11:45 20mTalk | Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk) VORTEX | ||
12:05 20mTalk | 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 60mLunch | Lunch Catering | ||
13:30 - 15:00 | |||
13:30 30mTalk | Explicit Nulls with Unsafe Nulls (Student Talk) Scala File Attached | ||
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 | ||
13:30 - 15:00 | |||
13:30 40mKeynote | Hardware-assisted Runtime Monitoring VORTEX Link to publication | ||
14:10 20mTalk | Predictive Semantics for Past-CTL Runtime Monitors VORTEX | ||
14:30 20mTalk | HIBOU : Tooling Offline Runtime Verification against Interaction Models VORTEX S: Erwan Mahe , Boutheina Bannour , Christophe Gaston , Arnault Lapitre , Pascale Le Gall CentraleSupelec | ||
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 | ||
15:30 - 17:00 | |||
15:30 40mKeynote | To Monitorability and Beyond (online talk) VORTEX | ||
16:10 20mTalk | Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs VORTEX | ||
16:30 20mTalk | Runtime monitoring of Java duplicate memory allocations (online talk) VORTEX | ||
16:50 5mDay closing | Closing VORTEX | ||
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 Media Attached | ||
10:00 30mTalk | HPy: How To Design a C API For Optimizing Runtimes Truffle Tim Felgentreff Oracle Labs, Potsdam Media Attached File Attached | ||
09:00 - 10:30 | |||
09:15 15mTalk | Welcome by the Organizers PRIDE | ||
09:30 25mTalk | A GitLab IDE Integration Based on MagpieBridge PRIDE Julian Thome GitLab Inc. File Attached | ||
09:55 35mTalk | GobPie: An IDE Integration for Goblint Using MagpieBridge PRIDE 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 15mMeeting | Welcome to COP 22 COP | ||
09:15 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 File Attached | ||
09:45 30mPaper | 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 15mOther | 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 60mTalk | Cinder: We didn't start the fire ICOOOLPS Maxwell Bernstein Meta | ||
10:00 30mTalk | 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 | |||
09:00 15mMeeting | 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 30mTalk | How to get your Ph.D. DONE! Doctoral Symposium Eric Jul University of Oslo | ||
09:45 45mTalk | Context-free Session Types: Theory and Practice Doctoral Symposium Bernardo Almeida LASIGE, Faculty of Sciences, University of Lisbon | ||
09:00 - 10:30 | |||
09:00 30mMeeting | Welcome to FTfJP 22 FTfJP | ||
09:30 30mPaper | 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 30mPaper | 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 30mCoffee break | Coffee break Catering | ||
11:00 - 12:30 | |||
11:00 25mTalk | Secucheck: Building a Configurable Taint Analysis PRIDE Goran Piskachev Fraunhofer IEM File Attached | ||
11:25 25mTalk | Experience From Integrating Secucheck-Kotlin Into IDE PRIDE Ranjith Krishnamurthy Fraunhofer IEM File Attached | ||
11:00 - 12:30 | |||
11: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 | ||
11: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 File Attached | ||
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 File Attached | ||
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, Dimi Racordon University of Geneva, Switzerland File Attached | ||
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 File Attached | ||
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 | Shared state for local-first computing PLF Marc Shapiro LIP6 | ||
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 Media Attached | ||
11:30 30mTalk | Designing an intuitive language-agnostic integration of foreign objects in Ruby Truffle Benoit Daloze Oracle Labs Pre-print Media Attached | ||
12:00 30mTalk | Embedding Truffle Languages Truffle Kevin Menard Shopify Media Attached | ||
11:00 - 12:30 | |||
11:00 30mPaper | Automated Reasoning Repair FTfJP A: Amirfarhad Nilizadeh University of Central Florida, A: Gary Leavens University of Central Florida, A: David Cok Safer Software Consulting, LLC File Attached | ||
11:30 30mPaper | 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 30mPaper | 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 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 Media Attached | ||
14:00 60mIndustry talk | A design overview of JavaScriptCore's DFG IR Truffle Saam Barati Apple Media Attached | ||
13:30 - 15:00 | |||
14:00 25mTalk | 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 25mTalk | 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 | |||
13: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 File Attached | ||
14: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 File Attached | ||
14:30 30mMeeting | 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 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 File Attached | ||
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 | Interactive Programming as an "Operating System" for Resilience in Distributed Systems Doctoral Symposium Albert Zak UAS Technikum Wien | ||
14:15 45mTalk | Portability Issues in C Programs Doctoral Symposium Manuel Carrasco Imperial College London | ||
13:30 - 15:00 | |||
13:30 30mLunch | Extended Lunch FTfJP | ||
14:00 60mKeynote | Challenges in the field-sensitive analysis of LLVM IR FTfJP Eric Bodden University of Paderborn; Fraunhofer IEM | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
15:30 - 17:00 | |||
15:30 60mTalk | MagpieBridge Tutorial Given By the Organizers PRIDE File Attached | ||
15:30 - 17:00 | |||
15:30 90mPanel | Programming Local-first Software: Where we are and where we go PLF | ||
15:30 - 17:00 | |||
15:30 30mTalk | Polybench - A polyglot benchmark harness Truffle Boris Spasojevic University of Bern, Switzerland Media Attached | ||
16:00 30mTalk | Operation DSL: How We Learned to Stop Worrying and Love Bytecodes again Truffle Media Attached File Attached | ||
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 Media Attached | ||
15:30 - 17:00 | |||
15:30 30mTalk | Documentation and Educational Materials for a 2nd edition of the Java Modeling Language FTfJP File Attached | ||
16:00 30mPaper | Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects FTfJP File Attached | ||
16:30 30mMeeting | Discussion and Wrap-Up FTfJP | ||
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 Link to publication | ||
10:30 - 11:00 | |||
10:30 30mCoffee 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 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 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 60mLunch | Lunch Catering | ||
15:00 - 15:30 | |||
15:00 30mCoffee 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 30mPanel | 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 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 Classes 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 Pre-print | ||
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: Dan Ingalls - A Fireside Chat Keynotes Media Attached | ||
10:30 - 11:00 | |||
10:30 30mCoffee 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 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 Pre-print | ||
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 | Language ImplementationHub Talks / Research Papers at Aurora Borealis 1 Chair(s): Guido Salvaneschi University of St. Gallen | ||
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 | Functional Programming with DatalogECOOP 2022 Research Papers | ||
14:30 20mTalk | Union Types with Disjoint Switches Research Papers Baber Rehman The University of Hong Kong, Xuejing Huang The University of Hong Kong, Ningning Xie University of Cambridge, Bruno C. d. S. Oliveira University of Hong Kong | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering | ||
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: Magnus Madsen - An Introduction to the Flix Programming Language Keynotes File Attached | ||
10:30 - 11:00 | |||
10:30 30mCoffee 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 30mPanel | Type systemsExpert Discussion Expert Discussion | ||
11:30 20mTalk | How to Take the Inverse of a Type Research Papers Pre-print | ||
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 | Program Analysis 2Research Papers / Hub Talks at Aurora Borealis 1 Chair(s): Quentin Stiévenart Vrije Universiteit Brussel | ||
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 - 16:10 | PotpourriHub Talks / Research Papers at Aurora Borealis 1 Chair(s): Ben Hermann Technical University Dortmund | ||
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 | ||
16:10 - 17:00 | |||
Thu 16 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 16 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:00 - 16:30 | |||
15:00 30mTalk | PEDroid: Automatically Extracting Patches from Android App Updates 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 30mTalk | 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 Pre-print | ||
16:00 30mTalk | Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs 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 | |||
16:45 30mTalk | Direct Foundations for Compositional Programming 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 30mTalk | 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 30mTalk | A Self-Dual Distillation of Session Types (Pearl) Research Papers Jules Jacobs Radboud University Nijmegen Pre-print | ||
18:30 - 19:00 | |||
18:30 30mKeynote | Are Programming Languages the Key to Distributed Systems?VCOOP 2022 Research Papers File Attached | ||
Thu 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:00 - 16:30 | |||
15:00 30mTalk | Accumulation Analysis 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 30mTalk | Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis Research Papers | ||
16:00 30mTalk | 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 Pre-print | ||
16:45 - 18:15 | |||
16:45 30mTalk | 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 30mTalk | 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 | ||
17:45 30mTalk | Compiling Volatile Correctly in Java Research Papers Shuyang Liu UCLA, John Bender Sandia National Laboratories, Jens Palsberg University of California at Los Angeles | ||
18:30 - 19:00 | |||
18:30 30mTalk | Union Types with Disjoint Switches Research Papers Baber Rehman The University of Hong Kong, Xuejing Huang The University of Hong Kong, Ningning Xie University of Cambridge, Bruno C. d. S. Oliveira University of Hong Kong | ||
Thu 30 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 30 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:00 - 16:30 | |||
15:00 30mTalk | What If We Don’t Pop the Stack? The Return of Second-Class Values 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 30mTalk | 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 30mTalk | 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:45 - 18:15 | |||
16:45 30mTalk | Maniposynth: Bimodal Tangible Functional Programming Research Papers Pre-print Media Attached | ||
17:15 30mTalk | Elementary Type Inference Research Papers | ||
17:45 30mTalk | Defining Corecursive Functions in Coq Using ApproximationsVCOOP 2022ECOOP 2022 Research Papers | ||
18:30 - 19:00 | |||
18:30 30mKeynote | From AI for Code to AI for CodingVCOOP 2022 Research Papers Albert Ziegler GitHub | ||
Thu 7 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 7 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:00 - 16:30 | |||
15:00 30mTalk | 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 | ||
15:30 30mTalk | 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 | ||
16:00 30mTalk | 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:45 - 18:15 | |||
16:45 30mTalk | 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 | ||
17:15 30mTalk | 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 30mTalk | 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 | ||
18:30 - 19:00 | |||
18:30 30mKeynote | Hedy: Creating a gradual programming languageVCOOP 2022 Research Papers | ||