ICFP 2023
Mon 4 - Sat 9 September 2023
Seattle, Washington, United States
Toggle navigation
Attending
Hotel: The Westin Seattle
Call For Sponsorship
Travel Information
Local Information
Registration
Accessibility
Code of Conduct
Virtual participation
Instructions for Presenters
Diversity and Inclusion
Program
ICFP Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Fri 8 Sep
Sat 9 Sep
Tracks
ICFP 2023
Artifact Evaluation
ICFP Keynotes
ICFP Papers and Events
ICFP Workshops
Student Research Competition
Diversity, Equity, and Inclusion
Tutorials
- Vehicle - A Specification Language for Neural Network Properties
- Teaching and Learning Compilers Incrementally
- Teaching Functional Programming
- Porting Lwt applications to OCaml 5 and Eio
Volunteers
Workshops
DeclMed
Erlang
Erlang
- Keynote: Code Analysis at WhatsApp
- Invited Talk: Set-theoretic Types for Erlang
- Invited Talk: A Type System for Elixir
FARM
FHPNC
FUNARCH
HIW
HOPE
Higher-order, Typed, Inferred, Strict: ML Family Workshop
OCaml
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Artifact Evaluation
ICFP Papers and Events
Student Research Competition
Poster Committee
Program Committee
Tutorials
Volunteers
Contributors
People Index
Workshops
DeclMed
Organizing Committee
Program Committee
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
FUNARCH
Program Committee
HIW
Program Committee
HOPE
Program Committee
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Program Committee
Organizing Committee
OCaml
Program Committee
PLMW @ ICFP
Organizing 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 2023
(
series
) /
The Westin Seattle
/
Room information: B - Fifth Avenue
Venue
The Westin Seattle
Room name
B - Fifth Avenue
Floor
4
Capacity
380
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
Mon 4 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Icebreaker and Preparing for Graduate School in PL
PLMW @ ICFP
at
B - Fifth Avenue
09:00
45m
Social Event
PLMW Icebreaker Session
PLMW @ ICFP
09:45
45m
Talk
How to Thrive as a PhD student in PL
PLMW @ ICFP
Sam Westrick
Carnegie Mellon University
11:00 - 12:30
Panel and Getting the Most out of ICFP
PLMW @ ICFP
at
B - Fifth Avenue
11:00
45m
Panel
Getting Productive in Research
PLMW @ ICFP
Daan Leijen
Microsoft Research
,
Mae Milano
University of California at Berkeley
,
Leonidas Lampropoulos
University of Maryland, College Park
,
Benjamin C. Pierce
University of Pennsylvania
,
Cyrus Omar
University of Michigan
11:45
45m
Talk
Getting the Most Out of ICFP
PLMW @ ICFP
Paulette Koronkevich
University of British Columbia
14:00 - 15:30
Technical Lecture and Mental Health
PLMW @ ICFP
at
B - Fifth Avenue
14:00
45m
Talk
A History of Subtyping
PLMW @ ICFP
Benjamin C. Pierce
University of Pennsylvania
14:45
45m
Talk
Mental Health Mentoring for PL Students
Remote
PLMW @ ICFP
Rose Bohrer
Worcester Polytechnic Institute
16:00 - 17:30
How to give a talk, speed mentoring, and debrief
PLMW @ ICFP
at
B - Fifth Avenue
16:00
45m
Talk
How to Write a Great Research Paper
PLMW @ ICFP
Simon Peyton Jones
Epic Games
16:45
45m
Social Event
Speed Mentoring
PLMW @ ICFP
Tue 5 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Dependent types
ICFP Papers and Events
at
B - Fifth Avenue
Chair(s):
James Chapman
Input Output
10:30
30m
Talk
Is Sized Typing for Coq Practical?
JFP Presentation
ICFP Papers and Events
Jonathan Chan
University of Pennsylvania
,
Yufeng Li
University of Waterloo
,
William J. Bowman
University of British Columbia
Link to publication
DOI
Media Attached
11:00
30m
Talk
Dependently-Typed Programming with Logical Equality Reflection
ICFP Papers and Events
Yiyun Liu
University of Pennsylvania
,
Stephanie Weirich
University of Pennsylvania
DOI
11:30
30m
Talk
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
ICFP Papers and Events
Andreas Abel
Gothenburg University
,
Nils Anders Danielsson
Chalmers and Gothenburg University
,
Oskar Eriksson
Chalmers and Gothenburg University
DOI
15:00 - 16:00
Fixpoints
ICFP Papers and Events
at
B - Fifth Avenue
Chair(s):
Sam Tobin-Hochstadt
Indiana University
15:00
30m
Talk
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
ICFP Papers and Events
Sven Keidel
TU Darmstadt, Germany
,
Sebastian Erdweg
JGU Mainz
,
Tobias Hombücher
JGU Mainz
DOI
15:30
30m
Talk
More Fixpoints! (Functional Pearl)
Functional Pearl
ICFP Papers and Events
Joachim Breitner
unaffiliated
DOI
Pre-print
File Attached
Wed 6 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Testing
ICFP Papers and Events
at
B - Fifth Avenue
Chair(s):
Stephen Dolan
Jane Street
10:30
30m
Talk
Reflecting on Random Generation
Distinguished Paper
ICFP Papers and Events
Harrison Goldstein
University of Pennsylvania
,
Samantha Frohlich
University of Bristol
,
Meng Wang
University of Bristol
,
Benjamin C. Pierce
University of Pennsylvania
DOI
11:00
30m
Talk
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
Experience Report
ICFP Papers and Events
Jessica Shi
University of Pennsylvania
,
Alperen Keles
University of Maryland at College Park
,
Harrison Goldstein
University of Pennsylvania
,
Benjamin C. Pierce
University of Pennsylvania
,
Leonidas Lampropoulos
University of Maryland, College Park
DOI
11:30
30m
Talk
Formal Specification and Testing for Reinforcement Learning
Remote
ICFP Papers and Events
Mahsa Varshosaz
IT University of Copenhagen, Denmark
,
Mohsen Ghaffari
IT University of Copenhagen
,
Einar Broch Johnsen
University of Oslo
,
Andrzej Wąsowski
IT University of Copenhagen, Denmark
DOI
13:30 - 14:30
Meta programming
ICFP Papers and Events
at
B - Fifth Avenue
Chair(s):
Gabriel Radanne
Inria
13:30
30m
Talk
Embedding by Unembedding
ICFP Papers and Events
Kazutaka Matsuda
Tohoku University
,
Samantha Frohlich
University of Bristol
,
Meng Wang
University of Bristol
,
Nicolas Wu
Imperial College London
DOI
14:00
30m
Talk
MacoCaml: Staging Composable and Compilable Macros
ICFP Papers and Events
Ningning Xie
University of Toronto
,
Leo White
Jane Street
,
Olivier Nicole
Tarides
,
Jeremy Yallop
University of Cambridge
DOI
Pre-print
15:00 - 16:00
Modal FRP
ICFP Papers and Events
at
B - Fifth Avenue
Chair(s):
Amos Robinson
Australian National University, Australia
15:00
30m
Talk
Modal FRP for all: Functional reactive programming without space leaks in Haskell
JFP Presentation
ICFP Papers and Events
Patrick Bahr
IT University of Copenhagen
Link to publication
DOI
15:30
30m
Talk
Asynchronous Modal FRP
ICFP Papers and Events
Patrick Bahr
IT University of Copenhagen
,
Rasmus Ejlers Møgelberg
IT University of Copenhagen
DOI
Pre-print
Thu 7 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
Verification 2
ICFP Papers and Events
at
B - Fifth Avenue
Chair(s):
Niki Vazou
IMDEA Software Institute
10:30
30m
Talk
Explicit Refinement Types
ICFP Papers and Events
Jad Elkhaleq Ghalayini
University of Cambridge
,
Neel Krishnaswami
University of Cambridge
DOI
11:00
30m
Talk
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
Experience Report
ICFP Papers and Events
Thomas Bourgeat
,
Ian Clester
Georgia Institute of Technology
,
Andres Erbsen
MIT
,
Samuel Gruetter
Massachusetts Institute of Technology
,
Pratap Singh
CMU
,
Andy Wright
MIT
,
Adam Chlipala
Massachusetts Institute of Technology
DOI
13:30 - 14:30
Blame and education
ICFP Papers and Events
at
B - Fifth Avenue
Chair(s):
Benjamin C. Pierce
University of Pennsylvania
13:30
30m
Talk
How to Evaluate Blame for Gradual Types, Part 2
ICFP Papers and Events
Lukas Lazarek
Northwestern University
,
Ben Greenman
Brown University
,
Matthias Felleisen
PLT @ Northeastern University
,
Christos Dimoulas
PLT @ Northwestern University
DOI
14:00
30m
Talk
What Happens When Students Switch (Functional) Languages (Experience Report)
Remote
Experience Report
ICFP Papers and Events
Kuang-Chen Lu
Brown University, USA
,
Shriram Krishnamurthi
Brown University, United States
,
Kathi Fisler
Brown University
,
Ethel Tshukudu
University of Botswana
DOI
15:00 - 16:00
Data representation
ICFP Papers and Events
at
B - Fifth Avenue
Chair(s):
Lennart Augustsson
Epic Games
15:00
30m
Talk
Read/write factorizable programs
JFP Presentation
ICFP Papers and Events
Siddharth Bhaskar
University of Copenhagen
,
Jakob Grue Simonsen
University of Copenhagen
Link to publication
DOI
15:30
30m
Talk
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
ICFP Papers and Events
Thaïs Baudon
ENS de Lyon & LIP
,
Gabriel Radanne
Inria
,
Laure Gonnord
Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France
DOI
Pre-print
Media Attached
File Attached
Fri 8 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Haskell: Keynote 1
Haskell
at
B - Fifth Avenue
Chair(s):
Niki Vazou
IMDEA Software Institute
09:00
5m
Day opening
Welcome
Haskell
Niki Vazou
IMDEA Software Institute
09:05
70m
Keynote
The Evolution of Effects
Haskell
Nicolas Wu
Imperial College London
DOI
11:00 - 12:30
Haskell: Session 1
Haskell
at
B - Fifth Avenue
Chair(s):
Edsko de Vries
Well-Typed LLP
11:00
30m
Talk
Effect Handlers for Programmable Inference
Haskell
Minh Nguyen
University of Bristol
,
Roly Perera
Alan Turing Institute
,
Meng Wang
University of Bristol
,
Steven Ramsay
University of Bristol
DOI
11:30
30m
Talk
The Essence of Reactivity
Haskell
Ivan Perez
NASA Ames Research Center
,
Frank Dedden
System F Computing
DOI
12:00
30m
Talk
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Haskell
Finnbar Keating
University of Warwick
,
Michael Gale
GitHub
DOI
14:00 - 15:30
Haskell: Session 2
Haskell
at
B - Fifth Avenue
Chair(s):
Facundo Domínguez
Tweag
14:00
30m
Talk
An Exceptional Actor System (Functional Pearl)
Haskell
Patrick Redmond
University of California at Santa Cruz
,
Lindsey Kuper
University of California, Santa Cruz
DOI
Pre-print
14:30
30m
Talk
HasTEE: Programming Trusted Execution Environments with Haskell
Haskell
Abhiroop Sarkar
Chalmers University of Technology
,
Robert Krook
Chalmers University of Technology, Sweden
,
Alejandro Russo
Chalmers University of Technology, Sweden
,
Koen Claessen
Chalmers University of Technology
DOI
Pre-print
15:00
30m
Talk
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Haskell
Takato Otsuka
The University of Electro-Communications
,
Hideya Iwasaki
Meiji University
DOI
16:00 - 17:30
Haskell: Demos
Haskell
at
B - Fifth Avenue
Chair(s):
Niki Vazou
IMDEA Software Institute
16:00
30m
Demonstration
A Haskell Auto-Parallelizer for Distributed Computing
Haskell
Yuxi Long
Duke University
,
Shiyou Wu
Duke University
,
Yingjie Xu
Duke University
16:30
30m
Demonstration
Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory
Haskell
Makoto Hamana
Gunma University, Japan
17:00
30m
Meeting
Lightning Talks I
Haskell
Sat 9 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Haskell: Keynote 2
Haskell
at
B - Fifth Avenue
Chair(s):
Leonidas Lampropoulos
University of Maryland, College Park
09:00
60m
Keynote
Haskell for choice-based learning
Haskell
Ningning Xie
University of Toronto
DOI
11:00 - 12:30
Haskell: Session 3
Haskell
at
B - Fifth Avenue
Chair(s):
Antal Spector-Zabusky
11:00
30m
Talk
falsify: Internal Shrinking Reimagined for Haskell
Haskell
Edsko de Vries
Well-Typed LLP
DOI
11:30
30m
Talk
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Haskell
Segev Elazar Mittelman
University of Maryland, College Park
,
Aviel Resnick
University of Pennsylvania
,
Ivan Perez
NASA Ames Research Center
,
Alwyn Goodloe
NASA Langley Research Center
,
Leonidas Lampropoulos
University of Maryland, College Park
DOI
12:00
30m
Meeting
Lightning Talks II
Haskell
14:00 - 15:30
Haskell: Summer of Code & Chair's Report
Haskell
at
B - Fifth Avenue
14:00
70m
Meeting
Haskell Summer of Code Presentations
Haskell
Aaron Allen
15:10
5m
Day closing
PC Chair Report
Haskell
Niki Vazou
IMDEA Software Institute
Mon 4 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
B - Fifth Avenue
PLMW @ ICFP
Icebreaker and Preparing for Graduate School in PL
PLMW @ ICFP
Panel and Getting the Most out of ICFP
PLMW @ ICFP
Technical Lecture and Mental Health
PLMW @ ICFP
How to give a talk, speed mentoring, and debrief
Tue 5 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
B - Fifth Avenue
ICFP Papers and Events
Dependent types
ICFP Papers and Events
Fixpoints
Wed 6 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
B - Fifth Avenue
ICFP Papers and Events
Testing
ICFP Papers and Events
Meta programming
ICFP Papers and Events
Modal FRP
Thu 7 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
B - Fifth Avenue
ICFP Papers and Events
Verification 2
ICFP Papers and Events
Blame and education
ICFP Papers and Events
Data representation
Fri 8 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
B - Fifth Avenue
Haskell
Haskell: Keynote 1
Haskell
Haskell: Session 1
Haskell
Haskell: Session 2
Haskell
Haskell: Demos
Sat 9 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
B - Fifth Avenue
Haskell
Haskell: Keynote 2
Haskell
Haskell: Session 3
Haskell
Haskell: Summer of Code & Chair's Report
Haskell
Mon 4 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
B - Fifth Avenue
PLMW @ ICFP
PLMW Icebreaker Session
09:00 - 09:45
PLMW @ ICFP
How to Thrive as a PhD student in PL
09:45 - 10:30
PLMW @ ICFP
Getting Productive in Research
11:00 - 11:45
PLMW @ ICFP
Getting the Most Out of ICFP
11:45 - 12:30
PLMW @ ICFP
A History of Subtyping
14:00 - 14:45
PLMW @ ICFP
Remote
Mental Health Mentoring for PL Students
14:45 - 15:30
PLMW @ ICFP
How to Write a Great Research Paper
16:00 - 16:45
PLMW @ ICFP
Speed Mentoring
16:45 - 17:30
Tue 5 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
B - Fifth Avenue
ICFP Papers and Events
JFP Presentation
Is Sized Typing for Coq Practical?
10:30 - 11:00
ICFP Papers and Events
Dependently-Typed Programming with Logical Equality Reflection
11:00 - 11:30
ICFP Papers and Events
A Graded Modal Dependent Type Theory with a Universe and Erasure, Forma ...
11:30 - 12:00
ICFP Papers and Events
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
15:00 - 15:30
ICFP Papers and Events
Functional Pearl
More Fixpoints! (Functional Pearl)
15:30 - 16:00
Wed 6 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
B - Fifth Avenue
ICFP Papers and Events
Distinguished Paper
Reflecting on Random Generation
10:30 - 11:00
ICFP Papers and Events
Experience Report
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
11:00 - 11:30
ICFP Papers and Events
Remote
Formal Specification and Testing for Reinforcement Learning
11:30 - 12:00
ICFP Papers and Events
Embedding by Unembedding
13:30 - 14:00
ICFP Papers and Events
MacoCaml: Staging Composable and Compilable Macros
14:00 - 14:30
ICFP Papers and Events
JFP Presentation
Modal FRP for all: Functional reactive programming without space leaks ...
15:00 - 15:30
ICFP Papers and Events
Asynchronous Modal FRP
15:30 - 16:00
Thu 7 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
Room
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
B - Fifth Avenue
ICFP Papers and Events
Explicit Refinement Types
10:30 - 11:00
ICFP Papers and Events
Experience Report
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
11:00 - 11:30
ICFP Papers and Events
How to Evaluate Blame for Gradual Types, Part 2
13:30 - 14:00
ICFP Papers and Events
Remote
Experience Report
What Happens When Students Switch (Functional) Languages (Experience Re ...
14:00 - 14:30
ICFP Papers and Events
JFP Presentation
Read/write factorizable programs
15:00 - 15:30
ICFP Papers and Events
Bit-Stealing Made Legal: Compilation for Custom Memory Representations ...
15:30 - 16:00
Fri 8 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
B - Fifth Avenue
Haskell
Welcome
09:00 - 09:05
Haskell
The Evolution of Effects
09:05 - 10:15
Haskell
Effect Handlers for Programmable Inference
11:00 - 11:30
Haskell
The Essence of Reactivity
11:30 - 12:00
Haskell
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional React ...
12:00 - 12:30
Haskell
An Exceptional Actor System (Functional Pearl)
14:00 - 14:30
Haskell
HasTEE: Programming Trusted Execution Environments with Haskell
14:30 - 15:00
Haskell
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
15:00 - 15:30
Haskell
A Haskell Auto-Parallelizer for Distributed Computing
16:00 - 16:30
Haskell
Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory
16:30 - 17:00
Haskell
Lightning Talks I
17:00 - 17:30
Sat 9 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
B - Fifth Avenue
Haskell
Haskell for choice-based learning
09:00 - 10:00
Haskell
falsify: Internal Shrinking Reimagined for Haskell
11:00 - 11:30
Haskell
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property- ...
11:30 - 12:00
Haskell
Lightning Talks II
12:00 - 12:30
Haskell
Haskell Summer of Code Presentations
14:00 - 15:10
Haskell
PC Chair Report
15:10 - 15:15
x
Tue 3 Dec 08:56