IP126 Auditorium - HOPE 2026

VenueIndiana University Indianapolis

Room nameIP126 Auditorium

Floor1

Room numberIP126

Room Information

Located in Hine Hall.

Program

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 Conrad Watt Nanyang Technological University, Mae Milano Princeton University
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		Writing Makes the Researcher: The First Audience Is You PLMW @ ICFP Benjamin Delaware Purdue University
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 Derek Dreyer MPI-SWS, Joomy Korkut Bloomberg, Sam Tobin-Hochstadt Indiana University, Conrad Watt Nanyang Technological University, Mae Milano Princeton University

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

08:55 - 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.

08:55 5m Meeting		Welcome ICFP Keynotes Sam Tobin-Hochstadt Indiana University
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-calculusDistinguished PaperRemote ICFP Papers Thibaut Balabonski LMF, CNRS, Université Paris-Saclay DOI
10:48 18m Talk		First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of TerminationDistinguished Paper 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) DOI
11:06 18m Talk		Programmable Property-Based TestingDistinguished Paper 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 DOI
11:24 18m Talk		A Catenable, Splittable, Transient Sequence Data StructureDistinguished Paper ICFP Papers Arthur Charguéraud Inria, François Pottier Inria DOI
11:42 18m Talk		Adapting the MVVM pattern to C++ frontends and Agda-based backendsJFP First Paper ICFP Papers Viktor Csimma Eötvös Loránd University, Eötvös József Collegium (Budapest, Hungary) Link to publication DOI Pre-print

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 DOI Pre-print File Attached
13:48 18m Talk		Set-Theoretic Types for Erlang in PracticeRemote ICFP Papers Albert Schimpf University of Kaiserslautern-Landau, Annette Bieniusa RPTU Kaiserslautern-Landau DOI
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 DOI
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 DOI 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 DOI
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 DOI
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 DOI
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 DOI
16:42 18m Talk		Imprecise Probabilistic Programming, Precisely (Functional Pearl) ICFP Papers Jack Liell-Cock University of Oxford, Sam Staton University of Oxford DOI

17:00 - 17:15	Industrial Sponsor IntroductionsICFP Papers at IP126 Auditorium

17:00 15m Industry talk		Industrial Sponsor Introductions ICFP Papers

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 Chair(s): Benjamin Delaware Purdue University

10:30 18m Talk		QuickChecking Convergence of Rewriting Systems (Functional Pearl)Remote ICFP Papers Koen Claessen Chalmers University of Technology DOI
10:48 18m Talk		Safety First: How to Safely Disregard Unsafe Behaviour in Compiler CalculationsRemote ICFP Papers Patrick Bahr IT University of Copenhagen DOI 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 DOI
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 DOI
11:42 18m Talk		Compositional Generator Equivalence ICFP Papers Anthony Vandikas University of Toronto, Kiarash Sotoudeh University of Toronto, Marsha Chechik University of Toronto DOI

13:30 - 14:45	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 DOI
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 DOI
14:07 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 DOI
14:26 18m Talk		Unscanning by Möbius Inversion (Functional Pearl)Remote ICFP Papers Keisuke Nakano Tohoku University DOI

14:45 - 15:15	SRC PresentationsICFP SRC at IP126 Auditorium

14:45 6m Poster		Better Safe and Sorry: Tabular Types for Dynamic Languages ICFP SRC Vincent H. Chan University at Buffalo, SUNY, Matías Toro University of Chile, Qianchuan Ye University at Buffalo, SUNY
14:51 6m Poster		Coverage Types Modulo Equivalences ICFP SRC Aaryan Prakash Purdue University, Benjamin Delaware Purdue University
14:57 6m Poster		JavaScript Regular Expression Matching is PSPACE-Complete ICFP SRC Victor Deng EPFL, Aurèle Barrière CNRS, Clément Pit-Claudel EPFL
15:03 6m Poster		QuickerChick ICFP SRC Ivan Mladenov University of Maryland, College Park, Alperen Keles University of Maryland at College Park, Leonidas Lampropoulos University of Maryland at College Park
15:09 6m Poster		Incremental Property-Based Testing ICFP SRC Pablo Benario Figueroa University of Chile, Éric Tanter University of Chile

15:45 - 17:15	Business MeetingICFP Papers at IP126 Auditorium

15:45 10m Meeting		GC report ICFP Papers Sam Tobin-Hochstadt Indiana University
15:55 10m Meeting		PC-chair report ICFP Papers Manuel Serrano Inria; Université Côte d’Azur
16:05 10m Meeting		Most Influential Paper Award: ICFP 2016 ICFP Papers Sam Tobin-Hochstadt Indiana University
16:15 10m Meeting		SIGPLAN Achievement Award ICFP Papers Sam Tobin-Hochstadt Indiana University
16:25 10m Meeting		SRC awards ICFP Papers Kimball Germane Brigham Young University
16:35 5m Meeting		JFP@ICFP ICFP Papers Derek Dreyer MPI-SWS
16:40 10m Meeting		ICFP 2027 announcement ICFP Papers Steve Zdancewic University of Pennsylvania, Robbert Krebbers Radboud University Nijmegen
16:50 25m Meeting		Programming Contest report and winners ICFP Papers Nolen Royalty

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:48 - 12:00	Program AnalysisICFP Papers at IP126 Auditorium Chair(s): Ben Greenman University of Utah

10:48 18m Talk		Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report) ICFP Papers Zoe Paraskevopoulou National Technical University of Athens DOI
11:06 18m Talk		Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)Remote ICFP Papers Eleftherios Ioannidis Microsoft Research, Nikhil Swamy Microsoft Research, Gabriel Ebner Microsoft Research, Matthai Philipose Microsoft Research, Tahina Ramananandro Microsoft Research DOI
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 DOI
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 DOI

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 DOI 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 DOI
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 DOI
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 DOI
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 DOI Pre-print

15:30 - 17:00	Effects, Semantics, and Program AnalysisICFP Papers at IP126 Auditorium Chair(s): Ben Greenman University of Utah

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 DOI
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 DOI
16:06 18m Talk		Demand-on-Demand Control-Flow Analysis ICFP Papers Chahyun Kang Brigham Young University, Kimball Germane Brigham Young University DOI
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 DOI
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 DOI

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 Editors (Keynote)Keynote Haskell K: Ravi Chugh University of Chicago DOI
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 DOI
11:30 30m Talk		Xeus-Haskell: Interactive Haskell Computing in the Browser Haskell Masaya Taniguchi RIKEN AIP
12:00 30m Talk		Turning Parser Errors into Suggestions for REPL-Driven DSLs (Functional Pearl) 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 DOI

14:00 - 15:30	Afternoon SessionHaskell at IP126 Auditorium Chair(s): J. Garrett Morris University of Iowa

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 DOI
14:30 30m Talk		Tikka: An Interpreter and Debugger for a Pedagogical Subset of HaskellRemote Haskell Alex Hobbs Department of Computer Science, University of Warwick, UK, Alex Dixon Department of Computer Science, University of Warwick, UK DOI
15:00 10m Talk		Lightning Talk: Modern Haskell profiling with Haskell Inspector Haskell Luite Stegeman ICAN Group
15:10 10m Talk		Lightning Talk: Prefix Matching using Classes that Count Haskell Jan-Willem Maessen Nectry Inc.

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

16:00 35m Talk		Arbiter: Distributed Job Queues using Haskell and PostgreSQLInvited Haskell I: Joshua Miller H-E-B
16:35 10m Talk		Lightning Talk: Fixen: A Fixed-Point Generator for Haskell Haskell Michael D. Adams National University of Singapore
16:45 10m Talk		Lightning Talk: What's Next with Freer Arrows? Haskell Yao Li Portland State University
16:55 10m Talk		Lightning Talk: Could coapplicatives contain comonads? Haskell J. A. Carr University of Chicago
17:05 10m Talk		Lightning Talk: Morphosyntactic Programming: Case, Mood, and Type-Directed Disambiguation for Turkish-Like Syntax Haskell Joomy Korkut Bloomberg
17:15 10m Talk		Lightning Talk: Sticks: A (wiki) tool for semantic thought (keywords: hakyll pandoc typst linguistics come to my talk pls) Haskell JJ University of British Columbia

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)Keynote Haskell K: Stephanie Weirich University of Pennsylvania DOI
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 HaskellRemote Haskell Matthias Hetzenberger TU Wien, Georg Moser University of Innsbruck, Florian Zuleger TU Vienna DOI 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 DOI
12:00 10m Talk		Lightning Talk: Formalizing explicit alpha-equivalence Haskell Aaron Stump Boston College
12:10 10m Talk		Lightning Talk: Programming with Extensible Recursive Datatypes Haskell J. Garrett Morris University of Iowa
12:20 10m Talk		Lightning Talk: Testing smart contracts with QuickCheck Haskell John Hughes Chalmers University of Technology, Sweden

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

14:00 20m Talk		Program chair's report Haskell Lindsey Kuper University of California, Santa Cruz
14:20 70m		Unconferencing session Haskell

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	8:00						30						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												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																		ICFP Papers Industrial Sponsor Introductions

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						17:00						30
IP126 Auditorium	ICFP Keynotes Keynote: Lindsey Kuper																		ICFP Papers Languages and DSLs																																				ICFP Papers Testing and Verification															ICFP SRC SRC Presentations												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

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 Writing Makes the Researcher: The First Audience Is You 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	8:00			15			30			45			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												ICFP Keynotes Welcome 08:55 - 09:00	ICFP Keynotes Deterministic Concurrency 09:00 - 10:00																		ICFP PapersDistinguished PaperRemote Inlining as a space optimization: a simple time- and space-invariant im ... 10:30 - 10:48				ICFP PapersDistinguished Paper First-Class Constrained Types: Elaboration, Type Inference, Approximati ... 10:48 - 11:06			ICFP PapersDistinguished Paper Programmable Property-Based Testing 11:06 - 11:24				ICFP PapersDistinguished Paper A Catenable, Splittable, Transient Sequence Data Structure 11:24 - 11:42			ICFP PapersJFP First Paper Adapting the MVVM pattern to C++ frontends and Agda-based backends 11:42 - 12:00																						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				ICFP Papers Industrial Sponsor Introductions 17:00 - 17:15

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			15:00			15			30			45			16:00			15			30			45			17: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:07			ICFP Papers Animated Pictures for Slide Presentations (Functional Pearl): From the ... 14:07 - 14:26				ICFP PapersRemote Unscanning by Möbius Inversion (Functional Pearl) 14:26 - 14:45				ICFP SRC Better Safe and Sorry: Tabular Types for Dynamic Languages 14:45 - 14:51	ICFP SRC Coverage Types Modulo Equivalences 14:51 - 14:57	ICFP SRC JavaScript Regular Expression Matching is PSPACE-Complete 14:57 - 15:03		ICFP SRC QuickerChick 15:03 - 15:09	ICFP SRC Incremental Property-Based Testing 15:09 - 15:15							ICFP Papers GC report 15:45 - 15:55		ICFP Papers PC-chair report 15:55 - 16:05		ICFP Papers Most Influential Paper Award: ICFP 2016 16:05 - 16:15		ICFP Papers SIGPLAN Achievement Award 16:15 - 16:25		ICFP Papers SRC awards 16:25 - 16:35		ICFP Papers JFP@ICFP 16:35 - 16:40	ICFP Papers ICFP 2027 announcement 16:40 - 16:50		ICFP Papers Programming Contest report and winners 16:50 - 17:15

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 Papers Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Expe ... 10:48 - 11:06			ICFP PapersRemote 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			17:00			15			30			45
IP126 Auditorium	Haskell Welcome 09:00 - 09:05	HaskellKeynote The Next 700 Block-Based Editors (Keynote) 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 Turning Parser Errors into Suggestions for REPL-Driven DSLs (Functional ... 12:00 - 12:30																								Haskell CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph S ... 14:00 - 14:30						HaskellRemote Tikka: An Interpreter and Debugger for a Pedagogical Subset of Haskell 14:30 - 15:00						Haskell Lightning Talk: Modern Haskell profiling with Haskell Inspector 15:00 - 15:10		Haskell Lightning Talk: Prefix Matching using Classes that Count 15:10 - 15:20										HaskellInvited Arbiter: Distributed Job Queues using Haskell and PostgreSQL 16:00 - 16:35							Haskell Lightning Talk: Fixen: A Fixed-Point Generator for Haskell 16:35 - 16:45		Haskell Lightning Talk: What's Next with Freer Arrows? 16:45 - 16:55		Haskell Lightning Talk: Could coapplicatives contain comonads? 16:55 - 17:05		Haskell Lightning Talk: Morphosyntactic Programming: Case, Mood, and Type-Direc ... 17:05 - 17:15		Haskell Lightning Talk: Sticks: A (wiki) tool for semantic thought (keywords: h ... 17:15 - 17:25

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			13:00			15			30			45			14:00			15			30			45			15: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									HaskellRemote A Cost-Aware Probability Monad for Liquid Haskell 11:00 - 11:30						Haskell Coercive Subtyping for Implicit Functorial Programming 11:30 - 12:00						Haskell Lightning Talk: Formalizing explicit alpha-equivalence 12:00 - 12:10		Haskell Lightning Talk: Programming with Extensible Recursive Datatypes 12:10 - 12:20		Haskell Lightning Talk: Testing smart contracts with QuickCheck 12:20 - 12:30																				Haskell Program chair's report 14:00 - 14:20				Haskell Unconferencing session 14:20 - 15:30

Room information: IP126 Auditorium

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

ICFP Papers

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

ICFP Keynotes

ICFP Papers

ICFP Papers

ICFP SRC

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