ICFP 2022
Sun 11 - Fri 16 September 2022
Ljubljana, Slovenia
Toggle navigation
Attending
Conference Center: Cankarjev Dom
Call For Sponsorship
Travel Information
Local Information
Accommodation and Visas
Registration
Accessibility
Code of Conduct
Virtual participation
Instructions for speakers
Program
Complete Program
Your Program
Sun 11 Sep
Mon 12 Sep
Tue 13 Sep
Wed 14 Sep
Thu 15 Sep
Fri 16 Sep
Tracks
ICFP 2022
ICFP Papers and Events
Artifact Evaluation
Student Research Competition
ICFP Programming Contest
Tutorials
Student Volunteers
Workshops
Erlang
FARM
FHPNC
FUNARCH
HIW
HOPE
ML
OCaml
PLMW @ ICFP
PLanQC
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2022 Committees
Organizing Committee
Steering Committee
Virtualization Committee
Track Committees
ICFP Papers and Events
Artifact Evaluation
Student Research Competition
Tutorials
Student Volunteers
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
FUNARCH
Program Committee
HIW
Program Committee
HOPE
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Program Committee
PLMW @ ICFP
Organizing Committee
PLanQC
Organizing Committee
Program Committee
Scheme
Organizing Committee
Program Committee
TyDe
Organization Committee
Program Committee
miniKanren
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2022
(
series
) /
Cankarjev Dom
/
Room information: Linhart
Venue
Cankarjev Dom
Room name
Linhart
Capacity
550
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+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
.
Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
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+04: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
Mon 12 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
08:50 - 09:00
Welcome
Catering & social
at
Linhart
08:50
10m
Day opening
Welcome
Catering & social
G:
Andrej Bauer
University of Ljubljana
09:00 - 10:00
Keynote
ICFP Papers and Events
at
Linhart
Chair(s):
Stephanie Weirich
University of Pennsylvania
09:00
60m
Keynote
Deep Programmability: A New Lens on Networking
ICFP Papers and Events
Nate Foster
Cornell University
10:30 - 12:10
Lambda Calculus and Semantics
ICFP Papers and Events
at
Linhart
Chair(s):
Silvia Ghilezan
University of Novi Sad, Mathematical Institute SASA
10:30
20m
Talk
The Theory of Call-by-Value Solvability
ICFP Papers and Events
Beniamino Accattoli
Inria & Ecole Polytechnique
,
Giulio Guerrieri
Huawei Edinburgh Research Centre
DOI
10:50
20m
Talk
A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
ICFP Papers and Events
Malgorzata Biernacka
University of Wrocław
,
Witold Charatonik
University of Wrocław, Faculty of Mathematics and Computer Science
,
Tomasz Drab
University of Wrocław, Faculty of Mathematics and Computer Science
DOI
11:10
20m
Talk
On Feller Continuity and Full Abstraction
ICFP Papers and Events
Gilles Barthe
MPI-SP, Germany / IMDEA Software Institute, Spain
,
Raphaëlle Crubillé
CNRS
,
Ugo Dal Lago
University of Bologna; Inria
,
Francesco Gavazzo
University of Bologna & INRIA Sophia Antipolis
DOI
11:30
20m
Talk
Multi Types and Reasonable Space
Distinguished Paper
ICFP Papers and Events
Beniamino Accattoli
Inria & Ecole Polytechnique
,
Ugo Dal Lago
University of Bologna; Inria
,
Gabriele Vanoni
University of Bologna & INRIA Sophia Antipolis
DOI
11:50
20m
Talk
Denotational semantics as a foundation for cost recurrence extraction for functional languages
JFP Presentation
ICFP Papers and Events
Norman Danner
Wesleyan University
,
Daniel R. Licata
Wesleyan University
13:40 - 15:20
Analysis and Transformations
ICFP Papers and Events
at
Linhart
Chair(s):
Malgorzata Biernacka
University of Wrocław
13:40
20m
Talk
Reference Counting with Frame Limited Reuse
ICFP Papers and Events
Anton Lorenzen
University of Bonn
,
Daan Leijen
Microsoft Research
DOI
14:00
20m
Talk
Entanglement Detection With Near-Zero Cost
Distinguished Paper
ICFP Papers and Events
Sam Westrick
Carnegie Mellon University
,
Jatin Arora
Carnegie Mellon University
,
Umut A. Acar
Carnegie Mellon University
DOI
14:20
20m
Talk
Generating circuits with generators
ICFP Papers and Events
Marek Materzok
University of Wroclaw
DOI
14:40
20m
Talk
Staged Compilation With Two-Level Type Theory
ICFP Papers and Events
András Kovács
Eötvös Loránd University
DOI
15:00
20m
Talk
Random Testing of a Higher-Order Blockchain Language
Experience Report
ICFP Papers and Events
Tram Hoang
National University of Singapore
,
Anton Trunov
Zilliqa Research
,
Leonidas Lampropoulos
University of Maryland, College Park
,
Ilya Sergey
National University of Singapore
DOI
Pre-print
15:50 - 16:50
(Gradual) Type Theory
ICFP Papers and Events
at
Linhart
Chair(s):
Jesper Cockx
TU Delft
15:50
20m
Talk
Propositional Equality for Gradual Dependently Typed Programming
ICFP Papers and Events
Joseph Eremondi
University of British Columbia
,
Ronald Garcia
University of British Columbia
,
Éric Tanter
University of Chile
DOI
16:10
20m
Talk
A Reasonably Gradual Type Theory
ICFP Papers and Events
Kenji Maillard
Inria Nantes & University of Chile
,
Meven Lennon-Bertrand
Inria – LS2N, Université de Nantes
,
Nicolas Tabareau
Inria
,
Éric Tanter
University of Chile
DOI
16:30
20m
Talk
A completely unique account of enumeration
ICFP Papers and Events
Cas van der Rest
Delft University of Technology
,
Wouter Swierstra
Utrecht University, Netherlands
DOI
17:00 - 18:00
Panel Discussion
ICFP Papers and Events
at
Linhart
Chair(s):
Simon Peyton Jones
Epic Games
17:00
60m
Panel
Fireside Chat with Arvind and Guy Steele
ICFP Papers and Events
Arvind
Massachusetts Institute of Technology, USA
,
Guy L. Steele Jr.
Oracle Labs
Tue 13 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:00
Keynote
ICFP Papers and Events
at
Linhart
Chair(s):
Ugo Dal Lago
University of Bologna; Inria
09:00
60m
Keynote
Call-by-Push-Value, Quantitatively
ICFP Papers and Events
Delia Kesner
Université de Paris; CNRS; IRIF; Institut Universitaire de France
10:30 - 12:10
Logic
ICFP Papers and Events
at
Linhart
Chair(s):
Ilya Sergey
National University of Singapore
10:30
20m
Talk
Later Credits: Resourceful Reasoning for the Later Modality
ICFP Papers and Events
Simon Spies
MPI-SWS & Saarland University
,
Lennard Gäher
MPI-SWS & Saarland University
,
Joseph Tassarotti
NYU
,
Ralf Jung
MPI-SWS
,
Robbert Krebbers
Radboud University Nijmegen
,
Lars Birkedal
Aarhus University
,
Derek Dreyer
MPI-SWS
DOI
10:50
20m
Talk
Introduction and Elimination, Left and Right
ICFP Papers and Events
Klaus Ostermann
University of Tübingen
,
David Binder
University of Tübingen
,
Ingo Skupin
University of Tübingen
,
Tim Süberkrüb
University of Tübingen
,
Paul Downen
University of Massachusetts Lowell
DOI
Pre-print
11:10
20m
Talk
Normalization for Fitch-style Modal Calculi
Distinguished Paper
ICFP Papers and Events
Nachiappan Valliappan
Chalmers University of Technology
,
Fabian Ruch
Unaffiliated
,
Carlos Tomé Cortiñas
Chalmers University of Technology
DOI
Media Attached
11:30
20m
Talk
Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom
ICFP Papers and Events
Jules Jacobs
Radboud University
,
Stephanie Balzer
Carnegie Mellon University
,
Robbert Krebbers
Radboud University Nijmegen
DOI
11:50
20m
Talk
Back to futures
JFP Presentation
ICFP Papers and Events
Klaas Pruiksma
Carnegie Mellon University
,
Frank Pfenning
Carnegie Mellon University, USA
13:40 - 15:20
Program Verification & Synthesis
ICFP Papers and Events
at
Linhart
Chair(s):
Arthur Azevedo de Amorim
Boston University
13:40
20m
Talk
Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming)
ICFP Papers and Events
Steven Keuchel
Vrije Universiteit Brussel
,
Sander Huyghebaert
Vrije Universiteit Brussel
,
Georgy Lukyanov
Newcastle University, UK
,
Dominique Devriese
KU Leuven
DOI
14:00
20m
Talk
Safe Couplings: Coupled Refinement Types
ICFP Papers and Events
Lisa Vasilenko
IMDEA Software Institute
,
Niki Vazou
IMDEA Software Institute
,
Gilles Barthe
MPI-SP, Germany / IMDEA Software Institute, Spain
DOI
14:20
20m
Talk
Aeneas: Rust Verification by Functional Translation
ICFP Papers and Events
Son Ho
INRIA
,
Jonathan Protzenko
Microsoft Research, Redmond
DOI
14:40
20m
Talk
Searching Entangled Program Spaces
ICFP Papers and Events
James Koppel
Massachusetts Institute of Technology, USA
,
Zheng Guo
University of California, San Diego
,
Edsko de Vries
Well-Typed LLP
,
Armando Solar-Lezama
Massachusetts Institute of Technology
,
Nadia Polikarpova
University of California at San Diego
DOI
15:00
20m
Talk
Iterating on multiple collections in synchrony
JFP Presentation
ICFP Papers and Events
Stefano Perna
,
Val Tannen
University of Pennsylvania, USA
,
Limsoon Wong
National University of Singapore
15:50 - 16:50
Generic Programming and Education
ICFP Papers and Events
at
Linhart
Chair(s):
Nicolas Wu
Imperial College London
15:50
20m
Talk
Datatype-Generic Programming Meets Elaborator Reflection
ICFP Papers and Events
Hsiang-Shang ‘Josh’ Ko
Institute of Information Science, Academia Sinica
,
Liang-Ting Chen
Academia Sinica
,
Tzu-Chi Lin
Institute of Information Science, Academia Sinica
Link to publication
DOI
Media Attached
16:10
20m
Talk
Practical generic programming over a universe of datatypes
ICFP Papers and Events
Lucas Escot
TU Delft
,
Jesper Cockx
TU Delft
DOI
16:30
20m
Talk
Structural Versus Pipeline Composition of Higher-Order Functions
Virtual
Experience Report
ICFP Papers and Events
Elijah Rivera
Brown University
,
Shriram Krishnamurthi
Brown University, United States
DOI
17:00 - 18:00
Reports
ICFP Papers and Events
at
Linhart
17:00
40m
Other
Student Research Competition – Finalist Presentations
ICFP Papers and Events
Daniel Hillerström
The University of Edinburgh
,
Danel Ahman
University of Ljubljana
17:40
20m
Other
Programming Contest Report
ICFP Papers and Events
Alperen Keles
University of Maryland at College Park
Wed 14 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:00
Keynote
ICFP Papers and Events
at
Linhart
Chair(s):
Sam Lindley
The University of Edinburgh, UK
09:00
60m
Keynote
Retrofitting Concurrency – Lessons from the Engine Room
ICFP Papers and Events
KC Sivaramakrishnan
IIT Madras and Tarides
Media Attached
10:30 - 12:10
Compilation
ICFP Papers and Events
at
Linhart
Chair(s):
Matija Pretnar
University of Ljubljana, Slovenia
10:30
20m
Talk
Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structured Control Flow
Functional Pearl
ICFP Papers and Events
Norman Ramsey
Tufts University
DOI
10:50
20m
Talk
Automatically Deriving Control-Flow Graph Generators From Operational Semantics
ICFP Papers and Events
James Koppel
Massachusetts Institute of Technology, USA
,
Jackson Kearl
MIT
,
Armando Solar-Lezama
Massachusetts Institute of Technology
DOI
11:10
20m
Talk
Analyzing Binding Extent in 3CPS
ICFP Papers and Events
Benjamin Quiring
University of Maryland
,
Olin Shivers
Northeastern University, USA
,
John Reppy
University of Chicago, USA
DOI
11:30
20m
Talk
'do' Unchained: Embracing Local Imperativity in a Purely Functional Language
Functional Pearl
ICFP Papers and Events
Sebastian Ullrich
Karlsruhe Institute of Technology
,
Leonardo de Moura
Microsoft Research, n.n.
DOI
11:50
20m
Talk
ANF Preserves Dependent Types up to Extensional Equality
JFP Presentation
ICFP Papers and Events
Paulette Koronkevich
University of British Columbia
,
Ramon Rakow
University of British Columbia
,
Amal Ahmed
Northeastern University, USA
,
William J. Bowman
University of British Columbia
13:40 - 15:20
Programming and Reasoning About Effects
ICFP Papers and Events
at
Linhart
Chair(s):
William J. Bowman
University of British Columbia
13:40
20m
Talk
Monadic Compiler Calculation
Functional Pearl
ICFP Papers and Events
Patrick Bahr
IT University of Copenhagen
,
Graham Hutton
University of Nottingham, UK
DOI
14:00
20m
Talk
Formal Reasoning About Layered Monadic Interpreters
ICFP Papers and Events
Irene Yoon
University of Pennsylvania
,
Yannick Zakowski
Inria
,
Steve Zdancewic
University of Pennsylvania
DOI
14:20
20m
Talk
Program Adverbs and Tlön Embeddings
Distinguished Paper
Virtual
ICFP Papers and Events
Yao Li
Portland State University
,
Stephanie Weirich
University of Pennsylvania
DOI
Pre-print
14:40
20m
Talk
Flexible presentations of graded monads
ICFP Papers and Events
Shin-ya Katsumata
National Institute of Informatics
,
Dylan McDermott
Reykjavik University
,
Tarmo Uustalu
Reykjavik University
,
Nicolas Wu
Imperial College London
DOI
15:00
20m
Talk
Fusing Industry and Academia at GitHub
Experience Report
ICFP Papers and Events
Patrick Thomson
GitHub
,
Rob Rix
GitHub, Inc.
,
Tom Schrijvers
KU Leuven
,
Nicolas Wu
Imperial College London
DOI
15:50 - 16:50
Effects and Type Inference
ICFP Papers and Events
at
Linhart
Chair(s):
Ben Lippmeier
Ghost Locomotion
15:50
20m
Talk
Modular Probabilistic Models via Algebraic Effects
ICFP Papers and Events
Minh Nguyen
University of Bristol
,
Roly Perera
Alan Turing Institute
,
Meng Wang
University of Bristol
,
Nicolas Wu
Imperial College London
DOI
16:10
20m
Talk
Constraint-based type inference for FreezeML
ICFP Papers and Events
Frank Emrich
University of Edinburgh, UK
,
Jan Stolarek
University of Edinburgh, UK
,
James Cheney
University of Edinburgh; Alan Turing Institute
,
Sam Lindley
The University of Edinburgh, UK
DOI
16:30
20m
Talk
Linearly Qualified Types: Generic inference for capabilities and uniqueness
ICFP Papers and Events
Arnaud Spiwack
Tweag
,
Csongor Kiss
Imperial College London
,
Jean-Philippe Bernardy
University of Gothenburg, Sweden
,
Nicolas Wu
Imperial College London
,
Richard A. Eisenberg
Jane Street
Link to publication
DOI
Pre-print
17:00 - 18:00
Conclusions
ICFP Papers and Events
at
Linhart
Chair(s):
Ronald Garcia
University of British Columbia
17:00
40m
Awards
Awards
ICFP Papers and Events
17:40
15m
Other
Program Committee Chair Report
ICFP Papers and Events
Zena M. Ariola
University of Oregon
17:55
5m
Day closing
ICFP 2023 Announcement
ICFP Papers and Events
Nikhil Swamy
MSR Redmond
,
Sam Lindley
The University of Edinburgh, UK
Mon 12 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
Linhart
Catering & social
Welcome
ICFP Papers and Events
Keynote
ICFP Papers and Events
Lambda Calculus and Semantics
ICFP Papers and Events
Analysis and Transformations
ICFP Papers and Events
(Gradual) Type Theory
ICFP Papers and Events
Panel Discussion
Tue 13 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
Linhart
ICFP Papers and Events
Keynote
ICFP Papers and Events
Logic
ICFP Papers and Events
Program Verification & Synthesis
ICFP Papers and Events
Generic Programming and Education
ICFP Papers and Events
Reports
Wed 14 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
Linhart
ICFP Papers and Events
Keynote
ICFP Papers and Events
Compilation
ICFP Papers and Events
Programming and Reasoning About Effects
ICFP Papers and Events
Effects and Type Inference
ICFP Papers and Events
Conclusions
Mon 12 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
Linhart
ICFP Catering & social
Welcome
08:50 - 09:00
ICFP Papers and Events
Deep Programmability: A New Lens on Networking
09:00 - 10:00
ICFP Papers and Events
The Theory of Call-by-Value Solvability
10:30 - 10:50
ICFP Papers and Events
A Simple and Efficient Implementation of Strong Call by Need by an Abst ...
10:50 - 11:10
ICFP Papers and Events
On Feller Continuity and Full Abstraction
11:10 - 11:30
ICFP Papers and Events
Distinguished Paper
Multi Types and Reasonable Space
11:30 - 11:50
ICFP Papers and Events
JFP Presentation
Denotational semantics as a foundation for cost recurrence extraction f ...
11:50 - 12:10
ICFP Papers and Events
Reference Counting with Frame Limited Reuse
13:40 - 14:00
ICFP Papers and Events
Distinguished Paper
Entanglement Detection With Near-Zero Cost
14:00 - 14:20
ICFP Papers and Events
Generating circuits with generators
14:20 - 14:40
ICFP Papers and Events
Staged Compilation With Two-Level Type Theory
14:40 - 15:00
ICFP Papers and Events
Experience Report
Random Testing of a Higher-Order Blockchain Language
15:00 - 15:20
ICFP Papers and Events
Propositional Equality for Gradual Dependently Typed Programming
15:50 - 16:10
ICFP Papers and Events
A Reasonably Gradual Type Theory
16:10 - 16:30
ICFP Papers and Events
A completely unique account of enumeration
16:30 - 16:50
ICFP Papers and Events
Fireside Chat with Arvind and Guy Steele
17:00 - 18:00
Tue 13 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
Linhart
ICFP Papers and Events
Call-by-Push-Value, Quantitatively
09:00 - 10:00
ICFP Papers and Events
Later Credits: Resourceful Reasoning for the Later Modality
10:30 - 10:50
ICFP Papers and Events
Introduction and Elimination, Left and Right
10:50 - 11:10
ICFP Papers and Events
Distinguished Paper
Normalization for Fitch-style Modal Calculi
11:10 - 11:30
ICFP Papers and Events
Multiparty GV: Functional Multiparty Session Types With Certified Deadl ...
11:30 - 11:50
ICFP Papers and Events
JFP Presentation
Back to futures
11:50 - 12:10
ICFP Papers and Events
Verified Symbolic Execution with Kripke Specification Monads (and no Me ...
13:40 - 14:00
ICFP Papers and Events
Safe Couplings: Coupled Refinement Types
14:00 - 14:20
ICFP Papers and Events
Aeneas: Rust Verification by Functional Translation
14:20 - 14:40
ICFP Papers and Events
Searching Entangled Program Spaces
14:40 - 15:00
ICFP Papers and Events
JFP Presentation
Iterating on multiple collections in synchrony
15:00 - 15:20
ICFP Papers and Events
Datatype-Generic Programming Meets Elaborator Reflection
15:50 - 16:10
ICFP Papers and Events
Practical generic programming over a universe of datatypes
16:10 - 16:30
ICFP Papers and Events
Virtual
Experience Report
Structural Versus Pipeline Composition of Higher-Order Functions
16:30 - 16:50
ICFP Papers and Events
Student Research Competition – Finalist Presentations
17:00 - 17:40
ICFP Papers and Events
Programming Contest Report
17:40 - 18:00
Wed 14 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
Linhart
ICFP Papers and Events
Retrofitting Concurrency – Lessons from the Engine Room
09:00 - 10:00
ICFP Papers and Events
Functional Pearl
Beyond Relooper: Recursive Translation of Unstructured Control Flow to ...
10:30 - 10:50
ICFP Papers and Events
Automatically Deriving Control-Flow Graph Generators From Operational S ...
10:50 - 11:10
ICFP Papers and Events
Analyzing Binding Extent in 3CPS
11:10 - 11:30
ICFP Papers and Events
Functional Pearl
'do' Unchained: Embracing Local Imperativity in a Purely Functional Lan ...
11:30 - 11:50
ICFP Papers and Events
JFP Presentation
ANF Preserves Dependent Types up to Extensional Equality
11:50 - 12:10
ICFP Papers and Events
Functional Pearl
Monadic Compiler Calculation
13:40 - 14:00
ICFP Papers and Events
Formal Reasoning About Layered Monadic Interpreters
14:00 - 14:20
ICFP Papers and Events
Distinguished Paper
Virtual
Program Adverbs and Tlön Embeddings
14:20 - 14:40
ICFP Papers and Events
Flexible presentations of graded monads
14:40 - 15:00
ICFP Papers and Events
Experience Report
Fusing Industry and Academia at GitHub
15:00 - 15:20
ICFP Papers and Events
Modular Probabilistic Models via Algebraic Effects
15:50 - 16:10
ICFP Papers and Events
Constraint-based type inference for FreezeML
16:10 - 16:30
ICFP Papers and Events
Linearly Qualified Types: Generic inference for capabilities and uniqueness
16:30 - 16:50
ICFP Papers and Events
Awards
17:00 - 17:40
ICFP Papers and Events
Program Committee Chair Report
17:40 - 17:55
ICFP Papers and Events
ICFP 2023 Announcement
17:55 - 18:00
x
Fri 8 Nov 10:49