Scala 2022
Mon 6 Jun 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
Scala Program
Your Program
Mon 6 Jun
Track/Call
Organization
Scala 2022 Committees
Track Committees
Keynote
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
Scala 2022
Scala 2021
Scala 2020
Scala 2019
Scala 2018
Scala 2017
Scala 2016
Scala 2015
Sign in
Sign up
ECOOP 2022
(
series
) /
Scala 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 2022
at
Aurora Borealis 1
09:00
90m
Keynote
Tracking Captures in Types
Scala 2022
Martin Odersky
EPFL
File Attached
11:00 - 12:30
Paper
Scala 2022
at
Aurora Borealis 1
11:00
30m
Talk
Design Patterns for Parser Combinators in Scala
Scala 2022
Jamie Willis
Imperial College London
,
Nicolas Wu
Imperial College London
11:30
30m
Talk
Enhancing Closures in Scala with Blocks
Scala 2022
Philipp Haller
KTH
File Attached
12:00
30m
Talk
Type-Safe Regular Expressions
Scala 2022
Olivier Blanvillain
EPFL
Pre-print
13:30 - 15:00
Student Talk
Scala 2022
at
Aurora Borealis 1
13:30
30m
Talk
Explicit Nulls with Unsafe Nulls (Student Talk)
Scala 2022
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 2022
Keynote
Scala 2022
Paper
Scala 2022
Student Talk
Scala 2022
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
Sat 23 Nov 11:40