ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
VenueCankarjev Dom
Room nameE3
Capacity70
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

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
Introduction + State of GHCHIW 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 IHIW 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

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

09:00 - 10:30
Quantum programming languages and paradigmsPLanQC 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 IdrisVirtual
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 programmingPLanQC at E3
Chair(s): Kartik Singhal University of Chicago
11:00
25m
Talk
Topological Quantum Programming in TED-KVirtual
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 correctnessPLanQC 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
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 compilationPLanQC 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 1Scheme at E3
Chair(s): Andy Keep Meta Reality Labs Research
09:00
60m
Keynote
Why Functional Programming Matters in CS Education
Scheme
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 2Scheme 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 RecipeVirtual
Scheme
Hazel Levine Indiana University, Sam Tobin-Hochstadt Indiana University
14:00 - 15:30
Session 3Scheme at E3
Chair(s): Arthur Gleckler SRFI Editor
14:00
30m
Industry talk
Introducing Visual Scheme for Applications: Modernizing Office Solutions on the CLRVirtual
Scheme
Bob Calco Apex Data Solutions, LLC
14:30
30m
Full-paper
An FFI between Gambit Scheme and CPythonVirtual
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 ReportVirtual
Scheme

16:00 - 17:30
Session 4Scheme at E3
Chair(s): Arthur Gleckler SRFI Editor
16:00
60m
Talk
Programming is (should be) fun!Virtual
Scheme

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
E3

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
E3