ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 8 Sep

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
Haskell: Keynote 1Haskell 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 1Haskell 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 2Haskell 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: DemosHaskell 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 2Haskell 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 3Haskell 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 ReportHaskell at B - Fifth Avenue
14:00
70m
Meeting
Haskell Summer of Code Presentations
Haskell
15:10
5m
Day closing
PC Chair Report
Haskell
Niki Vazou IMDEA Software Institute