Program - ICFP 2024

Detailed Table Session Timeline Detailed Timeline

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, ViennaSelect other time zone

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 programSpecify 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 2 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	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Auditorium San Fedele																												FARM Refactoring Musical Thought 19:00 - 20:00							FARM Live Coding Konnakol 20:20 - 20:35		FARM Self-censorship 20:35 - 20:45		FARM Hydra FCS: A Performance 20:45 - 20:55	FARM WAYA 20:55 - 21:10	FARM Gamyeon III 21:10 - 21:20
Meeting 3	FARM Welcome to FARM! 09:00 - 09:10		FARM Using Functional Reactive Programming for Robotic Art 09:10 - 09:45			FARM Bridging art and mathematics with Tessella: a Scala functional library ... 09:45 - 10:08		FARM Functional Curves and Surfaces: Algebraic Geometry Inspired Visuals in ... 10:08 - 10:30				FARM Trane: Musical Janet on the Web 11:00 - 11:22		FARM From Konnakol to Live Coding 11:22 - 11:45		FARM Demo: Composable Compositions in Tonart 11:45 - 12:07		FARM The Maquette Monad 12:07 - 12:30								FARM Demo: A Geometric Approach to Generate Musical Rhythmic Patterns in Haskell 14:00 - 14:22		FARM Diffusion-Based Sound Synthesis in Music Production 14:22 - 14:45		FARM Demo: Functional Sound Design 14:45 - 14:55	FARM A Progressive-Adaptive Music Generator (PAMG): An Approach to Interacti ... 14:55 - 15:30
Meeting 4	Erlang Welcome to the Erlang Workshop 09:00 - 09:05	Erlang (Keynote) Environmentally sustainable software and data architectures 09:05 - 10:00					Erlang Unsafe Impedance: safe languages and safe by design software 10:00 - 10:30					Erlang Same same but different: A Comparative Analysis of Static Type Checkers ... 11:00 - 11:30			Erlang Nominal Types for Erlang 11:30 - 12:00		Erlang Modeling Erlang Compiler IR as SMT Formulas 12:00 - 12:30									Erlang Erla+: Translating TLA+ Models into Executable Actor-Based Implementations 14:00 - 14:30			Erlang Controlled Scheduling of Concurrent Elixir Programs 14:30 - 15:00			Erlang Is this really a refactoring? Automated equivalence checking for Erlang ... 15:00 - 15:30						Erlang Elixir-powered Low-income Animal Shelter Support: an Experience Report ... 16:00 - 16:30			Erlang The Benefits of Tierless Elixir/Potato for Engineering IoT Systems 16:30 - 17:00		Erlang Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors 17:00 - 17:30
Orange 2	HOPE An introduction to synthetic guarded domain theory with applications to ... 09:00 - 10:00											HOPE Amplifying Contextual Distance in Higher-Order Languages, using the Law ... 11:00 - 11:30			HOPE An Incremental Approach to the Semantics of Borrowing 11:30 - 12:00		HOPE Towards a linear functional translation for borrowing 12:00 - 12:30									HOPE Effectful Assembly Programming with AsmFX 14:00 - 14:30			HOPE Logical Relations for Effect Capabilities 14:30 - 15:00			HOPE Paella: algebraic effects with parameters and their handlers 15:00 - 15:30						HOPE Arrows as applicatives in a monad 16:00 - 16:30			HOPE Mechanized monadic equational reasoning for ML references 16:30 - 17:00		HOPE Modularizing Reasoning about AI Capabilities via Abstract Dijkstra Monads 17:00 - 17:30
Orange 3	PLMW @ ICFP Welcome 09:00 - 09:05	PLMW @ ICFP PLMW Icebreaker Session 09:05 - 09:45				PLMW @ ICFP Getting the Most Out of ICFP 09:45 - 10:30						PLMW @ ICFP Research, Grad School, Community - Let's chat! 11:00 - 12:00					PLMW @ ICFP Speed mentoring 12:00 - 12:30									PLMW @ ICFP How to read a research paper 14:00 - 14:45				PLMW @ ICFP Self-verification for Proof Assistants 14:45 - 15:30								PLMW @ ICFP My PhD Compass: 6 Ways to Guide a PhD Towards Success 16:00 - 16:45				PLMW @ ICFP Conclusion, survey and unstructured time 16:45 - 17:30

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	17:00	15	30	45	18:00	15	30	45	19: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 PapersJFP 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 PapersJFP 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 PapersJFP 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 PapersJFP 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 EventsDistinguished Paper Example-Based Reasoning about the Realizability of Polymorphic Programs 16:42 - 17:00
Reception desk area																													ICFP Student Research Competition SRC Posters 18:30 - 20: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 EventsFunctional Pearl Compiled, Extensible, Multi-language DSLs (Functional Pearl) 11:24 - 11:42			ICFP JFP First PapersJFP 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 EventsDistinguished Paper Error Credits: Resourceful Reasoning about Error Bounds for Higher-Orde ... 13:30 - 13:48				ICFP Papers and EventsDistinguished 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 PapersJFP 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 PapersJFP 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 EventsDistinguished 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 PapersJFP 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 EventsFunctional 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 EventsFunctional 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 PapersJFP First Paper Alice or Bob?: Process polymorphism in choreographies 16:24 - 16:42			ICFP Papers and EventsExperience Report Functional Programming in Financial Markets (Experience Report) 16:42 - 17:00

Fri 6 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
Meeting 3	miniKanrenin-person High-Performance Logic Programming on Servers, Clusters, and GPUs 09:00 - 10:00									miniKanrenremote Relational Reactive Programming: miniKanren for the Web 11:00 - 11:30			miniKanrenin-person To Be or Not To Be: Adding Integrity Constraints to stableKanren to Mak ... 11:30 - 12:00		miniKanrenin-person Six Ways to Implement Divisibility by Three in miniKanren 12:00 - 12:30									miniKanrenin-person Hosted miniKanren: Reconciling Optimizing Compilation and Extensibility 14:00 - 15:00					miniKanrenremote typedKanren: Statically Typed Relational Programming with Exhaustive Ma ... 15:00 - 15:30					miniKanrenin-person Improving stableKanren’s Backward Compatibility 16:00 - 16:30			miniKanrenremote A Relational Solver for Constraint-based Type Inference 16:30 - 17:00
Meeting 4	FProPer From C to Comonads to Climate: A Functional Programmer's Journey in Arr ... 09:00 - 10:30									FProPer Tail Modulo Async/Await 11:00 - 11:45				FProPer Ribbit with Memory Morphisms 11:45 - 12:30										FProPer A comparison of OpenCL, CUDA, and HIP as compilation targets for a func ... 14:00 - 14:45				FProPer Fusing Gathers with Integer Linear Programming 14:45 - 15:30						FProPer Functional Sparse Tensor Compilation 16:00 - 16:45				FProPer HVM2: Iteraction Combinator Evaluator 16:45 - 17:30
Meeting 5	ICFP Tutorials Aeneas, a framework to verify safe Rust programs 09:00 - 10:30									ICFP Tutorials Aeneas, a framework to verify safe Rust programs 11:00 - 12:30														ICFP Tutorials Aeneas, a framework to verify safe Rust programs 14:00 - 15:30										ICFP Tutorials Aeneas, a framework to verify safe Rust programs 16:00 - 17:30
Meeting 6				FUNARCH Architecting Functional Programs 09:30 - 10:30						FUNARCH F3: A Compiler For Feature Engineering 11:00 - 11:45				FUNARCH Design and implementation of a verified interpreter for additive manufa ... 11:45 - 12:30										FUNARCH Applying Continuous Formal Methods to Cardano 14:00 - 14:45				FUNARCH Continuations: what have they ever done for us? 14:45 - 15:30						FUNARCH Bidirectional Data Transformations 16:00 - 16:45				FUNARCH Future of FUNARCH 16:45 - 17:30
Orange 1	TyDe Welcome to TyDe 09:00 - 09:05	TyDe Types for correctness, convenience, and performance 09:05 - 10:25								TyDe A Type- And Control- Flow Analysis for System FC (Extended Abstract) 11:00 - 11:22		TyDe Dependent Types to Push Corners of the Property-based Testing (Extended ... 11:22 - 11:45		TyDe How Novices Perceive Interactive Theorem Provers (Extended Abstract) 11:45 - 12:07		TyDe Type-level Property Based Testing 12:07 - 12:30								TyDe Modal Mu-Calculus for Free in Agda 14:00 - 14:22		TyDe First-class Algebraic Presentations with Elaborator Reflection (Extende ... 14:22 - 14:45		TyDe Normalizable types 14:45 - 15:07		TyDe Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the ... 15:07 - 15:30				TyDe Typed, Concise, Nanopass (pick 3) (Extended Abstract) 16:00 - 16:22		TyDe Term Search in Rust 16:22 - 16:45		TyDe Towards Type-Directed API Search for Mainstream Languages 16:45 - 17:07			TyDe TyDe closing 17:07 - 17:30
Orange 2				ML Designing interrupts for ML and OCaml 09:30 - 10:00		ML Fram: Named Parameters Pushed to the Limit 10:00 - 10:30				ML Is there a use for linear types? 11:00 - 11:30			ML Automatic Differentiation via Effects and Handlers in OCaml 11:30 - 12:00		ML Rethinking the Value Restriction 12:00 - 12:30									ML Safe Pattern Generation for Multi-Stage Programming 14:00 - 14:30			ML Pattern-matching on mutable values: danger! 14:30 - 15:00		ML Light-speed type unification modulo isomorphisms 15:00 - 15:30					ML Labeled Tuples (Informed Position) 16:00 - 16:30			ML Wasm_of_ocaml 16:30 - 17:00
Orange 3	Haskell Welcome 09:00 - 09:05	Haskell Fabricating Functional Formalisms for Fun 09:05 - 10:15								Haskell Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus 11:00 - 11:30			Haskell Liquid Amortization - Proving amortized complexity with LiquidHaskell ( ... 11:30 - 12:00		Haskell Making a Curry Interpreter using Effects and Handlers 12:00 - 12:30									Haskell State of GHC 14:00 - 15:10										Haskell Controlling Computation Granularity through Fusion in Improving Floatin ... 16:00 - 16:30			Haskell [HIW] Thrive with HEAD - How to adopt innovation from GHC HEAD timely i ... 16:30 - 16:50		Haskell Lightning talks I 16:50 - 17:30

Sat 7 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
Meeting 4	Scheme Scheme on WebAssembly: It is happening! 09:00 - 10:00					Scheme An Implementation of a Visual Stepper in the GRASP Programming System 10:00 - 10:30					Scheme A Teaching Language for Specification 11:00 - 11:30			Scheme Beyond SICP - Design and Implementation of a Notional Machine for Scheme 11:30 - 12:00		Scheme Nocksche and Nocko 12:00 - 12:30									Scheme Tutorial on Program Transformations 14:00 - 15:30										Scheme Challenges in the Design and Implementation of Teaching Languages for EDSLs 16:00 - 17:00
Meeting 5	ICFP Tutorials Teaching functional programming 09:00 - 10:30										ICFP Tutorials Teaching functional programming 11:00 - 12:30														ICFP Tutorials Teaching functional programming 14:00 - 15:30										ICFP Tutorials Teaching functional programming 16:00 - 17:30
Orange 2	OCamlin-person On the design and implementation of Modular Explicits 09:00 - 09:22		OCamlin-person Flambda2 Validator 09:22 - 09:45		OCamlin-person A Non-allocating Option 09:45 - 10:07		OCamlin-person Mixed Blocks: Storing More Fields Flat 10:07 - 10:30				OCamlin-person Structured diagnostics for the OCaml compiler 11:00 - 11:22		OCamlin-person Project-wide occurrences for OCaml, a progress report 11:22 - 11:45		OCamlin-person Mica: Automated Differential Testing for OCaml Modules 11:45 - 12:07		OCamlin-person First-Class Windows: Building a Roadmap for OCaml on Windows 12:07 - 12:30								OCamlin-person Picos — Interoperable effects based concurrency 14:00 - 14:22		OCamlremote Distributed Actors in OCaml 14:22 - 14:45		OCamlin-person Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml 14:45 - 15:07		OCamlin-person Saturn: a library of verified concurrent data structures for OCaml 5 15:07 - 15:30				OCamlin-person Opam 2.2 and beyond 16:00 - 16:22		OCamlin-person Recursion schemes in OCaml: An experience report 16:22 - 16:45		OCamlremote ChorCaml: Functional Choreographic Programming in OCaml 16:45 - 17:07		OCamlin-person B · o · B, a universal & secure file-transfer software in OCaml 17:07 - 17:30
Orange 3	Haskell MicroHs - A Small Compiler for Haskell 09:00 - 09:30			Haskell Higher Order Patterns for Rewrite Rules 09:30 - 10:00		Haskell Welcome to the Parti(tioning) (Functional Pearl) 10:00 - 10:30					Haskell [HIW] Analysing the heap of uninstrumented Haskell programs using ghc-debug 11:00 - 11:22		Haskell [HIW] A zero-copy interface to compact regions powered by destinations 11:22 - 11:45		Haskell [HIW] Building Haskell with Buck2 11:45 - 12:07		Haskell [HIW] The JavaScript FFI feature in GHC Wasm backend 12:07 - 12:30								Haskell Calculating Compilers Effectively 14:00 - 14:30			Haskell Cloaca: A Concurrent Hardware Garbage Collector for Non-Strict Function ... 14:30 - 15:00		Haskell Functional Reactive Programming, Rearranged 15:00 - 15:30					Haskell Lightning talks II / Chairs' report / Future of HS discussion 16:00 - 17:30

ICFP 2024 Program

Mon 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 3 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 4 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 5 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Co-hosted Symposia

ICFP 2024 Program

Switch Program View

Program Display Configuration

Mon 2 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 3 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 4 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 5 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Mon 2 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 3 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 4 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 5 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 6 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change