Erlang 2024
Mon 2 Sep 2024
Milan, Italy
co-located with
ICFP 2024
Toggle navigation
Attending
Venue: Allianz MiCo (Milano Convention Centre)
Program
Complete Program
Your Program
Mon 2 Sep
Track/Call
Organization
Erlang 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
Erlang 2024
Erlang 2023
Erlang 2022
Erlang 2021
Erlang 2020
Erlang 2019
Erlang 2018
Erlang 2017
Erlang 2016
Sign in
Sign up
ICFP 2024
(
series
) /
Erlang 2024 (
series
) /
Allianz MiCo (Milano Convention Centre)
/
Room information: Green 1-2-3
Venue
Allianz MiCo (Milano Convention Centre)
Room name
Green 1-2-3
Floor
-1
Capacity
350
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+03: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
Tue 3 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Tuesday keynote
ICFP Papers and Events
at
Green 1-2-3
Chair(s):
Brigitte Pientka
McGill University
09:00
60m
Keynote
Requirements are All You Need
ICFP Papers and Events
Andrew D. Gordon
Cogna and University of Edinburgh
Link to publication
Pre-print
File Attached
10:30 - 12:00
Algebraic and Computational Effects
ICFP Papers and Events
/
ICFP JFP First Papers
at
Green 1-2-3
Chair(s):
Patrick Bahr
IT University of Copenhagen
10:30
18m
Talk
Abstracting Effect Systems for Algebraic Effect Handlers
ICFP Papers and Events
Takuma Yoshioka
Kyoto University
,
Taro Sekiyama
National Institute of Informatics; SOKENDAI
,
Atsushi Igarashi
Kyoto University
DOI
10:48
18m
Talk
Parallel Algebraic Effect Handlers
ICFP Papers and Events
Ningning Xie
University of Toronto; Google DeepMind
,
Daniel D. Johnson
University of Toronto; Google DeepMind
,
Dougal Maclaurin
Google DeepMind
,
Adam Paszke
Google DeepMind
DOI
11:06
18m
Talk
Abstract Interpreters: A Monadic Approach to Modular Verification
ICFP Papers and Events
Sébastien Michelland
Université Grenoble-Alpes - Grenoble INP - LCIS
,
Yannick Zakowski
Inria
,
Laure Gonnord
Université Grenoble-Alpes - Grenoble INP - LCIS
DOI
Pre-print
11:24
18m
Talk
Algebraic effects and handlers for arrows
JFP First Paper
ICFP JFP First Papers
Takahiro Sanada
Fukui Prefectural University
11:42
18m
Talk
How to Bake a Quantum Π
ICFP Papers and Events
Jacques Carette
McMaster University
,
Chris Heunen
University of Edinburgh
,
Robin Kaarsgaard
University of Southern Denmark
,
Amr Sabry
Indiana University
DOI
13:00 - 13:30
ICFP programming contest results
ICFP Programming Contest
at
Green 1-2-3
13:00
30m
Awards
ICFP Contest Results
ICFP Programming Contest
13:30 - 15:00
Type Theory
ICFP Papers and Events
/
ICFP JFP First Papers
at
Green 1-2-3
Chair(s):
Brent Yorgey
Hendrix College
13:30
18m
Talk
Normalization by evaluation for modal dependent type theory
JFP First Paper
ICFP JFP First Papers
Jason Z.S. Hu
McGill University
,
Junyoung Jang
McGill University
,
Brigitte Pientka
McGill University
DOI
13:48
18m
Talk
Closure-Free Functional Programming in a Two-Level Type Theory
ICFP Papers and Events
András Kovács
University of Gothenburg
DOI
Pre-print
14:06
18m
Talk
Gradual Indexed Inductive Types
ICFP Papers and Events
Mara Malewski Correa
University of Chile
,
Kenji Maillard
Inria
,
Nicolas Tabareau
Inria
,
Éric Tanter
University of Chile
DOI
14:24
18m
Talk
Dependent Ghosts Have a Reflection for Free
ICFP Papers and Events
Théo Winterhalter
Inria
DOI
14:42
18m
Talk
Static Blame for gradual typing
JFP First Paper
ICFP JFP First Papers
Chenghao Su
Nanjing University
,
Lin Chen
Nanjing University
,
Yanhui Li
Nanjing University
,
Yuming Zhou
Nanjing University
DOI
15:30 - 17:00
Logical Foundations
ICFP Papers and Events
/
ICFP JFP First Papers
at
Green 1-2-3
Chair(s):
Kenji Maillard
Inria
15:30
18m
Talk
Grokking the Sequent Calculus (Functional Pearl)
ICFP Papers and Events
David Binder
University of Tübingen
,
Marco Tzschentke
Universität Tübingen
,
Marius Müller
University of Tübingen
,
Klaus Ostermann
University of Tübingen
DOI
15:48
18m
Talk
Call-by-Unboxed-Value
ICFP Papers and Events
Paul Downen
University of Massachusetts at Lowell
DOI
16:06
18m
Talk
A correct-by-construction conversion from lambda calculus to combinatory logic (JFP Functional Pearls)
JFP First Paper
ICFP JFP First Papers
Wouter Swierstra
Utrecht University, Netherlands
DOI
16:24
18m
Talk
On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs
ICFP Papers and Events
Paulo Torrens
University of Kent
,
Dominic Orchard
University of Kent; University of Cambridge
,
Cristiano Vasconcellos
Santa Catarina State University
DOI
Pre-print
16:42
18m
Talk
Example-Based Reasoning about the Realizability of Polymorphic Programs
Distinguished Paper
ICFP Papers and Events
Niek Mulleners
Utrecht University
,
Johan Jeuring
Utrecht University
,
Bastiaan Heeren
Open Universiteit
DOI
Pre-print
17:00 - 17:15
Introduction of Industrial Sponsors
ICFP Papers and Events
at
Green 1-2-3
17:15 - 18:15
Memorial for D. Turner & Arvind
ICFP Papers and Events
at
Green 1-2-3
Chair(s):
Marco Gaboardi
Boston University
Wed 4 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Wednesday keynote
ICFP Papers and Events
at
Green 1-2-3
Chair(s):
Andrew Kennedy
Facebook London
09:00
60m
Keynote
Capabilities for Control
ICFP Papers and Events
Martin Odersky
EPFL
10:30 - 12:00
Meta-Programming, Staging, Generic Programming, Partial Evaluation
ICFP Papers and Events
/
ICFP JFP First Papers
at
Green 1-2-3
Chair(s):
Richard A. Eisenberg
Jane Street
10:30
18m
Talk
Staged Compilation with Module Functors
ICFP Papers and Events
Tsung-Ju Chiang
University of Toronto
,
Jeremy Yallop
University of Cambridge
,
Leo White
Jane Street
,
Ningning Xie
University of Toronto; Google DeepMind
DOI
Pre-print
10:48
18m
Talk
A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler
ICFP Papers and Events
Guillaume Melquiond
Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria
,
Josué Moreau
Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria
DOI
11:06
18m
Talk
Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis
ICFP Papers and Events
Benjamin Quiring
University of Maryland at College Park
,
David Van Horn
University of Maryland
DOI
11:24
18m
Talk
Compiled, Extensible, Multi-language DSLs (Functional Pearl)
Functional Pearl
ICFP Papers and Events
Michael Ballantyne
Northeastern University
,
Mitch Gamburg
Unaffiliated
,
Jason Hemann
Seton Hall University
DOI
Pre-print
11:42
18m
Talk
Knuth–Morris–Pratt illustrated (JFP Functional Pearls )
JFP First Paper
ICFP JFP First Papers
Cameron Moy
Northeastern University
DOI
13:00 - 13:30
SRC Presentations
ICFP Student Research Competition
at
Green 1-2-3
13:00
30m
Talk
SRC Presentations
ICFP Student Research Competition
13:30 - 15:00
Separation Logic
ICFP Papers and Events
at
Green 1-2-3
Chair(s):
Jacques Garrigue
Nagoya University
13:30
18m
Talk
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
Distinguished Paper
ICFP Papers and Events
Alejandro Aguirre
Aarhus University
,
Philipp G. Haselwarter
Aarhus University
,
Markus de Medeiros
New York University
,
Kwing Hei Li
Aarhus University
,
Simon Oddershede Gregersen
New York University
,
Joseph Tassarotti
New York University
,
Lars Birkedal
Aarhus University
DOI
Pre-print
13:48
18m
Talk
Snapshottable Stores
Distinguished Paper
ICFP Papers and Events
Clément Allain
Inria
,
Basile Clément
OCamlPro
,
Alexandre Moine
Inria
,
Gabriel Scherer
Université Paris Cité - Inria - CNRS
DOI
14:06
18m
Talk
Almost-Sure Termination by Guarded Refinement
ICFP Papers and Events
Simon Oddershede Gregersen
New York University
,
Alejandro Aguirre
Aarhus University
,
Philipp G. Haselwarter
Aarhus University
,
Joseph Tassarotti
New York University
,
Lars Birkedal
Aarhus University
DOI
Pre-print
14:24
18m
Talk
Refinement Composition Logic
ICFP Papers and Events
Youngju Song
MPI-SWS
,
Dongjae Lee
Seoul National University
DOI
14:42
18m
Talk
Specification and Verification for Unrestricted Algebraic Effects and Handling
ICFP Papers and Events
Yahui Song
National University of Singapore
,
Darius Foo
National University of Singapore
,
Wei-Ngan Chin
National University of Singapore
DOI
Pre-print
15:30 - 16:42
Verification and Cost Analysis
ICFP JFP First Papers
/
ICFP Papers and Events
at
Green 1-2-3
Chair(s):
Clément Pit-Claudel
EPFL
15:30
18m
Talk
Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
ICFP Papers and Events
Li-yao Xia
Unaffiliated
,
Laura Israel
Portland State University
,
Maite Kramarz
University of Toronto
,
Nicholas Coltharp
Portland State University
,
Koen Claessen
Chalmers University of Technology
,
Stephanie Weirich
University of Pennsylvania
,
Yao Li
Portland State University
DOI
Pre-print
15:48
18m
Talk
Level-p-complexity of Boolean functions using thinning, memoization, and polynomials
JFP First Paper
ICFP JFP First Papers
Julia Jansson
,
Patrik Jansson
Chalmers University of Technology and University of Gothenbrug
DOI
16:06
18m
Talk
CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
ICFP Papers and Events
Cole Kurashige
University of California at San Diego
,
Ruyi Ji
Peking University
,
Aditya Giridharan
University of California at San Diego
,
Mark Barbone
University of California at San Diego
,
Daniel Noor
Technion
,
Shachar Itzhaky
Technion
,
Ranjit Jhala
University of California at San Diego
,
Nadia Polikarpova
University of California at San Diego
DOI
16:24
18m
Talk
Contract Lenses: Reasoning about Bidirectional Programs via Calculation
JFP First Paper
ICFP JFP First Papers
Hanliang Zhang
University of Bristol, UK
,
Wenhao Tang
University of Edinburgh
,
Ruifeng Xie
Peking University
,
Meng Wang
University of Bristol
,
Zhenjiang Hu
Peking University
DOI
17:15 - 18:30
Business Meeting
ICFP Papers and Events
at
Green 1-2-3
Chair(s):
Marco Gaboardi
Boston University
17:15
15m
Other
Remembering Alan Jeffrey
ICFP Papers and Events
17:30
5m
Awards
ICFP 2014 Most Influential Paper Award
ICFP Papers and Events
Marco Gaboardi
Boston University
17:35
5m
Awards
Recognition of Distinguished Papers
ICFP Papers and Events
Brigitte Pientka
McGill University
17:40
5m
Talk
SRC Awards
ICFP Papers and Events
Kuen-Bang Hou (Favonia)
University of Minnesota
,
J. Garrett Morris
University of Iowa
17:45
10m
Other
The functioning of ICFP
ICFP Papers and Events
Sam Lindley
University of Edinburgh
File Attached
17:55
5m
Talk
Diversity, equality, and inclusion at ICFP
ICFP Papers and Events
Alejandro Russo
Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden
18:00
10m
Other
General Chair report
ICFP Papers and Events
Marco Gaboardi
Boston University
18:10
15m
Other
PC Chair's report
ICFP Papers and Events
Brigitte Pientka
McGill University
18:25
5m
Other
ICFP 2025 announcement
ICFP Papers and Events
Ilya Sergey
National University of Singapore
Thu 5 Sep
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Thursday keynote
ICFP Papers and Events
at
Green 1-2-3
Chair(s):
Neel Krishnaswami
University of Cambridge
09:00
60m
Keynote
Refinement Types from Light to Deep Verification
ICFP Papers and Events
Niki Vazou
IMDEA Software Institute
10:30 - 12:00
Refinement Types, Type Inference
ICFP Papers and Events
/
ICFP JFP First Papers
at
Green 1-2-3
Chair(s):
Dominic Orchard
University of Kent; University of Cambridge
10:30
18m
Talk
The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
Distinguished Paper
ICFP Papers and Events
Yijia Chen
Hong Kong University of Science and Technology
,
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
DOI
10:48
18m
Talk
Contextual Typing
ICFP Papers and Events
Xu Xue
University of Hong Kong
,
Bruno C. d. S. Oliveira
University of Hong Kong
DOI
11:06
18m
Talk
Synchronous Programming with Refinement Types
ICFP Papers and Events
Jiawei Chen
University of Michigan at Ann Arbor
,
José Luiz Vargas de Mendonça
University of Michigan at Ann Arbor
,
Bereket Shimels Ayele
Addis Ababa Institute of Technology
,
Bereket Ngussie Bekele
Addis Ababa Institute of Technology
,
Shayan Jalili
University of Michigan at Ann Arbor
,
Pranjal Sharma
University of Michigan at Ann Arbor
,
Nicholas Wohlfeil
University of Michigan at Ann Arbor
,
Yicheng Zhang
University of Michigan at Ann Arbor
,
Jean-Baptiste Jeannin
University of Michigan at Ann Arbor
DOI
11:24
18m
Talk
Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
ICFP Papers and Events
Satoshi Kura
Waseda University
,
Hiroshi Unno
Tohoku University
DOI
File Attached
11:42
18m
Talk
Trace contracts
JFP First Paper
ICFP JFP First Papers
Cameron Moy
Northeastern University
,
Matthias Felleisen
Northeastern University
DOI
13:30 - 15:00
Memory Models / Memory Management / Low-Level Languages
ICFP Papers and Events
at
Green 1-2-3
Chair(s):
Stefan Monnier
Université de Montréal
13:30
18m
Talk
Oxidizing OCaml with Modal Memory Management
ICFP Papers and Events
Anton Lorenzen
University of Edinburgh
,
Leo White
Jane Street
,
Stephen Dolan
Jane Street
,
Richard A. Eisenberg
Jane Street
,
Sam Lindley
University of Edinburgh
DOI
Pre-print
13:48
18m
Talk
A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction
ICFP Papers and Events
Calvin Beck
University of Pennsylvania
,
Irene Yoon
Inria
,
Hanxi Chen
University of Pennsylvania
,
Yannick Zakowski
Inria
,
Steve Zdancewic
University of Pennsylvania
DOI
14:06
18m
Talk
Double-Ended Bit-Stealing for Algebraic Data Types
ICFP Papers and Events
Martin Elsman
University of Copenhagen
Link to publication
DOI
14:24
18m
Talk
Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)
Functional Pearl
ICFP Papers and Events
Patrick Bahr
IT University of Copenhagen
,
Graham Hutton
University of Nottingham
DOI
Pre-print
14:42
18m
Talk
Sound Borrow-Checking for Rust via Symbolic Semantics
ICFP Papers and Events
Son Ho
Inria
,
Aymeric Fromherz
Inria
,
Jonathan Protzenko
Microsoft Azure Research
DOI
15:30 - 17:00
Distributed Systems, Concurrency
ICFP Papers and Events
/
ICFP JFP First Papers
at
Green 1-2-3
Chair(s):
Michael Sperber
Active Group GmbH
15:30
18m
Talk
The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl)
Functional Pearl
ICFP Papers and Events
Manuel Serrano
Inria; Université Côte d’Azur
,
Robert Bruce Findler
Northwestern University
DOI
15:48
18m
Talk
Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts
ICFP Papers and Events
Bram Vandenbogaerde
Vrije Universiteit Brussel
,
Quentin Stiévenart
Université du Québec à Montréal
,
Coen De Roover
Vrije Universiteit Brussel
DOI
Pre-print
16:06
18m
Talk
A Coq Mechanization of JavaScript Regular Expression Semantics
ICFP Papers and Events
Noé De Santo
EPFL
,
Aurèle Barrière
EPFL
,
Clément Pit-Claudel
EPFL
Link to publication
DOI
Pre-print
16:24
18m
Talk
Alice or Bob?: Process polymorphism in choreographies
JFP First Paper
ICFP JFP First Papers
Eva Graversen
University of Southern Denmark
,
Andrew K. Hirsch
University at Buffalo, SUNY
,
Fabrizio Montesi
University of Southern Denmark
DOI
16:42
18m
Talk
Functional Programming in Financial Markets (Experience Report)
Experience Report
ICFP Papers and Events
Atze Dijkstra
Standard Chartered Bank
,
José Pedro Magalhães
Standard Chartered Bank
,
Pierre Néron
Standard Chartered Bank
DOI
Pre-print
Tue 3 Sep
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
17:00
30
18:00
30
Green 1-2-3
ICFP Papers and Events
Tuesday keynote
ICFP Papers and Events + ICFP JFP First Papers
Algebraic and Computational Effects
ICFP Programming Contest
ICFP programming contest results
ICFP Papers and Events + ICFP JFP First Papers
Type Theory
ICFP Papers and Events + ICFP JFP First Papers
Logical Foundations
ICFP Papers and Events
Introduction of Industrial Sponsors
ICFP Papers and Events
Memorial for D. Turner & Arvind
Wed 4 Sep
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
17:00
30
18:00
30
Green 1-2-3
ICFP Papers and Events
Wednesday keynote
ICFP Papers and Events + ICFP JFP First Papers
Meta-Programming, Staging, Generic Programming, Partial Evaluation
ICFP Student Research Competition
SRC Presentations
ICFP Papers and Events
Separation Logic
ICFP JFP First Papers + ICFP Papers and Events
Verification and Cost Analysis
ICFP Papers and Events
Business Meeting
Thu 5 Sep
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
Green 1-2-3
ICFP Papers and Events
Thursday keynote
ICFP Papers and Events + ICFP JFP First Papers
Refinement Types, Type Inference
ICFP Papers and Events
Memory Models / Memory Management / Low-Level Languages
ICFP Papers and Events + ICFP JFP First Papers
Distributed Systems, Concurrency
Tue 3 Sep
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
Green 1-2-3
ICFP Papers and Events
Requirements are All You Need
09:00 - 10:00
ICFP Papers and Events
Abstracting Effect Systems for Algebraic Effect Handlers
10:30 - 10:48
ICFP Papers and Events
Parallel Algebraic Effect Handlers
10:48 - 11:06
ICFP Papers and Events
Abstract Interpreters: A Monadic Approach to Modular Verification
11:06 - 11:24
ICFP JFP First Papers
JFP First Paper
Algebraic effects and handlers for arrows
11:24 - 11:42
ICFP Papers and Events
How to Bake a Quantum Π
11:42 - 12:00
ICFP Programming Contest
ICFP Contest Results
13:00 - 13:30
ICFP JFP First Papers
JFP First Paper
Normalization by evaluation for modal dependent type theory
13:30 - 13:48
ICFP Papers and Events
Closure-Free Functional Programming in a Two-Level Type Theory
13:48 - 14:06
ICFP Papers and Events
Gradual Indexed Inductive Types
14:06 - 14:24
ICFP Papers and Events
Dependent Ghosts Have a Reflection for Free
14:24 - 14:42
ICFP JFP First Papers
JFP First Paper
Static Blame for gradual typing
14:42 - 15:00
ICFP Papers and Events
Grokking the Sequent Calculus (Functional Pearl)
15:30 - 15:48
ICFP Papers and Events
Call-by-Unboxed-Value
15:48 - 16:06
ICFP JFP First Papers
JFP First Paper
A correct-by-construction conversion from lambda calculus to combinator ...
16:06 - 16:24
ICFP Papers and Events
On the Operational Theory of the CPS-Calculus: Towards a Theoretical Fo ...
16:24 - 16:42
ICFP Papers and Events
Distinguished Paper
Example-Based Reasoning about the Realizability of Polymorphic Programs
16:42 - 17:00
Wed 4 Sep
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
17:00
15
30
45
18:00
15
30
45
Green 1-2-3
ICFP Papers and Events
Capabilities for Control
09:00 - 10:00
ICFP Papers and Events
Staged Compilation with Module Functors
10:30 - 10:48
ICFP Papers and Events
A Safe Low-Level Language for Computer Algebra and Its Formally Verifie ...
10:48 - 11:06
ICFP Papers and Events
Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher- ...
11:06 - 11:24
ICFP Papers and Events
Functional Pearl
Compiled, Extensible, Multi-language DSLs (Functional Pearl)
11:24 - 11:42
ICFP JFP First Papers
JFP First Paper
Knuth–Morris–Pratt illustrated (JFP Functional Pearls )
11:42 - 12:00
ICFP Student Research Competition
SRC Presentations
13:00 - 13:30
ICFP Papers and Events
Distinguished Paper
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Orde ...
13:30 - 13:48
ICFP Papers and Events
Distinguished Paper
Snapshottable Stores
13:48 - 14:06
ICFP Papers and Events
Almost-Sure Termination by Guarded Refinement
14:06 - 14:24
ICFP Papers and Events
Refinement Composition Logic
14:24 - 14:42
ICFP Papers and Events
Specification and Verification for Unrestricted Algebraic Effects and H ...
14:42 - 15:00
ICFP Papers and Events
Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics fo ...
15:30 - 15:48
ICFP JFP First Papers
JFP First Paper
Level-p-complexity of Boolean functions using thinning, memoization, an ...
15:48 - 16:06
ICFP Papers and Events
CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs
16:06 - 16:24
ICFP JFP First Papers
JFP First Paper
Contract Lenses: Reasoning about Bidirectional Programs via Calculation
16:24 - 16:42
ICFP Papers and Events
Remembering Alan Jeffrey
17:15 - 17:30
ICFP Papers and Events
ICFP 2014 Most Influential Paper Award
17:30 - 17:35
ICFP Papers and Events
Recognition of Distinguished Papers
17:35 - 17:40
ICFP Papers and Events
SRC Awards
17:40 - 17:45
ICFP Papers and Events
The functioning of ICFP
17:45 - 17:55
ICFP Papers and Events
Diversity, equality, and inclusion at ICFP
17:55 - 18:00
ICFP Papers and Events
General Chair report
18:00 - 18:10
ICFP Papers and Events
PC Chair's report
18:10 - 18:25
ICFP Papers and Events
ICFP 2025 announcement
18:25 - 18:30
Thu 5 Sep
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
Green 1-2-3
ICFP Papers and Events
Refinement Types from Light to Deep Verification
09:00 - 10:00
ICFP Papers and Events
Distinguished Paper
The Long Way to Deforestation: A Type Inference and Elaboration Techniq ...
10:30 - 10:48
ICFP Papers and Events
Contextual Typing
10:48 - 11:06
ICFP Papers and Events
Synchronous Programming with Refinement Types
11:06 - 11:24
ICFP Papers and Events
Automated Verification of Higher-Order Probabilistic Programs via a Dep ...
11:24 - 11:42
ICFP JFP First Papers
JFP First Paper
Trace contracts
11:42 - 12:00
ICFP Papers and Events
Oxidizing OCaml with Modal Memory Management
13:30 - 13:48
ICFP Papers and Events
A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer ...
13:48 - 14:06
ICFP Papers and Events
Double-Ended Bit-Stealing for Algebraic Data Types
14:06 - 14:24
ICFP Papers and Events
Functional Pearl
Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)
14:24 - 14:42
ICFP Papers and Events
Sound Borrow-Checking for Rust via Symbolic Semantics
14:42 - 15:00
ICFP Papers and Events
Functional Pearl
The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and ...
15:30 - 15:48
ICFP Papers and Events
Blame-Correct Support for Receiver Properties in Recursively-Structured ...
15:48 - 16:06
ICFP Papers and Events
A Coq Mechanization of JavaScript Regular Expression Semantics
16:06 - 16:24
ICFP JFP First Papers
JFP First Paper
Alice or Bob?: Process polymorphism in choreographies
16:24 - 16:42
ICFP Papers and Events
Experience Report
Functional Programming in Financial Markets (Experience Report)
16:42 - 17:00
x
Sat 9 Nov 00:05