PRIDE 2022
Mon 6 - Fri 10 June 2022
Berlin, Germany
co-located with
ECOOP 2022
Toggle navigation
Attending
ECOOP: Scandic Potsdamer Platz, Berlin
VCOOP: Virtual Meeting(s)
Banquet: Clärchen's Ballhaus
Program
PRIDE Program
Your Program
Mon 6 Jun
Tue 7 Jun
Wed 8 Jun
Thu 9 Jun
Fri 10 Jun
Track/Call
Organization
PRIDE 2022 Committees
Track Committees
PRIDE 2022 Workshop Organizers
Contributors
People Index
Search
Series
Series
PRIDE 2022
PRIDE 2020
Sign in
Sign up
ECOOP 2022
(
series
) /
PRIDE 2022 (
series
) /
Scandic Potsdamer Platz, Berlin
/
Room information: Aurora Borealis 1
Venue
Scandic Potsdamer Platz, Berlin
Room name
Aurora Borealis 1
Floor
3
Capacity
180
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Keynote
Scala
at
Aurora Borealis 1
09:00
90m
Keynote
Tracking Captures in Types
Scala
Martin Odersky
EPFL
File Attached
11:00 - 12:30
Paper
Scala
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 Talk
Scala
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 & ICOOOLPS
Truffle
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 & ICOOOLPS
Truffle
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
Wednesday
ECOOP Keynotes
at
Aurora Borealis 1
09:00
30m
Day opening
Opening
ECOOP 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
ECOOP Keynotes
A:
Yoonsik Cheon
,
K:
Gary T. Leavens
University of Central Florida
Link to publication
11:00 - 12:30
Program Analysis 1
ECOOP Expert Discussion
/
ECOOP Hub Talks
/
ECOOP Research Papers
at
Aurora Borealis 1
Chair(s):
Karim Ali
University of Alberta
11:00
30m
Panel
Software verification/program analysis
Expert Discussion
ECOOP 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 Analysis
Hub Talk
ECOOP 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 WebAssembly
ECOOP 2022
ECOOP 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 Code
VCOOP 2022
ECOOP 2022
ECOOP 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 Compilation
ECOOP Research Papers
/
ECOOP 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 Computations
Hub Talk
ECOOP 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 CakeML
VCOOP 2022
ECOOP 2022
ECOOP 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 Verification
VCOOP 2022
ECOOP 2022
ECOOP 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 Approximations
VCOOP 2022
ECOOP 2022
ECOOP Research Papers
Vlad Rusu
Inria, Lille, France
,
David Nowak
CRIStAL, CNRS & University of Lille
15:30 - 17:00
Language Design
ECOOP Research Papers
/
ECOOP Expert Discussion
at
Aurora Borealis 1
Chair(s):
Simon Fowler
University of Glasgow
15:30
30m
Panel
Programming languages and semantics
Expert Discussion
ECOOP 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 apps
VCOOP 2022
ECOOP 2022
ECOOP 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 Classes
ECOOP 2022
ECOOP Research Papers
Manuel Serrano
Inria
16:40
20m
Talk
Functional programming for distributed systems with XC
VCOOP 2022
ECOOP 2022
ECOOP 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
Thursday
ECOOP Keynotes
at
Aurora Borealis 1
09:00
15m
Awards
Dahl-Nygaard Prize Ceremony
ECOOP Keynotes
Eric Jul
University of Oslo
,
Görel Hedin
Lund University
09:15
75m
Keynote
Dahl-Nygaard Senior Prize: Dan Ingalls - A Fireside Chat
ECOOP Keynotes
K:
Daniel Ingalls
Independent Consultant
Media Attached
11:00 - 12:30
Session Types 1
ECOOP Research Papers
/
ECOOP Expert Discussion
at
Aurora Borealis 1
Chair(s):
Dominic Orchard
University of Kent, UK
11:00
30m
Panel
Concurrent and distributed programming
Expert Discussion
ECOOP 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 Rust
VCOOP 2022
ECOOP 2022
ECOOP 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)
VCOOP 2022
ECOOP 2022
ECOOP 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 Implementation
ECOOP Hub Talks
/
ECOOP 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 snapshots
Hub Talk
ECOOP 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 Systems
ECOOP 2022
ECOOP 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 Datalog
ECOOP 2022
ECOOP Research Papers
André Pacak
JGU Mainz
,
Sebastian Erdweg
JGU Mainz
14:30
20m
Talk
Union Types with Disjoint Switches
VCOOP 2022
ECOOP 2022
ECOOP 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 2
ECOOP Research 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)
VCOOP 2022
ECOOP 2022
ECOOP Research Papers
Jules Jacobs
Radboud University Nijmegen
Pre-print
15:50
20m
Talk
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
VCOOP 2022
ECOOP 2022
ECOOP 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 Sessions
ECOOP 2022
ECOOP 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 programming
ECOOP 2022
ECOOP 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
Friday
ECOOP Keynotes
at
Aurora Borealis 1
09:00
30m
Awards
Awards, Outlooks, and Farewells
ECOOP 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
ECOOP Keynotes
K:
Magnus Madsen
Aarhus University
File Attached
11:00 - 12:30
Types
ECOOP Research Papers
/
ECOOP Hub Talks
/
ECOOP Expert Discussion
at
Aurora Borealis 1
Chair(s):
Niki Vazou
IMDEA Software Institute
11:00
30m
Panel
Type systems
Expert Discussion
ECOOP 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 Type
ECOOP 2022
ECOOP 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, actually
Hub Talk
ECOOP 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 Java
VCOOP 2022
ECOOP 2022
ECOOP 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 2
ECOOP Research Papers
/
ECOOP Hub Talks
at
Aurora Borealis 1
Chair(s):
Quentin Stiévenart
Vrije Universiteit Brussel
13:30
20m
Talk
Low-Level Bi-Abduction
ECOOP 2022
ECOOP 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 closure
Hub Talk
ECOOP Hub Talks
Abu Naser Masud
Malardalen University
Link to publication
DOI
14:10
20m
Talk
Slicing of Probabilistic Programs based on Specifications
ECOOP 2022
ECOOP Research Papers
Federico Olmedo
University of Chile & IMFD Chile
Pre-print
14:30
20m
Talk
A Deterministic Memory Allocator for Dynamic Symbolic Execution
VCOOP 2022
ECOOP 2022
ECOOP 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
Potpourri
ECOOP Hub Talks
/
ECOOP Research Papers
at
Aurora Borealis 1
Chair(s):
Ben Hermann
Technical University Dortmund
15:30
20m
Talk
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
ECOOP 2022
ECOOP 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 programs
Hub Talk
ECOOP 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 Social
ECOOP Catering
at
Aurora Borealis 1
Mon 6 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Aurora Borealis 1
Scala
Keynote
Scala
Paper
Scala
Student Talk
Scala
Tue 7 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Aurora Borealis 1
ECOOP Keynotes
Wednesday
ECOOP Expert Discussion + ECOOP Hub Talks + ECOOP Research Papers
Program Analysis 1
ECOOP Research Papers + ECOOP Hub Talks
Verification and Compilation
ECOOP Research Papers + ECOOP Expert Discussion
Language Design
Thu 9 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Aurora Borealis 1
ECOOP Keynotes
Thursday
ECOOP Research Papers + ECOOP Expert Discussion
Session Types 1
ECOOP Hub Talks + ECOOP Research Papers
Language Implementation
ECOOP Research Papers
Session Types 2
Fri 10 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Aurora Borealis 1
ECOOP Keynotes
Friday
ECOOP Research Papers + ECOOP Hub Talks + ECOOP Expert Discussion
Types
ECOOP Research Papers + ECOOP Hub Talks
Program Analysis 2
ECOOP Hub Talks + ECOOP Research Papers
Potpourri
ECOOP Catering
Ice Cream Social
Mon 6 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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 Discussion
Expert Discussion
Software verification/program analysis
11:00 - 11:30
ECOOP Hub Talks
Hub Talk
Partial (In)Completeness in Abstract Interpretation: Limiting the Impre ...
11:30 - 11:50
ECOOP Research Papers
ECOOP 2022
Concolic Execution for WebAssembly
11:50 - 12:10
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
Static Analysis for AWS Best Practices in Python Code
12:10 - 12:30
ECOOP Hub Talks
Hub Talk
A Compiler for Sound Floating-Point Computations
13:30 - 13:50
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
Verified Compilation and Optimization of Floating-Point Programs in CakeML
13:50 - 14:10
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
REST: Integrating Term Rewriting with Program Verification
14:10 - 14:30
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
Defining Corecursive Functions in Coq Using Approximations
14:30 - 14:50
ECOOP Expert Discussion
Expert Discussion
Programming languages and semantics
15:30 - 16:00
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
Prisma: A tierless language for enforcing contract-client protocols in ...
16:00 - 16:20
ECOOP Research Papers
ECOOP 2022
JavaScript Sealed Classes
16:20 - 16:40
ECOOP Research Papers
VCOOP 2022
ECOOP 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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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 Discussion
Expert Discussion
Concurrent and distributed programming
11:00 - 11:30
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
Ferrite: A Judgmental Embedding of Session Types in Rust
11:30 - 11:50
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
API Generation for Multiparty Session Types, Revisited and Revised usin ...
11:50 - 12:10
ECOOP Hub Talks
Hub Talk
Benchmarking, analysis, and optimization of serverless function snapshots
13:30 - 13:50
ECOOP Research Papers
ECOOP 2022
Synchron - An API and Runtime for Embedded Systems
13:50 - 14:10
ECOOP Research Papers
ECOOP 2022
Functional Programming with Datalog
14:10 - 14:30
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
Union Types with Disjoint Switches
14:30 - 14:50
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
A Self-Dual Distillation of Session Types (Pearl)
15:30 - 15:50
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
Stay Safe under Panic: Affine Rust Programming with Multiparty Session ...
15:50 - 16:10
ECOOP Research Papers
ECOOP 2022
Fair Termination of Multiparty Sessions
16:10 - 16:30
ECOOP Research Papers
ECOOP 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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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 Discussion
Expert Discussion
Type systems
11:00 - 11:30
ECOOP Research Papers
ECOOP 2022
How to Take the Inverse of a Type
11:30 - 11:50
ECOOP Hub Talks
Hub Talk
Union and intersection contracts are hard, actually
11:50 - 12:10
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
Global Type Inference for Featherweight Generic Java
12:10 - 12:30
ECOOP Research Papers
ECOOP 2022
Low-Level Bi-Abduction
13:30 - 13:50
ECOOP Hub Talks
Hub Talk
On the computation of interprocedural weak control closure
13:50 - 14:10
ECOOP Research Papers
ECOOP 2022
Slicing of Probabilistic Programs based on Specifications
14:10 - 14:30
ECOOP Research Papers
VCOOP 2022
ECOOP 2022
A Deterministic Memory Allocator for Dynamic Symbolic Execution
14:30 - 14:50
ECOOP Research Papers
ECOOP 2022
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
15:30 - 15:50
ECOOP Hub Talks
Hub Talk
What we eval in the shadows: a large-scale study of eval in R programs
15:50 - 16:10
Information for Participants
Fri 10 Jun 2022 16:10 - 17:00 at
Aurora Borealis 1
-
Ice Cream Social
Info for session
Have a free ice cream and stay for a chat.
x
Sun 24 Nov 01:51