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
ICFP 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: E3
Venue
Cankarjev Dom
Room name
E3
Capacity
70
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
Sun 11 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:30
Introduction + State of GHC
HIW
at
E3
Chair(s):
Alejandro Serrano
47 Degrees
09:00
30m
Talk
Welcome
HIW
09:30
60m
Talk
State of GHC
HIW
Simon Peyton Jones
Epic Games
,
Ben Gamari
Well-Typed LLP
11:00 - 12:30
Talks I
HIW
at
E3
11:00
30m
Talk
Compiling Mu with GHC: Halfway Down the Rabbit Hole
HIW
Gergo Erdi
Standard Chartered Bank
File Attached
11:30
30m
Talk
A Termination Checker for Haskell Rewrite Rules
HIW
Makoto Hamana
Gunma University, Japan
12:00
30m
Talk
Annotating Deeply Embedded Languages
HIW
Robbert van der Helm
,
Trevor L. McDonell
Utrecht University
,
Gabriele Keller
Utrecht University
14:00 - 15:30
Lightning Talks
HIW
at
E3
Lightning talks can be submitted via this form:
https://forms.gle/5GG9fkUPB2muw6vt5
14:00
15m
Talk
Lightning Talk Slot #1: Signature Sections
HIW
Gergo Erdi
Standard Chartered Bank
File Attached
14:15
15m
Talk
Lightning Talk Slot #2: An SSA-based Register Allocator for GHC
HIW
Benjamin Maurer
14:30
15m
Talk
Lightning Talk Slot #3: The Haskell Optimization Handbook
HIW
Jeffrey Young
IOHK
14:45
15m
Talk
Lightning Talk Slot #4: Modularizing GHC
HIW
Sylvain Henry
15:00
15m
Talk
Lightning Talk Slot #5: More recursive equations
HIW
Joachim Breitner
Epic Games
15:15
15m
Talk
Lightning Talk Slot #6
HIW
16:00 - 17:30
Talks II
HIW
at
E3
16:00
30m
Talk
A look across the pond: a comparison between GHC and Racket compilation models
HIW
Alexis King
Tweag
16:30
30m
Talk
Haskell Playground (WIP)
HIW
Tom Smeding
Utrecht University
17:00
30m
Talk
CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing
HIW
Matthías Páll Gissurarson
Chalmers University of Technology, Sweden
Thu 15 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:30
Quantum programming languages and paradigms
PLanQC
at
E3
Chair(s):
Robert Rand
University of Chicago
09:00
40m
Talk
Quantum relational Hoare logic, towards a formalization
PLanQC
Dominique Unruh
University of Tartu
09:40
25m
Talk
Type-safe (Variational) Quantum Programming in Idris
Virtual
PLanQC
Liliane-Joy Dandy
EPFL, Ecole Polytechnique
,
Emmanuel Jeandel
LORIA, University of Lorraine
,
Vladimir Zamdzhiev
Inria, LORIA, Université de Lorraine
File Attached
10:05
25m
Talk
Quantum Programming with Data Structures
PLanQC
Charles Yuan
MIT CSAIL
,
Michael Carbin
MIT CSAIL
File Attached
11:00 - 12:30
Hardware-aware quantum programming
PLanQC
at
E3
Chair(s):
Kartik Singhal
University of Chicago
11:00
25m
Talk
Topological Quantum Programming in TED-K
Virtual
PLanQC
Hisham Sati
New York University, Abu Dhabi
,
Urs Schreiber
New York University, Abu Dhabi
File Attached
11:25
25m
Talk
Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
PLanQC
Raphael Seidel
Fraunhofer Institute for Open Communication Systems
,
Sebastian Bock
Fraunhofer Institute for Open Communication Systems
,
Nikolay Tcholtchev
Fraunhofer Institute for Open Communication Systems
,
Manfred Hauswirth
Fraunhofer Institute for Open Communication Systems, TU Berlin
File Attached
11:50
40m
Talk
Poster session
PLanQC
File Attached
14:00 - 15:30
Formalization, verification, and correctness
PLanQC
at
E3
Chair(s):
Ross Duncan
Cambridge Quantum Computing
14:00
40m
Talk
Invited talk: Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
PLanQC
Charles Yuan
MIT CSAIL
14:40
25m
Talk
Analyzing quantum programs using the power of interaction
PLanQC
Agnes Villanyi
MIT
,
Charles Yuan
MIT CSAIL
,
Christopher McNally
MIT RLE
File Attached
15:05
25m
Talk
Q*: Implementing Quantum Separation Logic in F*
PLanQC
Kesha Hietala
University of Maryland
,
Sarah Marshall
Microsoft Quantum
,
Robert Rand
University of Chicago
,
Nikhil Swamy
MSR Redmond
File Attached
16:00 - 17:30
Synthesis and compilation
PLanQC
at
E3
Chair(s):
Amr Sabry
Indiana University
16:00
25m
Talk
Optimal synthesis into fixed XX interactions
PLanQC
Eric C. Peterson
IBM Quantum
,
Lev S. Bishop
IBM Quantum
,
Ali Javadi-Abhari
IBM Quatum
File Attached
16:25
25m
Talk
Encoding High-level Quantum Programs as SZX-diagrams
PLanQC
Agustín Borgna
Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France
,
Rafael Romero
Universidad de Buenos Aires, Universidad de la República
File Attached
16:50
25m
Talk
Adventures in Qutrit Compilation
PLanQC
Lia Yeh
University of Oxford
,
John van de Wetering
University of Oxford
File Attached
17:15
15m
Day closing
Conclusion and Group Photo
PLanQC
Fri 16 Sep
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:30
Session 1
Scheme
at
E3
Chair(s):
Andy Keep
Meta Reality Labs Research
09:00
60m
Keynote
Why Functional Programming Matters in CS Education
Scheme
Marco T Morazan
10:00
30m
Full-paper
Scheme Pearl: Quantum Continuations
Scheme
Borislav Agapiev
YottaAnswers.com
,
Vikraman Choudhury
University of Glasgow
,
Amr Sabry
Indiana University
Pre-print
11:00 - 12:30
Session 2
Scheme
at
E3
Chair(s):
Andy Keep
Meta Reality Labs Research
11:00
30m
Full-paper
Macro-embedding Compiler Intermediate Languages in Racket
Scheme
William J. Bowman
University of British Columbia
Pre-print
11:30
30m
Talk
Scheme Requests for Implementation Status Report
Scheme
Arthur Gleckler
SRFI Editor
12:00
30m
Short-paper
Automating the Design Recipe
Virtual
Scheme
Hazel Levine
Indiana University
,
Sam Tobin-Hochstadt
Indiana University
14:00 - 15:30
Session 3
Scheme
at
E3
Chair(s):
Arthur Gleckler
SRFI Editor
14:00
30m
Industry talk
Introducing Visual Scheme for Applications: Modernizing Office Solutions on the CLR
Virtual
Scheme
Bob Calco
Apex Data Solutions, LLC
14:30
30m
Full-paper
An FFI between Gambit Scheme and CPython
Virtual
Scheme
Marc-André Bélanger
Université de Montréal
,
Marc Feeley
Université de Montréal
Pre-print
15:00
30m
Short-paper
R7RS Large Status Report
Virtual
Scheme
16:00 - 17:30
Session 4
Scheme
at
E3
Chair(s):
Arthur Gleckler
SRFI Editor
16:00
60m
Talk
Programming is (should be) fun!
Virtual
Scheme
Gerald Jay Sussman
MIT
Sun 11 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
E3
HIW
Introduction + State of GHC
HIW
Talks I
HIW
Lightning Talks
HIW
Talks II
Thu 15 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
E3
PLanQC
Quantum programming languages and paradigms
PLanQC
Hardware-aware quantum programming
PLanQC
Formalization, verification, and correctness
PLanQC
Synthesis and compilation
Fri 16 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
E3
Scheme
Session 1
Scheme
Session 2
Scheme
Session 3
Scheme
Session 4
Sun 11 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
E3
HIW
Welcome
09:00 - 09:30
HIW
State of GHC
09:30 - 10:30
HIW
Compiling Mu with GHC: Halfway Down the Rabbit Hole
11:00 - 11:30
HIW
A Termination Checker for Haskell Rewrite Rules
11:30 - 12:00
HIW
Annotating Deeply Embedded Languages
12:00 - 12:30
HIW
Lightning Talk Slot #1: Signature Sections
14:00 - 14:15
HIW
Lightning Talk Slot #2: An SSA-based Register Allocator for GHC
14:15 - 14:30
HIW
Lightning Talk Slot #3: The Haskell Optimization Handbook
14:30 - 14:45
HIW
Lightning Talk Slot #4: Modularizing GHC
14:45 - 15:00
HIW
Lightning Talk Slot #5: More recursive equations
15:00 - 15:15
HIW
Lightning Talk Slot #6
15:15 - 15:30
HIW
A look across the pond: a comparison between GHC and Racket compilation ...
16:00 - 16:30
HIW
Haskell Playground (WIP)
16:30 - 17:00
HIW
CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing
17:00 - 17:30
Thu 15 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
E3
PLanQC
Quantum relational Hoare logic, towards a formalization
09:00 - 09:40
PLanQC
Virtual
Type-safe (Variational) Quantum Programming in Idris
09:40 - 10:05
PLanQC
Quantum Programming with Data Structures
10:05 - 10:30
PLanQC
Virtual
Topological Quantum Programming in TED-K
11:00 - 11:25
PLanQC
Qrisp: A Framework for Compilable High-Level Programming of Gate-Based ...
11:25 - 11:50
PLanQC
Poster session
11:50 - 12:30
PLanQC
Invited talk: Twist: Sound Reasoning for Purity and Entanglement in Qua ...
14:00 - 14:40
PLanQC
Analyzing quantum programs using the power of interaction
14:40 - 15:05
PLanQC
Q*: Implementing Quantum Separation Logic in F*
15:05 - 15:30
PLanQC
Optimal synthesis into fixed XX interactions
16:00 - 16:25
PLanQC
Encoding High-level Quantum Programs as SZX-diagrams
16:25 - 16:50
PLanQC
Adventures in Qutrit Compilation
16:50 - 17:15
PLanQC
Conclusion and Group Photo
17:15 - 17:30
Fri 16 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
E3
Scheme
Why Functional Programming Matters in CS Education
09:00 - 10:00
Scheme
Scheme Pearl: Quantum Continuations
10:00 - 10:30
Scheme
Macro-embedding Compiler Intermediate Languages in Racket
11:00 - 11:30
Scheme
Scheme Requests for Implementation Status Report
11:30 - 12:00
Scheme
Virtual
Automating the Design Recipe
12:00 - 12:30
Scheme
Virtual
Introducing Visual Scheme for Applications: Modernizing Office Solution ...
14:00 - 14:30
Scheme
Virtual
An FFI between Gambit Scheme and CPython
14:30 - 15:00
Scheme
Virtual
R7RS Large Status Report
15:00 - 15:30
Scheme
Virtual
Programming is (should be) fun!
16:00 - 17:00
x
Wed 18 Dec 17:12