ICFP 2023 (series) / Haskell 2023 (series) /
Haskell 2023 Program
This is the Haskell 2023 program - see the full program for ICFP 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change
Fri 8 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 5mDay opening | Welcome Haskell Niki Vazou IMDEA Software Institute | ||
09:05 70mKeynote | The Evolution of Effects Haskell Nicolas Wu Imperial College London DOI | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | The Essence of Reactivity Haskell DOI | ||
12:00 30mTalk | This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs Haskell DOI | ||
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | 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 30mTalk | Haskell Library for Safer Virtual Machine Introspection (Experience Report) Haskell DOI | ||
16:00 - 17:30 | |||
16:00 30mDemonstration | A Haskell Auto-Parallelizer for Distributed Computing Haskell | ||
16:30 30mDemonstration | Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory Haskell Makoto Hamana Gunma University, Japan | ||
17:00 30mMeeting | Lightning Talks I Haskell | ||
Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change
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 60mKeynote | Haskell for choice-based learning Haskell Ningning Xie University of Toronto / Google DeepMind DOI | ||
11:00 - 12:30 | |||
11:00 30mTalk | falsify: Internal Shrinking Reimagined for Haskell Haskell Edsko de Vries Well-Typed LLP DOI | ||
11:30 30mTalk | 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 30mMeeting | Lightning Talks II Haskell | ||
14:00 - 15:30 | |||
14:00 70mMeeting | Haskell Summer of Code Presentations Haskell | ||
15:10 5mDay closing | PC Chair Report Haskell Niki Vazou IMDEA Software Institute | ||