IP126 Auditorium - ICFP 2026

VenueIndiana University Indianapolis

Room nameIP126 Auditorium

Floor1

Room numberIP126

Room Information

Located in Hine Hall.

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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 24 Aug
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Morning SessionPLMW @ ICFP at IP126 Auditorium

09:00 30m Day opening		Welcome PLMW @ ICFP
09:30 60m Other		Icebreaker PLMW @ ICFP

11:00 - 12:30	Pre-Lunch SessionPLMW @ ICFP at IP126 Auditorium

11:00 90m Talk		How to Write Papers and Give Talks that People Can Follow PLMW @ ICFP Derek Dreyer MPI-SWS

14:00 - 15:30	Afternoon SessionPLMW @ ICFP at IP126 Auditorium

14:00 45m Talk		TBD PLMW @ ICFP
14:45 45m Talk		Reduction Semantics and How to Read Them PLMW @ ICFP Robert Bruce Findler Northwestern University

16:00 - 17:30	Evening SessionPLMW @ ICFP at IP126 Auditorium

16:00 90m Panel		Career Pathways in Programming Languages Research PLMW @ ICFP

Tue 25 Aug
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:00	Keynote: Edward LeeICFP Keynotes at IP126 Auditorium Chair(s): Manuel Serrano Inria; Université Côte d’Azur 50-minute talk followed by 10 minutes of questions.

09:00 60m Keynote		Deterministic Concurrency ICFP Keynotes K: Edward Lee University of California at Berkeley

10:30 - 12:00	Types, Testing, and Data StructuresICFP Papers at IP126 Auditorium Chair(s): Steve Zdancewic University of Pennsylvania

10:30 18m Talk		Inlining as a space optimization: a simple time- and space-invariant implementation of the weak lambda-calculusRemote ICFP Papers Thibaut Balabonski LMF, CNRS, Université Paris-Saclay
10:48 18m Talk		First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination ICFP Papers Chun Kit Lam The Hong Kong University of Science and Technology (HKUST), Florent Ferrari-Dominguez ENS de Lyon, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
11:06 18m Talk		Programmable Property-Based Testing ICFP Papers Alperen Keles University of Maryland at College Park, Justine Frank University of Maryland, College Park, Ceren Mert University of Maryland, College Park, Harrison Goldstein University at Buffalo, SUNY, Leonidas Lampropoulos University of Maryland at College Park
11:24 18m Talk		A Catenable, Splittable, Transient Sequence Data Structure ICFP Papers Arthur Charguéraud Inria, François Pottier Inria

13:30 - 15:00	Memory Models, Garbage Collection, and ConcurrencyICFP Papers at IP126 Auditorium Chair(s): Mae Milano Princeton University

13:30 18m Talk		Tail Modulo Async-AwaitRemote ICFP Papers Emma Nardino École Normale Supérieure de Lyon / LIP, Ludovic Henrio University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP, Gabriel Radanne Inria, Yannick Zakowski Inria Pre-print
13:48 18m Talk		Set-Theoretic Types for Erlang in PracticeRemote ICFP Papers Albert Schimpf University of Kaiserslautern-Landau, Annette Bieniusa RPTU Kaiserslautern-Landau
14:06 18m Talk		Mode Crossing ICFP Papers Benjamin Peters MPI-SWS, Jules Jacobs Jane Street, Diana Kalinichenko Jane Street, Liam Stevenson Jane Street, Aspen Smith Jane Street, Derek Dreyer MPI-SWS, Richard A. Eisenberg Jane Street
14:24 18m Talk		A Separation Logic for Parallel Time Complexity with Work and Span Credits ICFP Papers Alexandre Moine New York University, Sam Westrick New York University, Joseph Tassarotti New York University Pre-print
14:42 18m Talk		LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory ICFP Papers Michael Rainey Carnegie Mellon University, Michael Borkowski Purdue University, Michael Vollmer University of Kent, Chaitanya S. Koparkar Indiana University, Mikah Kainen Purdue University, Vidush Singhal Purdue University DOI Pre-print

15:30 - 17:00	Types, Semantics, and Probabilistic ProgrammingICFP Papers at IP126 Auditorium Chair(s): Leonidas Lampropoulos University of Maryland at College Park

15:30 18m Talk		Another Type Inference Algorithm for First-class Implicit Polymorphism ICFP Papers J. Garrett Morris University of Iowa
15:48 18m Talk		Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types ICFP Papers Vilem-Benjamin Liepelt University of Kent, UK, Danielle Marshall University of Glasgow, Dominic Orchard University of Cambridge; University of Kent
16:06 18m Talk		Towards a Higher-Order Bialgebraic Denotational Semantics ICFP Papers Sergey Goncharov University of Birmingham, Marco Peressotti University of Southern Denmark, Stelios Tsampas University of Southern Denmark, Henning Urbat University of Erlangen-Nuremberg, Stefano Volpe University of Southern Denmark
16:24 18m Talk		LazyHMC: Hamiltonian Monte Carlo simulation for lazy, infinite dimensional probabilistic programs ICFP Papers Maria-Nicoleta Craciun University of Oxford, C.-H. Luke Ong NTU, Tom Schrijvers KU Leuven, Sam Staton University of Oxford
16:42 18m Talk		Imprecise Probabilistic Programming, Precisely (Functional Pearl) ICFP Papers Jack Liell-Cock University of Oxford, Sam Staton University of Oxford

Wed 26 Aug
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:00	Keynote: Lindsey KuperICFP Keynotes at IP126 Auditorium Chair(s): Sam Tobin-Hochstadt Indiana University 50-minute talk followed by 10 minutes of questions.

09:00 60m Keynote		Interpreters everywhere! ICFP Keynotes K: Lindsey Kuper University of California, Santa Cruz

10:30 - 12:00	Languages and DSLsICFP Papers at IP126 Auditorium

10:30 18m Talk		QuickChecking Convergence of Rewriting Systems (Functional Pearl)Remote ICFP Papers Koen Claessen Chalmers University of Technology
10:48 18m Talk		Safety First: How to Safely Disregard Unsafe Behaviour in Compiler CalculationsRemote ICFP Papers Patrick Bahr IT University of Copenhagen Pre-print
11:06 18m Talk		Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) ICFP Papers Shushu Wu Shanghai Jiao Tong University, Chengxi Yang Shanghai Jiao Tong University, Xiwei Wu Shanghai Jiao Tong University, Qinxiang Cao Shanghai Jiao Tong University
11:24 18m Talk		Package Managers à la Carte ICFP Papers Ryan Gibb University of Cambridge, Patrick Ferris University of Cambridge, UK, David Allsopp Jane Street, Thomas Gazagnaire Tarides, Anil Madhavapeddy University of Cambridge, UK
11:42 18m Talk		Compositional Generator Equivalence ICFP Papers Anthony Vandikas University of Toronto, Kiarash Sotoudeh University of Toronto, Marsha Chechik University of Toronto

13:30 - 15:00	Testing and VerificationICFP Papers at IP126 Auditorium Chair(s): Derek Dreyer MPI-SWS

13:30 18m Talk		Bimodels and Biorthogonality for Abstract Machines ICFP Papers April Tune University of Bristol, Alex Kavvos University of Bristol
13:48 18m Talk		Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) ICFP Papers Guannan Wei Tufts University, Jun Tan Independent, Dinghong Zhong Tufts University
14:06 18m Talk		Animated Pictures for Slide Presentations (Functional Pearl): From the Shallows to the Depths of a Domain-Specific Language ICFP Papers Oliver Flatt University of Washington, Robert Bruce Findler Northwestern University, Matthew Flatt University of Utah
14:24 18m Talk		Unscanning by Möbius Inversion (Functional Pearl) ICFP Papers Keisuke Nakano Tohoku University

	15:30 - 17:00	Business MeetingICFP Papers at IP126 Auditorium Agenda: Influential Papers ICFP ’26

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:00	Keynote: Daan LeijenICFP Keynotes at IP126 Auditorium Chair(s): Robert Bruce Findler Northwestern University 50-minute talk followed by 10 minutes of questions.

09:00 60m Keynote		Efficient strong functional programming with effects and compiler guided reference counting ICFP Keynotes K: Daan Leijen Microsoft Research

10:30 - 12:00	Program AnalysisICFP Papers at IP126 Auditorium Chair(s): Ben Greenman University of Utah

10:30 18m Talk		RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and MitigationRemote ICFP Papers Yifan Xiao Peking University, Shijie Li China Southern Power Grid Company Limited, Yuhao Ge China Southern Power Grid Company Limited
10:48 18m Talk		Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)Remote ICFP Papers Zoe Paraskevopoulou National Technical University of Athens
11:06 18m Talk		Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report) ICFP Papers Eleftherios Ioannidis Microsoft Research, Nikhil Swamy Microsoft Research, Gabriel Ebner Microsoft Research, Matthai Philipose Microsoft Research, Tahina Ramananandro Microsoft Research
11:24 18m Talk		Programming Backpropagation with Reverse Handlers for Arrows ICFP Papers Takahiro Sanada Fukui Prefectural University, Keisuke Hoshino Research Institute for Mathematical Sciences, Kyoto University, Kenshin Hirai Research Institute for Mathematical Sciences, Kyoto University, Shin-ya Katsumata Kyoto Sangyo University
11:42 18m Talk		On Recursion in Graded Modal Type Theory ICFP Papers Oskar Eriksson Department of Computer Science and Engineering, University of Gothenburg and Chalmers University of Technology, Gothenburg, Sweden, Andreas Abel Gothenburg University, Nils Anders Danielsson University of Gothenburg

13:30 - 15:00	Dependent Types and ProofICFP Papers at IP126 Auditorium Chair(s): Sam Westrick New York University

13:30 18m Talk		Confluence Techniques for Dependent Type Theory with Typed ConversionRemote ICFP Papers Thiago Felicissimo Inria, Théo Winterhalter INRIA Pre-print
13:48 18m Talk		An Equational and Graphical Fixed-Point Calculus (Functional Pearl)Remote ICFP Papers Gustavo de Mendonça Freire Universidade Federal do Rio de Janeiro, Hugo Musso Gualandi Universidade Federal do Rio de Janeiro, Hugo Nobrega Universidade Federal do Rio de Janeiro, Joao Paixao Universidade Federal do Rio de Janeiro
14:06 18m Talk		Citrus: Algebraic Reasoning About Superconductor Electronics ICFP Papers Harlan Kringen , Ben Hardekopf University of California at Santa Barbara, Timothy Sherwood University of California at Santa Barbara
14:24 18m Talk		Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice ICFP Papers Matthew L. Daggitt University of Western Australia, Ekaterina Komendantskaya University of Southampton, Alessandro Bruni IT University of Copenhagen, Samuel Teuber KIT, Alistair Sirman University of Southampton, Grant Passmore Imandra Inc., Josh Smart University of Southampton
14:42 18m Talk		Completeness of Iris-Based Program Logics ICFP Papers Johannes Hostert ETH Zurich, Zichen Zhang New York University, Puming Liu NYU Shanghai, Simon Oddershede Gregersen CISPA Helmholtz Center for Information Security, Ralf Jung ETH Zurich, Joseph Tassarotti New York University Pre-print

15:30 - 17:00	Effects, Semantics, and Program AnalysisICFP Papers at IP126 Auditorium Chair(s): Benjamin Delaware Purdue University

15:30 18m Talk		HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect HandlersRemote ICFP Papers Tim Whiting Brigham Young University, Kimball Germane Brigham Young University
15:48 18m Talk		When Types Intersect and Effects Get Handled ICFP Papers Stefano Catozi LIPN, Ugo Dal Lago University of Bologna & INRIA Sophia Antipolis, Taro Sekiyama National Institute of Informatics
16:06 18m Talk		Demand-on-Demand Control-Flow Analysis ICFP Papers Chahyun Kang Brigham Young University, Kimball Germane Brigham Young University
16:24 18m Talk		Adequacy for Predicate Transformer Semantics ICFP Papers Kazuki Watanabe National Institute of Informatics; SOKENDAI, Mirai Ikebuchi Kyoto University, Mayuko Kori Research Institute for Mathematical Sciences, Kyoto University
16:42 18m Talk		*Misquoted No More: Securely Extracting F Programs with IO** ICFP Papers Cezar-Constantin Andrici MPI-SP, Abigail Pribisova MPI-SP and MPI-SWS, Danel Ahman University of Tartu, Cătălin Hriţcu MPI-SP, Exequiel Rivas Tallinn University of Technology; Ahrefs, Théo Winterhalter INRIA

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Morning SessionHaskell at IP126 Auditorium Chair(s): Lindsey Kuper University of California, Santa Cruz

09:00 5m Day opening		Welcome Haskell Lindsey Kuper University of California, Santa Cruz
09:05 70m Keynote		The Next 700 Block-Based EditorsKeynote Haskell K: Ravi Chugh University of Chicago
10:15 15m Coffee break		Break Haskell

11:00 - 12:30	Morning Session 2Haskell at IP126 Auditorium Chair(s): Yao Li Portland State University

11:00 30m Talk		Evaluating Shrinking (Experience Report) Haskell Alperen Keles University of Maryland at College Park, George Miao University of Maryland, College Park, Leonidas Lampropoulos University of Maryland at College Park
11:30 30m Talk		Xeus-Haskell: Interactive Haskell Computing in the Browser Haskell Masaya Taniguchi RIKEN AIP
12:00 30m Talk		Functional Pearl: Turning Parser Errors into Suggestions for REPL-Driven DSLs Haskell Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Elisabet Lobo-Vesga Chalmers University of Technology, Sweden, Alejandro Russo Chalmers University of Technology; University of Gothenburg

14:00 - 15:30	Afternoon SessionHaskell at IP126 Auditorium Chair(s): Lindsey Kuper University of California, Santa Cruz

14:00 30m Talk		CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph Serialisation Haskell Robert Krook Chalmers University of Technology, Sweden, Lennart Augustsson Epic Games
14:30 30m Talk		Tikka: An Interpreter and Debugger for a Pedagogical Subset of Haskell Haskell Alex Hobbs Department of Computer Science, University of Warwick, UK, Alex Dixon Department of Computer Science, University of Warwick, UK
15:00 30m		Lightning Talk Session Haskell

16:00 - 17:30	Afternoon Session 2Haskell at IP126 Auditorium Chair(s): Lindsey Kuper University of California, Santa Cruz

16:00 60m Talk		Enterprise Haskell at H-E-BInvited Haskell I: Joshua Miller H-E-B

Sat 29 Aug
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Morning SessionHaskell at IP126 Auditorium Chair(s): Lindsey Kuper University of California, Santa Cruz

09:00 5m Day opening		Welcome (Day 2) Haskell Lindsey Kuper University of California, Santa Cruz
09:05 70m Keynote		What have we learned about Dependently Typed Programming from Haskell?Keynote Haskell K: Stephanie Weirich University of Pennsylvania
10:15 15m Coffee break		Break Haskell

11:00 - 12:30	Morning Session 2Haskell at IP126 Auditorium Chair(s): Yao Li Portland State University

11:00 30m Talk		A Cost-Aware Probability Monad for Liquid Haskell Haskell Matthias Hetzenberger TU Wien, Georg Moser University of Innsbruck, Florian Zuleger TU Vienna Pre-print
11:30 30m Talk		Coercive Subtyping for Implicit Functorial Programming Haskell Ryan Doenges Boston College, Caden Parajuli Boston College, Ayden Lamparski Boston College, Ke Wu Johns Hopkins University, Aaron Stump Boston College
12:00 30m Talk		Program chair's report Haskell Lindsey Kuper University of California, Santa Cruz

	14:00 - 15:30	Afternoon SessionHaskell at IP126 Auditorium

	16:00 - 17:30	Afternoon Session 2Haskell at IP126 Auditorium

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	PLMW @ ICFP Morning Session																								PLMW @ ICFP Pre-Lunch Session																																				PLMW @ ICFP Afternoon Session																								PLMW @ ICFP Evening Session

Tue 25 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	ICFP Keynotes Keynote: Edward Lee																		ICFP Papers Types, Testing, and Data Structures																																				ICFP Papers Memory Models, Garbage Collection, and Concurrency																								ICFP Papers Types, Semantics, and Probabilistic Programming

Wed 26 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	ICFP Keynotes Keynote: Lindsey Kuper																		ICFP Papers Languages and DSLs																																				ICFP Papers Testing and Verification																								ICFP Papers Business Meeting

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	ICFP Keynotes Keynote: Daan Leijen																		ICFP Papers Program Analysis																																				ICFP Papers Dependent Types and Proof																								ICFP Papers Effects, Semantics, and Program Analysis

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	Haskell Morning Session																								Haskell Morning Session 2																																				Haskell Afternoon Session																								Haskell Afternoon Session 2

Sat 29 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	Haskell Morning Session																								Haskell Morning Session 2																																				Haskell Afternoon Session																								Haskell Afternoon Session 2

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	PLMW @ ICFP Welcome 09:00 - 09:30						PLMW @ ICFP Icebreaker 09:30 - 10:30																		PLMW @ ICFP How to Write Papers and Give Talks that People Can Follow 11:00 - 12:30																																				PLMW @ ICFP TBD 14:00 - 14:45									PLMW @ ICFP Reduction Semantics and How to Read Them 14:45 - 15:30															PLMW @ ICFP Career Pathways in Programming Languages Research 16:00 - 17:30

Tue 25 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	ICFP Keynotes Deterministic Concurrency 09:00 - 10:00																		ICFP PapersRemote Inlining as a space optimization: a simple time- and space-invariant im ... 10:30 - 10:48				ICFP Papers First-Class Constrained Types: Elaboration, Type Inference, Approximati ... 10:48 - 11:06			ICFP Papers Programmable Property-Based Testing 11:06 - 11:24				ICFP Papers A Catenable, Splittable, Transient Sequence Data Structure 11:24 - 11:42																									ICFP PapersRemote Tail Modulo Async-Await 13:30 - 13:48				ICFP PapersRemote Set-Theoretic Types for Erlang in Practice 13:48 - 14:06			ICFP Papers Mode Crossing 14:06 - 14:24				ICFP Papers A Separation Logic for Parallel Time Complexity with Work and Span Credits 14:24 - 14:42			ICFP Papers LoCalMem: Type-Directed Adaptive Serialization for Location- and Conten ... 14:42 - 15:00										ICFP Papers Another Type Inference Algorithm for First-class Implicit Polymorphism 15:30 - 15:48				ICFP Papers Same Coeffect, Different Base: Connecting Two Dominant Approaches to Gr ... 15:48 - 16:06			ICFP Papers Towards a Higher-Order Bialgebraic Denotational Semantics 16:06 - 16:24				ICFP Papers LazyHMC: Hamiltonian Monte Carlo simulation for lazy, infinite dimensio ... 16:24 - 16:42			ICFP Papers Imprecise Probabilistic Programming, Precisely (Functional Pearl) 16:42 - 17:00

Wed 26 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	ICFP Keynotes Interpreters everywhere! 09:00 - 10:00																		ICFP PapersRemote QuickChecking Convergence of Rewriting Systems (Functional Pearl) 10:30 - 10:48				ICFP PapersRemote Safety First: How to Safely Disregard Unsafe Behaviour in Compiler Calc ... 10:48 - 11:06			ICFP Papers Assertions for Free: Transferring Invariants from Algorithm to Implemen ... 11:06 - 11:24				ICFP Papers Package Managers à la Carte 11:24 - 11:42			ICFP Papers Compositional Generator Equivalence 11:42 - 12:00																						ICFP Papers Bimodels and Biorthogonality for Abstract Machines 13:30 - 13:48				ICFP Papers Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion ... 13:48 - 14:06			ICFP Papers Animated Pictures for Slide Presentations (Functional Pearl): From the ... 14:06 - 14:24				ICFP Papers Unscanning by Möbius Inversion (Functional Pearl) 14:24 - 14:42

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	ICFP Keynotes Efficient strong functional programming with effects and compiler guide ... 09:00 - 10:00																		ICFP PapersRemote RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident ... 10:30 - 10:48				ICFP PapersRemote Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Expe ... 10:48 - 11:06			ICFP Papers Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience ... 11:06 - 11:24				ICFP Papers Programming Backpropagation with Reverse Handlers for Arrows 11:24 - 11:42			ICFP Papers On Recursion in Graded Modal Type Theory 11:42 - 12:00																						ICFP PapersRemote Confluence Techniques for Dependent Type Theory with Typed Conversion 13:30 - 13:48				ICFP PapersRemote An Equational and Graphical Fixed-Point Calculus (Functional Pearl) 13:48 - 14:06			ICFP Papers Citrus: Algebraic Reasoning About Superconductor Electronics 14:06 - 14:24				ICFP Papers Compositional Neural-Cyber-Physical System Verification in the Interact ... 14:24 - 14:42			ICFP Papers Completeness of Iris-Based Program Logics 14:42 - 15:00										ICFP PapersRemote HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effec ... 15:30 - 15:48				ICFP Papers When Types Intersect and Effects Get Handled 15:48 - 16:06			ICFP Papers Demand-on-Demand Control-Flow Analysis 16:06 - 16:24				ICFP Papers Adequacy for Predicate Transformer Semantics 16:24 - 16:42			ICFP Papers Misquoted No More: Securely Extracting F* Programs with IO 16:42 - 17:00

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) 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
IP126 Auditorium	Haskell Welcome 09:00 - 09:05	HaskellKeynote The Next 700 Block-Based Editors 09:05 - 10:15														Haskell Break 10:15 - 10:30									Haskell Evaluating Shrinking (Experience Report) 11:00 - 11:30						Haskell Xeus-Haskell: Interactive Haskell Computing in the Browser 11:30 - 12:00						Haskell Functional Pearl: Turning Parser Errors into Suggestions for REPL-Drive ... 12:00 - 12:30																								Haskell CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph S ... 14:00 - 14:30						Haskell Tikka: An Interpreter and Debugger for a Pedagogical Subset of Haskell 14:30 - 15:00						Haskell Lightning Talk Session 15:00 - 15:30												HaskellInvited Enterprise Haskell at H-E-B 16:00 - 17:00

Sat 29 Aug
Displayed time zone: Eastern Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
IP126 Auditorium	Haskell Welcome (Day 2) 09:00 - 09:05	HaskellKeynote What have we learned about Dependently Typed Programming from Haskell? 09:05 - 10:15														Haskell Break 10:15 - 10:30									Haskell A Cost-Aware Probability Monad for Liquid Haskell 11:00 - 11:30						Haskell Coercive Subtyping for Implicit Functorial Programming 11:30 - 12:00						Haskell Program chair's report 12:00 - 12:30

Room information: IP126 Auditorium

This program is tentative and subject to change.

Program Display Configuration

Mon 24 AugDisplayed time zone: Eastern Time (US & Canada) change

Tue 25 AugDisplayed time zone: Eastern Time (US & Canada) change

Wed 26 AugDisplayed time zone: Eastern Time (US & Canada) change

Thu 27 AugDisplayed time zone: Eastern Time (US & Canada) change

Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change

Sat 29 AugDisplayed time zone: Eastern Time (US & Canada) change

Mon 24 AugDisplayed time zone: Eastern Time (US & Canada) change

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

PLMW @ ICFP

Tue 25 AugDisplayed time zone: Eastern Time (US & Canada) change

ICFP Keynotes

ICFP Papers

ICFP Papers

ICFP Papers

Wed 26 AugDisplayed time zone: Eastern Time (US & Canada) change

ICFP Keynotes

ICFP Papers

ICFP Papers

ICFP Papers

Thu 27 AugDisplayed time zone: Eastern Time (US & Canada) change

ICFP Keynotes

ICFP Papers

ICFP Papers

ICFP Papers

Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change

Haskell

Haskell

Haskell

Haskell

Sat 29 AugDisplayed time zone: Eastern Time (US & Canada) change

Haskell

Haskell

Haskell

Haskell

Mon 24 AugDisplayed time zone: Eastern Time (US & Canada) change

Tue 25 AugDisplayed time zone: Eastern Time (US & Canada) change

Wed 26 AugDisplayed time zone: Eastern Time (US & Canada) change

Thu 27 AugDisplayed time zone: Eastern Time (US & Canada) change

Fri 28 AugDisplayed time zone: Eastern Time (US & Canada) change

Sat 29 AugDisplayed time zone: Eastern Time (US & Canada) change

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change

Tue 25 Aug
Displayed time zone: Eastern Time (US & Canada) change

Wed 26 Aug
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

Sat 29 Aug
Displayed time zone: Eastern Time (US & Canada) change

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change

Tue 25 Aug
Displayed time zone: Eastern Time (US & Canada) change

Wed 26 Aug
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

Sat 29 Aug
Displayed time zone: Eastern Time (US & Canada) change

Mon 24 Aug
Displayed time zone: Eastern Time (US & Canada) change

Tue 25 Aug
Displayed time zone: Eastern Time (US & Canada) change

Wed 26 Aug
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Aug
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Aug
Displayed time zone: Eastern Time (US & Canada) change

Sat 29 Aug
Displayed time zone: Eastern Time (US & Canada) change