ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
VenueThe Westin Seattle
Room nameA - Grand Ballroom 2
Floor4
Capacity600
Room InformationNo extra information available
Program

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
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
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

Wed 6 Sep

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

09:00 - 10:00
09:00
60m
Keynote
TypeScript: Static types for JavaScript
ICFP Keynotes
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
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

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
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