PLanQC 2022
Sun 11 - Fri 16 September 2022
Ljubljana, Slovenia
co-located with
ICFP 2022
Toggle navigation
Attending
Conference Center: Cankarjev Dom
Program
Complete Program
Your Program
Sun 11 Sep
Mon 12 Sep
Tue 13 Sep
Wed 14 Sep
Thu 15 Sep
Fri 16 Sep
Track/Call
Organization
PLanQC 2022 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
PLanQC 2024
PLanQC 2022
PLanQC 2021
PLanQC 2020
Sign in
Sign up
ICFP 2022
(
series
) /
PLanQC 2022 (
series
) /
Cankarjev Dom
/
Room information: M1
Venue
Cankarjev Dom
Room name
M1
Capacity
54
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) Belgrade, Bratislava, Budapest, Ljubljana, Prague
.
Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
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-05: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-03: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
Sun 11 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:30
HOPE Session 1
HOPE
at
M1
09:00
30m
Talk
Lift Inference for Lexical Effect Handlers with Second-Class Functions
HOPE
Marius Müller
University of Tübingen
,
Philipp Schuster
University of Tübingen
,
Jonathan Immanuel Brachthäuser
University of Tübingen
,
Klaus Ostermann
University of Tübingen
09:30
30m
Talk
Higher order programming with probabilistic effects: A model of stochastic memoization and name generation
HOPE
Younesse Kaddar
University of Oxford, UK
,
Sam Staton
University of Oxford
10:00
30m
Talk
Effect Handlers in Scope, Evidently
Virtual
HOPE
Xiaoyan Ren
File Attached
11:00 - 12:30
HOPE Session 2
HOPE
at
M1
11:00
30m
Talk
Relative Monads in CBPV for Stack-based Effects
HOPE
Max S. New
University of Michigan
11:30
30m
Talk
Temporal refinements for Call-By-Push-Value with fixpoint
HOPE
Guilhem Jaber
University of Nantes
,
Kenji Maillard
Inria Nantes & University of Chile
,
Colin Riba
LIP - ENS de Lyon
File Attached
12:00
30m
Talk
On Reinforcement Learning, Effect Handlers, and the State Monad
HOPE
Ugo Dal Lago
University of Bologna; Inria
,
Alexis Ghyselen
University of Bologna
,
Francesco Gavazzo
University of Bologna & INRIA Sophia Antipolis
14:00 - 15:30
HOPE Session 3
HOPE
at
M1
14:00
30m
Talk
Flexibly graded monads and graded algebras
HOPE
Dylan McDermott
Reykjavik University
,
Tarmo Uustalu
Reykjavik University
File Attached
14:30
30m
Talk
Monadic Semantics of Bidirectional Effects
HOPE
Youyou Cong
Tokyo Institute of Technology
,
Shin-ya Katsumata
National Institute of Informatics
,
Kazuki Niimi
Axell Corporation
,
Jonathan Immanuel Brachthäuser
University of Tübingen
16:00 - 17:30
HOPE Session 4
HOPE
at
M1
16:00
30m
Talk
Dependent Temporal Type-and-Effect System with Delimited Continuations
HOPE
Taro Sekiyama
National Institute of Informatics
,
Hiroshi Unno
University of Tsukuba; RIKEN AIP
16:30
30m
Talk
Enabling Safe Shared-Memory Interoperability in WebAssembly
Virtual
HOPE
Michael Fitzgibbons
Northeastern University (USA)
,
Zoe Paraskevopoulou
Northeastern University
,
Noble Mushtak
Northeastern University
,
Amal Ahmed
Northeastern University, USA
17:00
30m
Talk
Verifying non-terminating programs with IO in F*
HOPE
Cezar-Constantin Andrici
MPI-SP
,
Theo Winterhalter
MPI-SP
,
Cătălin Hriţcu
MPI-SP
,
Exequiel Rivas
Tallinn University of Technology
Pre-print
File Attached
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
14:00 - 15:30
Demos
FARM
at
M1
Chair(s):
Michael Sperber
Active Group GmbH
14:00
30m
Talk
Demo: New View on Plasma Fractals -- From the High Point of Array Languages
FARM
Oleg Kiselyov
Tohoku University, Japan
,
Toshihiro Nakayama
Tohoku University
Pre-print
14:30
30m
Talk
Demo: Counterpoint Analysis and Synthesis
Virtual
FARM
John Leo
Halfaya Research
Pre-print
Fri 16 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:30
OCaml 5.0
OCaml
at
M1
Chair(s):
Matija Pretnar
University of Ljubljana, Slovenia
09:00
50m
Keynote
OCaml 5.0 - Concurrent and Parallel programming for OCaml
OCaml
KC Sivaramakrishnan
IIT Madras and Tarides
Media Attached
09:50
20m
Talk
Multicoretests - Parallel Testing Libraries for OCaml 5.0
OCaml
Jan Midtgaard
Tarides
,
Olivier Nicole
Tarides
,
Nicolas Osborne
Tarides
10:10
20m
Talk
Composing Schedulers using Effect Handlers
OCaml
Deepali Ande
IIT Madras
,
KC Sivaramakrishnan
IIT Madras and Tarides
Pre-print
11:00 - 12:30
Session 1
Erlang
at
M1
11:00
45m
Talk
A Reliability Benchmark for Actor-Based Server Languages
Erlang
Aidan Randtoul
University of Glasgow
,
Phil Trinder
University of Glasgow
11:45
45m
Talk
CAEFL: Composable and Environment Aware Federated Learning Models
Erlang
Ruomeng (Cocoa) Xu
University of Glasgow
,
Anna Lito Michala
University of Glasgow
,
Phil Trinder
University of Glasgow
14:00 - 15:30
Session 2
Erlang
at
M1
14:00
45m
Talk
Executable Contracts for Elixir
Erlang
Sergio Perez Rubio
Universitat Politècnica de València
,
Luis Eduardo Bueso de Barrio
Universidad Politécnica de Madrid
,
Ignacio Ballesteros
Universidad Politécnica de Madrid
,
Ángel Herranz
Universidad Politécnica de Madrid
,
Clara Benac Earle
Universidad Politécnica de Madrid
,
Lars-Åke Fredlund
Universidad Politécnica de Madrid
,
Julio Mariño
Universidad Politécnica de Madrid
14:45
45m
Talk
Troubleshooting the Performance of a Large Erlang System
Erlang
Nikos Tsikoudis
Datometry
,
Marc Sugiyama
Nova Labs
16:00 - 17:30
Session 3
Erlang
at
M1
16:00
45m
Talk
InfERL: Scalable and Extensible Erlang Static Analysis
Erlang
Ákos Hajdu
Meta
,
Matteo Marescotti
Facebook, Inc.
,
Thibault Suzanne
Meta
,
Ke Mao
Meta
,
Radu Grigore
Facebook
,
Per Gustafsson
Meta
,
Dino Distefano
Facebook London
16:45
45m
Other
Lightning talks
Erlang
Sun 11 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
17:00
30
M1
HOPE
HOPE Session 1
HOPE
HOPE Session 2
HOPE
HOPE Session 3
HOPE
HOPE Session 4
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
14:00
30
15:00
30
M1
FARM
Demos
Fri 16 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
17:00
30
M1
OCaml
OCaml 5.0
Erlang
Session 1
Erlang
Session 2
Erlang
Session 3
Sun 11 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
17:00
15
30
45
M1
HOPE
Lift Inference for Lexical Effect Handlers with Second-Class Functions
09:00 - 09:30
HOPE
Higher order programming with probabilistic effects: A model of stochas ...
09:30 - 10:00
HOPE
Virtual
Effect Handlers in Scope, Evidently
10:00 - 10:30
HOPE
Relative Monads in CBPV for Stack-based Effects
11:00 - 11:30
HOPE
Temporal refinements for Call-By-Push-Value with fixpoint
11:30 - 12:00
HOPE
On Reinforcement Learning, Effect Handlers, and the State Monad
12:00 - 12:30
HOPE
Flexibly graded monads and graded algebras
14:00 - 14:30
HOPE
Monadic Semantics of Bidirectional Effects
14:30 - 15:00
HOPE
Dependent Temporal Type-and-Effect System with Delimited Continuations
16:00 - 16:30
HOPE
Virtual
Enabling Safe Shared-Memory Interoperability in WebAssembly
16:30 - 17:00
HOPE
Verifying non-terminating programs with IO in F*
17:00 - 17:30
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
14:00
15
30
45
M1
FARM
Demo: New View on Plasma Fractals -- From the High Point of Array Languages
14:00 - 14:30
FARM
Virtual
Demo: Counterpoint Analysis and Synthesis
14:30 - 15:00
Fri 16 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
17:00
15
30
45
M1
OCaml
OCaml 5.0 - Concurrent and Parallel programming for OCaml
09:00 - 09:50
OCaml
Multicoretests - Parallel Testing Libraries for OCaml 5.0
09:50 - 10:10
OCaml
Composing Schedulers using Effect Handlers
10:10 - 10:30
Erlang
A Reliability Benchmark for Actor-Based Server Languages
11:00 - 11:45
Erlang
CAEFL: Composable and Environment Aware Federated Learning Models
11:45 - 12:30
Erlang
Executable Contracts for Elixir
14:00 - 14:45
Erlang
Troubleshooting the Performance of a Large Erlang System
14:45 - 15:30
Erlang
InfERL: Scalable and Extensible Erlang Static Analysis
16:00 - 16:45
Erlang
Lightning talks
16:45 - 17:30
x
Sat 20 Apr 18:34