A - Grand Ballroom 2

VenueThe Westin Seattle

Room nameA - Grand Ballroom 2

Floor4

Capacity600

Room InformationNo extra information available

Program

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

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

08:50 - 09:00	WelcomeICFP Papers and Events / ICFP Keynotes at A - Grand Ballroom 2 Chair(s): Nikhil Swamy Microsoft Research

08:50 10m		Welcome ICFP Papers and Events Nikhil Swamy Microsoft Research

09:00 - 10:00	Morning keynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Sam Lindley University of Edinburgh

09:00 60m Keynote		Programming for the planet ICFP Keynotes Anil Madhavapeddy University of Cambridge, UK

10:30 - 12:00	EffectsICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Ningning Xie University of Toronto

10:30 30m Talk		A General Fine-Grained Reduction Theory for Effect Handlers ICFP Papers and Events Filip Sieczkowski Heriot-Watt University, Mateusz Pyzik University of Wrocław, Dariusz Biernacki University of Wrocław DOI
11:00 30m Talk		Modular Models of Monoids with Operations ICFP Papers and Events Zhixuan Yang Imperial College London, Nicolas Wu Imperial College London DOI
11:30 30m Talk		With or Without You: Programming with Effect Exclusion ICFP Papers and Events Matthew Lutze Aarhus University, Magnus Madsen Aarhus University, Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen DOI

13:30 - 14:30	Afternoon keynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Nikhil Swamy Microsoft Research

13:30 60m Keynote		As low-level as possible, but no lower ICFP Keynotes Andreas Rossberg Independent

15:00 - 16:00	Concurrency and distributionICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Satnam Singh Groq

15:00 30m Talk		Special Delivery: Programming with Mailbox Types ICFP Papers and Events Simon Fowler University of Glasgow, Duncan Paul Attard University of Glasgow, Franciszek Sowul University of Glasgow, Simon J. Gay University of Glasgow, UK, Phil Trinder University of Glasgow DOI Pre-print
15:30 30m Talk		HasChor: Functional Choreographic Programming for All (Functional Pearl)Functional PearlDistinguished Paper ICFP Papers and Events Gan Shen University of California, Santa Cruz, USA, Shun Kashiwa University of California, Santa Cruz, Lindsey Kuper University of California, Santa Cruz DOI Pre-print

16:30 - 17:30	ContestsICFP Papers and Events at A - Grand Ballroom 2

16:30 35m		Student research contest talks ICFP Papers and Events S: Daniel Hillerström Huawei Zurich Research Center, J. Garrett Morris University of Iowa
17:05 25m		Programming contest report ICFP Papers and Events S: Aymeric Fromherz Inria

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

09:00 - 10:00	KeynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Sukyoung Ryu KAIST

09:00 60m Keynote		TypeScript: Static types for JavaScript ICFP Keynotes Anders Hejlsberg Microsoft

10:30 - 12:00	Verification 1ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Tahina Ramananandro Microsoft Research

10:30 30m Talk		Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification ICFP Papers and Events Son Ho INRIA, Aymeric Fromherz Inria, Jonathan Protzenko Microsoft Research, Redmond DOI
11:00 30m Talk		Higher-Order Property-Directed Reachability ICFP Papers and Events Hiroyuki Katsura University of Tokyo, Naoki Kobayashi University of Tokyo, Ryosuke Sato University of Tokyo DOI
11:30 30m Talk		Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation ProtocolsRemote ICFP Papers and Events Léon Gondelman Aarhus University, Jonas Kastberg Hinrichsen Aarhus University, Denmark, Mário Pereira NOVA LINCS & DI -- Nova School of Science and Technology, Amin Timany Aarhus University, Lars Birkedal Aarhus University DOI

13:30 - 14:30	Circuits and monoidsICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Patrik Jansson Chalmers University of Technology

13:30 30m Talk		Timely Computation ICFP Papers and Events Conal Elliott Independenet DOI Pre-print
14:00 30m Talk		A well-known representation of monoids and its application to the function ‘vector reverse’Functional PearlJFP PresentationRemote ICFP Papers and Events Wouter Swierstra Utrecht University, Netherlands Link to publication DOI

15:00 - 16:00	TypesICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Alan Jeffrey Roblox

15:00 30m Talk		Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc ICFP Papers and Events Alex Hubers University of Iowa, J. Garrett Morris University of Iowa DOI Pre-print
15:30 30m Talk		Typing Records, Maps, and Structs ICFP Papers and Events Giuseppe Castagna CNRS; Université Paris Cité DOI

16:30 - 17:15	Business meetingICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Nikhil Swamy Microsoft Research

16:30 15m Awards		Awards ICFP Papers and Events File Attached
16:45 5m		JFP at ICFP ICFP Papers and Events Gabriele Keller Utrecht University
16:50 5m		Diversity, equality, and inclusion at ICFP ICFP Papers and Events Daan Leijen Microsoft Research
16:55 15m		PC Chair's report ICFP Papers and Events Sam Lindley University of Edinburgh File Attached
17:10 5m		ICFP 2024 announcement ICFP Papers and Events Marco Gaboardi Boston University File Attached

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

09:00 - 10:00	KeynoteICFP Keynotes / ICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Matthew Flatt University of Utah

09:00 60m Keynote		The Cogent and Dargent approach to facilitating verified software development ICFP Keynotes Christine Rizkallah University of Melbourne

10:30 - 12:00	Language designICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Peter Thiemann University of Freiburg, Germany

10:30 30m Talk		The Verse Calculus: A Core Calculus for Deterministic Functional Logic ProgrammingDistinguished Paper ICFP Papers and Events Lennart Augustsson Epic Games , Joachim Breitner unaffiliated, Koen Claessen Epic Games, Ranjit Jhala Epic Games, Simon Peyton Jones Epic Games , Olin Shivers Epic Games, Guy L. Steele Jr. Oracle Labs, Tim Sweeney Epic Games DOI
11:00 30m Talk		FP²: Fully in-Place Functional Programming ICFP Papers and Events Anton Lorenzen University of Edinburgh, Daan Leijen Microsoft Research, Wouter Swierstra Utrecht University, Netherlands DOI Pre-print
11:30 30m Talk		LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)Experience Report ICFP Papers and Events Nada Amin Harvard University, John Burnham Lurk Lab, François Garillot Lurk Lab, Rosario Gennaro Protocol Labs, Chhi’mèd Künzang Lurk Lab, Daniel Rogozin University College London, Cameron Wong DOI

13:30 - 14:30	Session typing functional pearlsICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Andrew K. Hirsch University at Buffalo, SUNY

13:30 30m Talk		Intrinsically Typed Sessions with Callbacks (Functional Pearl)Functional Pearl ICFP Papers and Events Peter Thiemann University of Freiburg, Germany DOI
14:00 30m Talk		Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)Functional PearlRemote ICFP Papers and Events Jules Jacobs Radboud University Nijmegen, Jonas Kastberg Hinrichsen Aarhus University, Denmark, Robbert Krebbers Radboud University Nijmegen DOI

15:00 - 16:00	CompilationICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Arnaud Spiwack Tweag

15:00 30m Talk		Calculating Compilers for Concurrency ICFP Papers and Events Patrick Bahr IT University of Copenhagen, Graham Hutton University of Nottingham, UK DOI Pre-print
15:30 30m Talk		Trustworthy Runtime Verification via Bisimulation (Experience Report)Experience Report ICFP Papers and Events Ryan Scott Galois, Inc., Mike Dodds Galois, Inc., Robert Dockins Amazon, Ivan Perez NASA Ames Research Center, Alwyn Goodloe NASA Langley Research Center DOI Pre-print

16:30 - 17:30	Fireside chatICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Amal Ahmed Northeastern University, USA

16:30 60m Other		Fireside chat: Amal Ahmed hosts Felix Klock and Greg Morrisett ICFP Papers and Events C: Amal Ahmed Northeastern University, USA, P: Felix Klock Amazon Web Services, P: Greg Morrisett Cornell University

17:45 - 18:15	Ask me anything with Tim SweeneyICFP Papers and Events at A - Grand Ballroom 2 Chair(s): Simon Peyton Jones Epic Games

17:45 30m Live Q&A		Ask me anything with Tim Sweeney ICFP Papers and Events Tim Sweeney Epic Games

Tue 5 Sep
Displayed time zone: Pacific 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
A - Grand Ballroom 2											ICFP Papers and Events + ICFP Keynotes Welcome		ICFP Keynotes + ICFP Papers and Events Morning keynote																		ICFP Papers and Events Effects																																				ICFP Keynotes + ICFP Papers and Events Afternoon keynote																		ICFP Papers and Events Concurrency and distribution																		ICFP Papers and Events Contests

Wed 6 Sep
Displayed time zone: Pacific 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
A - Grand Ballroom 2	ICFP Keynotes + ICFP Papers and Events Keynote																		ICFP Papers and Events Verification 1																																				ICFP Papers and Events Circuits and monoids																		ICFP Papers and Events Types																		ICFP Papers and Events Business meeting

Thu 7 Sep
Displayed time zone: Pacific 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						18:00						30
A - Grand Ballroom 2	ICFP Keynotes + ICFP Papers and Events Keynote																		ICFP Papers and Events Language design																																				ICFP Papers and Events Session typing functional pearls																		ICFP Papers and Events Compilation																		ICFP Papers and Events Fireside chat															ICFP Papers and Events Ask me anything with Tim Sweeney

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

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

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

Room information: A - Grand Ballroom 2

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

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

ICFP Papers and Events + ICFP Keynotes

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

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

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

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

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

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

Tracks

Workshops

Co-hosted Symposia

Room information: A - Grand Ballroom 2

Program Display Configuration

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

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

ICFP Papers and Events + ICFP Keynotes

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

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

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

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

ICFP Keynotes + ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

ICFP Papers and Events

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

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

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

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