FUNARCH 2023
Fri 8 Sep 2023
Seattle, Washington, United States
co-located with
ICFP 2023
Toggle navigation
Attending
Hotel: The Westin Seattle
Program
Complete Program
Your Program
Fri 8 Sep
Track/Call
Organization
FUNARCH 2023 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
FUNARCH 2024
FUNARCH 2023
FUNARCH 2022
Sign in
Sign up
ICFP 2023
(
series
) /
FUNARCH 2023 (
series
) /
The Westin Seattle
/
Room information: A - Grand Ballroom 2
Venue
The Westin Seattle
Room name
A - Grand Ballroom 2
Floor
4
Capacity
600
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Welcome
ICFP 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 keynote
ICFP 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
Effects
ICFP Papers and Events
at
A - Grand Ballroom 2
Chair(s):
Ningning Xie
University of Toronto / Google DeepMind
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 keynote
ICFP 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 distribution
ICFP 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 Pearl
Distinguished 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
Contests
ICFP 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
Keynote
ICFP 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 1
ICFP 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 Protocols
Remote
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 monoids
ICFP 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 Pearl
JFP Presentation
Remote
ICFP Papers and Events
Wouter Swierstra
Utrecht University, Netherlands
Link to publication
DOI
15:00 - 16:00
Types
ICFP 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 meeting
ICFP 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
Keynote
ICFP 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 design
ICFP 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 Programming
Distinguished 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 pearls
ICFP 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 Pearl
Remote
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
Compilation
ICFP 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 chat
ICFP 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 Sweeney
ICFP 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 Events
Functional Pearl
Distinguished 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 Events
Remote
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 Events
Functional Pearl
JFP Presentation
Remote
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 Events
Distinguished 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 Events
Experience Report
LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)
11:30 - 12:00
ICFP Papers and Events
Functional Pearl
Intrinsically Typed Sessions with Callbacks (Functional Pearl)
13:30 - 14:00
ICFP Papers and Events
Functional Pearl
Remote
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 Events
Experience 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
x
Mon 29 Apr 07:56