Program - ICFP 2023

Detailed Table Session Timeline Detailed Timeline

Time Zone

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

Use conference time zone: (GMT-07:00) Pacific 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 4 Sep
Displayed time zone: Pacific 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
Adams	Erlang Welcome to the Erlang Workshop 09:00 - 09:15		Erlang Keynote: Code Analysis at WhatsApp 09:15 - 10:30							Erlang Invited Talk: A Type System for Elixir 11:00 - 11:45				Erlang A semantics of Core Erlang with handling of signals 11:45 - 12:15			Erlang Lightning Talk: How To Add Dialyzer To An Existing Elixir Project Witho ... 12:15 - 12:30							Erlang Invited Talk: Set-theoretic Types for Erlang 14:00 - 14:45				ErlangRemote Mria: an eventually consistent Mnesia 14:45 - 15:15			Erlang Lightning Talk: Towards Mailbox Typing for Erlang 15:15 - 15:30			Erlang Generation and Refinement of Testing Models 16:00 - 16:30			Erlang TLS the Erlang/OTP way (Experience Report) 16:30 - 17:00		Erlang Closing of the Erlang Workshop 17:00 - 17:15
B - Fifth Avenue	PLMW @ ICFP PLMW Icebreaker Session 09:00 - 09:45				PLMW @ ICFP How to Thrive as a PhD student in PL 09:45 - 10:30					PLMW @ ICFP Getting Productive in Research 11:00 - 11:45				PLMW @ ICFP Getting the Most Out of ICFP 11:45 - 12:30										PLMW @ ICFP A History of Subtyping 14:00 - 14:45				PLMW @ ICFPRemote Mental Health Mentoring for PL Students 14:45 - 15:30						PLMW @ ICFP How to Write a Great Research Paper 16:00 - 16:45				PLMW @ ICFP Speed Mentoring 16:45 - 17:30
Grand Crescent	HIW Introduction 09:00 - 09:30			HIW GHC status report 09:30 - 10:30						HIW Integrating Liquid Haskell with GHC 11:00 - 11:30			HIW Error Message Annotation Plugins for Haskell 11:30 - 12:00		HIW An Algorithm Generator for Fixed-point Oriented Programming (Lightning ... 12:00 - 12:15		HIW Advancements in info table profiling (Lightning Talk) 12:15 - 12:30							HIW GHC Plugin for Setting Breakpoints 14:00 - 14:30			HIW Building web apps with Haskell and IHP (Lightning Talk) 14:30 - 14:45	HIW Deriving as a library (Lightning Talk) 14:45 - 15:00	HIW MicroHaskell (Lightning Talk) 15:00 - 15:15		HIWRemote Using MMTk Garbage Collection in GHC (Lightning Talk) 15:15 - 15:30			HIW Severing ties: the need for non-updateable thunks 16:00 - 16:30			HIW ghc-specter: a GHC plugin that inspects the GHC state on live 16:30 - 17:00		HIW Execution domains in GHC/Haskell (Lightning Talk) 17:00 - 17:15		HIW Kudzu (Lightning Talk) 17:15 - 17:30
Olympic	FHPNC Programming the Groq TSP Architecture in Haskell with Haste 09:00 - 09:45				FHPNC Rank-Polymorphism for Shape-Guided Blocking 09:45 - 10:30					FHPNC Fast Deep Learning with Categories 11:00 - 11:45				FHPNC Efficient GPU Implementation of Affine Index Permutations on Arrays 11:45 - 12:30										FHPNC Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code 14:00 - 14:45				FHPNC The best multicore-parallelization refactoring you've never heard of 14:45 - 15:30						FHPNC Shape-Constrained Array Programming with Size-Dependent Types 16:00 - 16:45				FHPNC Community Update and Discussion 16:45 - 17:30
St Helens	TyDe Welcome 09:00 - 09:10	TyDe Multi-phase computation as an applicative functor 09:10 - 10:10								TyDe A Calculus of Inductive Linear Constructions 11:00 - 11:22		TyDe A Dependently Typed Language with Dynamic Equality 11:22 - 11:45		TyDe Combining Dependency, Grades, and Adjoint Logic 11:45 - 12:07		TyDeRecorded Infix-Extensible Record Types for Tabular Data 12:07 - 12:30								TyDe An Intrinsically-typed Probabilistic Programming Language in Coq (Exten ... 14:00 - 14:22		TyDe A Type System For Feature Engineering (Extended Abstract) 14:22 - 14:45		TyDe A type-theoretic account of quantum computation (Extended Abstract) 14:45 - 15:07		TyDe Exploring modal types for the Intel Quantum SDK (Extended Abstract) 15:07 - 15:30				TyDe Semantic Encapsulation using Linking Types 16:00 - 16:22		TyDe Towards Tagless Interpretation of Stratified System F (Extended Abstract) 16:22 - 16:45		TyDe Types as First-Class Values in Fuzion (Extended Abstract) 16:45 - 17:07		TyDe Pipit: Reactive Systems in F★ (Extended Abstract) 17:07 - 17:30
Vashon	HOPE One Weird Trick to Untie Landin's Knot 09:00 - 09:30			HOPERemote Operational game semantics for generative algebraic effects and handlers 09:30 - 10:00		HOPE Higher-Order Weakest Precondition Transformers via a CPS Transformation 10:00 - 10:30				HOPE Event-Driven Multiparty Session Actors 11:00 - 11:30			HOPE Flattening Meets Effects: A Surprising Connection 11:30 - 12:00											HOPE Continuations and Coexponentials 14:00 - 14:30			HOPE Granite: Compositional Functional Logic Programming 14:30 - 15:00		HOPE Semantic foundations of potential-synthesis for expected amortised-cost ... 15:00 - 15:30					HOPE A proof of normalization for effect handlers 16:00 - 16:30			HOPE Free Variable as Effect, in Practice 16:30 - 17:00

Tue 5 Sep
Displayed time zone: Pacific 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
A - Grand Ballroom 2					ICFP Papers and Events Welcome 08:50 - 09:00	ICFP Keynotes Programming for the planet 09:00 - 10:00						ICFP Papers and Events A General Fine-Grained Reduction Theory for Effect Handlers 10:30 - 11:00		ICFP Papers and Events Modular Models of Monoids with Operations 11:00 - 11:30		ICFP Papers and Events With or Without You: Programming with Effect Exclusion 11:30 - 12:00								ICFP Keynotes As low-level as possible, but no lower 13:30 - 14:30						ICFP Papers and Events Special Delivery: Programming with Mailbox Types 15:00 - 15:30		ICFP Papers and EventsFunctional PearlDistinguished Paper HasChor: Functional Choreographic Programming for All (Functional Pearl) 15:30 - 16:00				ICFP Papers and Events Student research contest talks 16:30 - 17:05			ICFP Papers and Events Programming contest report 17:05 - 17:30
B - Fifth Avenue												ICFP Papers and EventsJFP Presentation Is Sized Typing for Coq Practical? 10:30 - 11:00		ICFP Papers and Events Dependently-Typed Programming with Logical Equality Reflection 11:00 - 11:30		ICFP Papers and Events A Graded Modal Dependent Type Theory with a Universe and Erasure, Forma ... 11:30 - 12:00														ICFP Papers and Events Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters 15:00 - 15:30		ICFP Papers and EventsFunctional Pearl More Fixpoints! (Functional Pearl) 15:30 - 16:00

Wed 6 Sep
Displayed time zone: Pacific 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
A - Grand Ballroom 2	ICFP Keynotes TypeScript: Static types for JavaScript 09:00 - 10:00						ICFP Papers and Events Modularity, Code Specialization, and Zero-Cost Abstractions for Program ... 10:30 - 11:00		ICFP Papers and Events Higher-Order Property-Directed Reachability 11:00 - 11:30		ICFP Papers and EventsRemote Verifying Reliable Network Components in a Distributed Separation Logic ... 11:30 - 12:00								ICFP Papers and Events Timely Computation 13:30 - 14:00		ICFP Papers and EventsFunctional PearlJFP PresentationRemote A well-known representation of monoids and its application to the funct ... 14:00 - 14:30				ICFP Papers and Events Generic Programming with Extensible Data Types: Or, Making Ad Hoc Exten ... 15:00 - 15:30		ICFP Papers and Events Typing Records, Maps, and Structs 15:30 - 16:00				ICFP Papers and Events Awards 16:30 - 16:45	ICFP Papers and Events JFP at ICFP 16:45 - 16:50	ICFP Papers and Events Diversity, equality, and inclusion at ICFP 16:50 - 16:55	ICFP Papers and Events PC Chair's report 16:55 - 17:10		ICFP Papers and Events ICFP 2024 announcement 17:10 - 17:15
B - Fifth Avenue							ICFP Papers and EventsDistinguished Paper Reflecting on Random Generation 10:30 - 11:00		ICFP Papers and EventsExperience Report Etna: An Evaluation Platform for Property-Based Testing (Experience Report) 11:00 - 11:30		ICFP Papers and EventsRemote Formal Specification and Testing for Reinforcement Learning 11:30 - 12:00								ICFP Papers and Events Embedding by Unembedding 13:30 - 14:00		ICFP Papers and Events MacoCaml: Staging Composable and Compilable Macros 14:00 - 14:30				ICFP Papers and EventsJFP Presentation Modal FRP for all: Functional reactive programming without space leaks ... 15:00 - 15:30		ICFP Papers and Events Asynchronous Modal FRP 15:30 - 16:00

Thu 7 Sep
Displayed time zone: Pacific 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	18:00	15	30	45
A - Grand Ballroom 2	ICFP Keynotes The Cogent and Dargent approach to facilitating verified software devel ... 09:00 - 10:00						ICFP Papers and EventsDistinguished Paper The Verse Calculus: A Core Calculus for Deterministic Functional Logic ... 10:30 - 11:00		ICFP Papers and Events FP²: Fully in-Place Functional Programming 11:00 - 11:30		ICFP Papers and EventsExperience Report LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report) 11:30 - 12:00								ICFP Papers and EventsFunctional Pearl Intrinsically Typed Sessions with Callbacks (Functional Pearl) 13:30 - 14:00		ICFP Papers and EventsFunctional PearlRemote Dependent Session Protocols in Separation Logic from First Principles ( ... 14:00 - 14:30				ICFP Papers and Events Calculating Compilers for Concurrency 15:00 - 15:30		ICFP Papers and EventsExperience Report Trustworthy Runtime Verification via Bisimulation (Experience Report) 15:30 - 16:00				ICFP Papers and Events Fireside chat: Amal Ahmed hosts Felix Klock and Greg Morrisett 16:30 - 17:30					ICFP Papers and Events Ask me anything with Tim Sweeney 17:45 - 18:15
B - Fifth Avenue							ICFP Papers and Events Explicit Refinement Types 10:30 - 11:00		ICFP Papers and EventsExperience Report Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) 11:00 - 11:30										ICFP Papers and Events How to Evaluate Blame for Gradual Types, Part 2 13:30 - 14:00		ICFP Papers and EventsRemoteExperience Report What Happens When Students Switch (Functional) Languages (Experience Re ... 14:00 - 14:30				ICFP Papers and EventsJFP Presentation Read/write factorizable programs 15:00 - 15:30		ICFP Papers and Events Bit-Stealing Made Legal: Compilation for Custom Memory Representations ... 15:30 - 16:00

Fri 8 Sep
Displayed time zone: Pacific 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	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45	22:00	15	30	45
B - Fifth Avenue	Haskell Welcome 09:00 - 09:05	Haskell The Evolution of Effects 09:05 - 10:15								Haskell Effect Handlers for Programmable Inference 11:00 - 11:30		Haskell The Essence of Reactivity 11:30 - 12:00		Haskell This Is Driving Me Loopy: Efficient Loops in Arrowized Functional React ... 12:00 - 12:30								Haskell An Exceptional Actor System (Functional Pearl) 14:00 - 14:30			Haskell HasTEE: Programming Trusted Execution Environments with Haskell 14:30 - 15:00			Haskell Haskell Library for Safer Virtual Machine Introspection (Experience Report) 15:00 - 15:30					Haskell A Haskell Auto-Parallelizer for Distributed Computing 16:00 - 16:30			Haskell Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory 16:30 - 17:00			Haskell Lightning Talks I 17:00 - 17:30
Grand Crescent	Higher-order, Typed, Inferred, Strict: ML Family WorkshopRemote Resource polymorphism: proposal for integrating first-class resources i ... 09:00 - 09:30			Higher-order, Typed, Inferred, Strict: ML Family Workshop Modernizing Standard ML of New Jersey: A Status Report 09:30 - 10:00		Higher-order, Typed, Inferred, Strict: ML Family Workshop Semi-explicit polymorphic parameters 10:00 - 10:30				Higher-order, Typed, Inferred, Strict: ML Family Workshop A New Standard ML Prettyprinter Library, An Experience Report 11:00 - 11:30		Higher-order, Typed, Inferred, Strict: ML Family Workshop Exploring Perceus For OCaml 11:30 - 12:00		Higher-order, Typed, Inferred, Strict: ML Family Workshop Immutable Arrays Help Mutating Arrays More Efficiently 12:00 - 12:30								Higher-order, Typed, Inferred, Strict: ML Family Workshop Programming with Explicit Effects in ReML 14:00 - 14:30			Higher-order, Typed, Inferred, Strict: ML Family Workshop Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop) 14:30 - 15:00			Higher-order, Typed, Inferred, Strict: ML Family Workshop Layout Polymorphism: Using static computation to allow efficient polymo ... 15:00 - 15:30					Higher-order, Typed, Inferred, Strict: ML Family Workshop Flambda 2 Types: An abstract domain for static analysis of functional p ... 16:00 - 16:30			Higher-order, Typed, Inferred, Strict: ML Family Workshop The Design and Implementation of an Abstract Interpreter for OCaml Prog ... 16:30 - 17:00
Olympic										miniKanrenRemote klogic: miniKanren in Kotlin 11:00 - 11:45			miniKanrenRemote Semi-Automated Direction-Driven Functional Conversion 11:45 - 12:30									miniKanren Stable Model Semantics Extension of miniKanren 14:00 - 14:45					miniKanrenRemote Goals as Constraints: Writing miniKanren Constraints in miniKanren 14:45 - 15:30
Reisbeck Auditorium																								FARM As music overheard, as image made light. 19:30 - 19:45		FARM Keynote: Perfectly Imperfect: Music, Math and the Keyboard 19:50 - 20:50						FARM Solo Piano Performance 21:00 - 21:15		FARM Humanity: From Survival to Revival 21:20 - 21:35		FARM Accelerometers as an Instrument 21:40 - 22:00		FARM Aurora: Goddess of Dawn 22:05 - 22:20
St Helens	ICFP Tutorials Vehicle - A Specification Language for Neural Network Properties 09:00 - 10:30									ICFP Tutorials Vehicle - A Specification Language for Neural Network Properties 11:00 - 12:30												ICFP Tutorials Porting Lwt applications to OCaml 5 and Eio 14:00 - 15:30											ICFP Tutorials Porting Lwt applications to OCaml 5 and Eio 16:00 - 17:30
Vashon 1	FUNARCH Functional Programming in the Large - Status and Perspective 09:00 - 09:45				FUNARCHRemote Crème de la Crem: Composable Representable Executable Machines 09:45 - 10:30					FUNARCH Functional Shell and Reusable Components for Easy GUIs 11:00 - 11:45			FUNARCHRemote Stretching the Glasgow Haskell Compiler: Nourishing GHC with Domain-Dri ... 11:45 - 12:30									FUNARCH A Software Architecture Based on Coarse-Grained Self-Adjusting Computations 14:00 - 14:45					FUNARCH Phases in Software Architecture 14:45 - 15:30						FUNARCH Typed Design Patterns for the Functional Era 16:00 - 16:45				FUNARCH Types that Change: The Extensible Type Design Pattern 16:45 - 17:30
Vashon 2	FARMRecorded Weighted Refinement Types for Counterpoint Composition 09:00 - 09:30			FARM The Beauty and Elegance of Functional Reactive Animation 09:30 - 10:00		FARMRecorded Demo: A functional EDSL for mathematics visualization that compiles to ... 10:00 - 10:30				FARM Exploring Self-Embedded Knitting Programs with Twine 11:00 - 11:30		FARM Homotopy Type Theory for Sewn Quilts 11:30 - 12:00		FARM Demo: Sonic Catalog of Rare Diseases 12:00 - 12:30

Sat 9 Sep
Displayed time zone: Pacific 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
B - Fifth Avenue	Haskell Haskell for choice-based learning 09:00 - 10:00												Haskell falsify: Internal Shrinking Reimagined for Haskell 11:00 - 11:30			Haskell Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property- ... 11:30 - 12:00			Haskell Lightning Talks II 12:00 - 12:30									Haskell Haskell Summer of Code Presentations 14:00 - 15:10								Haskell PC Chair Report 15:10 - 15:15
Grand Crescent	OCaml Eio 1.0 – Effects-based IO for OCaml 5 09:00 - 09:22			OCamlRemote Modern DSL compiler architecture in OCaml our experience with Catala 09:22 - 09:45		OCamlRemote Runtime Detection of Data Races in OCaml with ThreadSanitizer 09:45 - 10:07		OCamlRemote Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from t ... 10:07 - 10:30					OCaml Efficient OCaml compilation with Flambda 2 11:00 - 11:22		OCamlRemote Less Power for More Learning: Restricting OCaml Features for Effective ... 11:22 - 11:45			OCamlRemote Osiris: an Iris-based program logic for OCaml 11:45 - 12:07		OCaml Safe and efficient generic functions with MacoCaml 12:07 - 12:30								OCamlRemoteHybrid In-Person Buck2 for OCaml Users & Developers 14:00 - 14:22			OCaml Building a lock-free STM for OCaml 14:22 - 14:45		OCamlRemote Parallel Sequences in Multicore OCaml 14:45 - 15:07		OCaml State of the OCaml Platform 2023 15:07 - 15:30					OCaml MetaOCaml Theory and Implementation 16:00 - 16:20			OCaml Owi: an interpreter and a toolkit for WebAssembly written in OCaml 16:25 - 16:45
Olympic					Scheme Visualizing Why Nondeterministic Finite-State Automa Reject 09:30 - 10:00		Scheme Visualizing a Nondeterministic to Deterministic Finite-State Machine Tr ... 10:00 - 10:30						Scheme The Calysto Scheme Project 11:00 - 11:30			Scheme The Rational Programmer, An Investigative Method for Programming Langua ... 11:30 - 12:30												Scheme A R4RS Compliant REPL in 8Kb 14:00 - 14:30				SchemeRecorded Lightning Talk: Designing a Language for Learning Continuations 14:30 - 14:50
St Helens	ICFP Tutorials Teaching Functional Programming 09:00 - 10:30												ICFP Tutorials Teaching Functional Programming 11:00 - 12:30															ICFP Tutorials Teaching and Learning Compilers Incrementally 14:00 - 15:30												ICFP Tutorials Teaching and Learning Compilers Incrementally 16:00 - 17:30
Vashon 2	DeclMed Welcome and Opening Remarks 09:00 - 09:05	DeclMed Towards Higher-level Abstractions for Molecular Programming 09:05 - 09:30			DeclMed Strange loops: journeys in declarative logic programming in genomics an ... 09:30 - 10:25							DeclMed Modeling Graph-Based Morphology of the Synaptic Spine Head 10:50 - 11:15		DeclMed Why code in Python+C if you can code in Lisp+Zig? 11:15 - 11:40			DeclMed Propagator networks for degenerate computation 11:40 - 12:05			DeclMed Functional Pearl: Signature Memoization for Drug Repurposing 12:05 - 12:30							DeclMedRemote Declarative Programming for Designing Neuro-Symbolic Learning Models 13:45 - 14:05		DeclMed Biolink Model: a Universal Schema for Knowledge Graphs in Clinical, Bio ... 14:05 - 14:30			DeclMed NCATS' Biomedical Data Translator - Connecting the Dots 14:30 - 15:25							DeclMedRemote Addressing Treatment-Relevance in Biomedical Relation Extraction 15:45 - 16:05		DeclMed Aggregating combinatorial biomedical graph ranking results for drug rep ... 16:05 - 16:30			DeclMed The Algorithm for Precision Medicine 16:30 - 17:25				DeclMed Closing Remarks 17:25 - 17:30

ICFP 2023 Program

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change

Tue 5 Sep
Displayed time zone: Pacific Time (US & Canada) change

Wed 6 Sep
Displayed time zone: Pacific Time (US & Canada) change

Thu 7 Sep
Displayed time zone: Pacific Time (US & Canada) change

Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change

Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Workshops

Co-hosted Symposia

ICFP 2023 Program

Switch Program View

Program Display Configuration

Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change

Tue 5 SepDisplayed time zone: Pacific Time (US & Canada) change

Wed 6 SepDisplayed time zone: Pacific Time (US & Canada) change

Thu 7 SepDisplayed time zone: Pacific Time (US & Canada) change

Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change

Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change

Tue 5 Sep
Displayed time zone: Pacific Time (US & Canada) change

Wed 6 Sep
Displayed time zone: Pacific Time (US & Canada) change

Thu 7 Sep
Displayed time zone: Pacific Time (US & Canada) change

Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change

Sat 9 Sep
Displayed time zone: Pacific Time (US & Canada) change