ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
ICFP 2022 (series) / Cankarjev Dom /

Room information: M1

VenueCankarjev Dom
Room nameM1
Capacity54
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

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
HOPE Session 1HOPE 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, EvidentlyVirtual
HOPE
Xiaoyan Ren
File Attached
11:00 - 12:30
HOPE Session 2HOPE 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 3HOPE 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 4HOPE 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 WebAssemblyVirtual
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, Théo 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
DemosFARM 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 SynthesisVirtual
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.0OCaml 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 1Erlang 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 2Erlang 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 3Erlang 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room14:003015:0030
M1

FARM

Demos

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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
HOPEVirtual
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
HOPEVirtual
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

Room14:00153045
M1
FARM
Demo: New View on Plasma Fractals -- From the High Point of Array Languages
14:00 - 14:30
FARMVirtual
Demo: Counterpoint Analysis and Synthesis
14:30 - 15:00

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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