ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
ECOOP 2022 (series) / Scandic Potsdamer Platz, Berlin /

Room information: Aurora Borealis 1

VenueScandic Potsdamer Platz, Berlin
Room nameAurora Borealis 1
Floor3
Capacity180
Room InformationNo extra information available
Program

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
KeynoteScala at Aurora Borealis 1
09:00
90m
Keynote
Tracking Captures in Types
Scala
Martin Odersky EPFL
File Attached
11:00 - 12:30
PaperScala at Aurora Borealis 1
11:00
30m
Talk
Design Patterns for Parser Combinators in Scala
Scala
Jamie Willis Imperial College London, Nicolas Wu Imperial College London
11:30
30m
Talk
Enhancing Closures in Scala with Blocks
Scala
Philipp Haller KTH
File Attached
12:00
30m
Talk
Type-Safe Regular Expressions
Scala
Olivier Blanvillain EPFL
Pre-print
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

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
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
Saam Barati Apple
Media Attached

Wed 8 Jun

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

09:00 - 10:30
WednesdayKeynotes at Aurora Borealis 1
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
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
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: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
Manuel Serrano Inria
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

Thu 9 Jun

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

09:00 - 10:30
ThursdayKeynotes at Aurora Borealis 1
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
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
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: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
FridayKeynotes at Aurora Borealis 1
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
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
Danielle 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
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: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

Mon 6 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Aurora Borealis 1

Scala

Keynote

Scala

Paper

Scala

Student Talk

Scala

Tue 7 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Aurora Borealis 1

Truffle

Shared Session Truffle & ICOOOLPS

Truffle

Shared Session Truffle & ICOOOLPS

Truffle

Wed 8 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Aurora Borealis 1

Keynotes

Wednesday

Expert Discussion + Hub Talks + Research Papers

Program Analysis 1

Research Papers + Hub Talks

Verification and Compilation

Research Papers + Expert Discussion

Language Design

Thu 9 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Aurora Borealis 1

Keynotes

Thursday

Research Papers + Expert Discussion

Session Types 1

Hub Talks + Research Papers

Language Implementation

Research Papers

Session Types 2

Fri 10 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Aurora Borealis 1

Keynotes

Friday

Research Papers + Hub Talks + Expert Discussion

Types

Research Papers + Hub Talks

Program Analysis 2

Hub Talks + Research Papers

Potpourri

Catering

Ice Cream Social

Mon 6 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:00153045
Aurora Borealis 1
Scala
Tracking Captures in Types
09:00 - 10:30
Scala
Design Patterns for Parser Combinators in Scala
11:00 - 11:30
Scala
Enhancing Closures in Scala with Blocks
11:30 - 12:00
Scala
Type-Safe Regular Expressions
12:00 - 12:30
Scala
Explicit Nulls with Unsafe Nulls (Student Talk)
13:30 - 14:00

Tue 7 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
Aurora Borealis 1
Truffle
Cinder: We didn't start the fire
09:00 - 10:00
Truffle
HPy: How To Design a C API For Optimizing Runtimes
10:00 - 10:30
Truffle
Memory Consumption of Objects in C++
13:30 - 14:00
Truffle
A design overview of JavaScriptCore's DFG IR
14:00 - 15:00

Wed 8 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Aurora Borealis 1
ECOOP Keynotes
Opening
09:00 - 09:30
ECOOP Keynotes
AITO Test of Time Award: A Simple and Practical Approach to Unit Testin ...
09:30 - 10:30
ECOOP Expert DiscussionExpert Discussion
Software verification/program analysis
11:00 - 11:30
ECOOP Hub TalksHub Talk
Partial (In)Completeness in Abstract Interpretation: Limiting the Impre ...
11:30 - 11:50
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalECOOP 2022
Concolic Execution for WebAssembly
11:50 - 12:10
ECOOP Research PapersVCOOP 2022ECOOP 2022
Static Analysis for AWS Best Practices in Python Code
12:10 - 12:30
ECOOP Hub TalksHub Talk
A Compiler for Sound Floating-Point Computations
13:30 - 13:50
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Verified Compilation and Optimization of Floating-Point Programs in CakeML
13:50 - 14:10
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
REST: Integrating Term Rewriting with Program Verification
14:10 - 14:30
ECOOP Research PapersVCOOP 2022ECOOP 2022
Defining Corecursive Functions in Coq Using Approximations
14:30 - 14:50
ECOOP Expert DiscussionExpert Discussion
Programming languages and semantics
15:30 - 16:00
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Prisma: A tierless language for enforcing contract-client protocols in ...
16:00 - 16:20
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalECOOP 2022
JavaScript Sealed Classes
16:20 - 16:40
ECOOP Research PapersDistinguished Artifact AwardArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Functional programming for distributed systems with XC
16:40 - 17:00

Thu 9 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Aurora Borealis 1
ECOOP Keynotes
Dahl-Nygaard Prize Ceremony
09:00 - 09:15
ECOOP Keynotes
Dahl-Nygaard Senior Prize: Dan Ingalls - A Fireside Chat
09:15 - 10:30
ECOOP Expert DiscussionExpert Discussion
Concurrent and distributed programming
11:00 - 11:30
ECOOP Research PapersArtifacts Evaluated - ReusableDistinguished Paper AwardArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Ferrite: A Judgmental Embedding of Session Types in Rust
11:30 - 11:50
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
API Generation for Multiparty Session Types, Revisited and Revised usin ...
11:50 - 12:10
ECOOP Hub TalksHub Talk
Benchmarking, analysis, and optimization of serverless function snapshots
13:30 - 13:50
ECOOP Research PapersECOOP 2022
Synchron - An API and Runtime for Embedded Systems
13:50 - 14:10
ECOOP Research PapersECOOP 2022
Functional Programming with Datalog
14:10 - 14:30
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Union Types with Disjoint Switches
14:30 - 14:50
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
A Self-Dual Distillation of Session Types (Pearl)
15:30 - 15:50
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Stay Safe under Panic: Affine Rust Programming with Multiparty Session ...
15:50 - 16:10
ECOOP Research PapersDistinguished Paper AwardECOOP 2022
Fair Termination of Multiparty Sessions
16:10 - 16:30
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalECOOP 2022
Design-by-Contract for Flexible Multiparty Session Protocols - Choreogr ...
16:30 - 16:50

Fri 10 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Aurora Borealis 1
ECOOP Keynotes
Awards, Outlooks, and Farewells
09:00 - 09:30
ECOOP Keynotes
Dahl-Nygaard Junior Prize: Magnus Madsen - An Introduction to the Flix ...
09:30 - 10:30
ECOOP Expert DiscussionExpert Discussion
Type systems
11:00 - 11:30
ECOOP Research PapersDistinguished Artifact AwardArtifacts Evaluated - ReusableDistinguished Paper AwardArtifacts Evaluated - FunctionalECOOP 2022
How to Take the Inverse of a Type
11:30 - 11:50
ECOOP Hub TalksHub Talk
Union and intersection contracts are hard, actually
11:50 - 12:10
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
Global Type Inference for Featherweight Generic Java
12:10 - 12:30
ECOOP Research PapersArtifacts Evaluated - ReusableArtifacts Evaluated - FunctionalECOOP 2022
Low-Level Bi-Abduction
13:30 - 13:50
ECOOP Hub TalksHub Talk
On the computation of interprocedural weak control closure
13:50 - 14:10
ECOOP Research PapersECOOP 2022
Slicing of Probabilistic Programs based on Specifications
14:10 - 14:30
ECOOP Research PapersArtifacts Evaluated - FunctionalVCOOP 2022ECOOP 2022
A Deterministic Memory Allocator for Dynamic Symbolic Execution
14:30 - 14:50
ECOOP Research PapersECOOP 2022
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
15:30 - 15:50
ECOOP Hub TalksHub Talk
What we eval in the shadows: a large-scale study of eval in R programs
15:50 - 16:10