ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
ICFP 2023 (series) / The Westin Seattle /

Room information: Grand Crescent

VenueThe Westin Seattle
Room nameGrand Crescent
Floor4
Capacity140
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

Mon 4 Sep

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

09:00 - 10:30
HIW: Introduction + GHC status reportHIW at Grand Crescent
Chair(s): Ryan Scott Galois, Inc.
09:00
30m
Talk
Introduction
HIW
Ryan Scott Galois, Inc.
09:30
60m
Talk
GHC status report
HIW
Simon Peyton Jones Epic Games , Ben Gamari Well-Typed LLP
11:00 - 12:30
HIW: Session 1HIW at Grand Crescent
Chair(s): Li-yao Xia University of Edinburgh
11:00
30m
Talk
Integrating Liquid Haskell with GHC
HIW
Facundo Domínguez Tweag
11:30
30m
Talk
Error Message Annotation Plugins for Haskell
HIW
Dylan Thinnes Digital Asset
12:00
15m
Talk
An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk)
HIW
Henry Blanchette
12:15
15m
Talk
Advancements in info table profiling (Lightning Talk)
HIW
Finley McIlwaine Well-Typed LLP
14:00 - 15:30
HIW: Session 2HIW at Grand Crescent
Chair(s): Ben Gamari Well-Typed LLP
14:00
30m
Talk
GHC Plugin for Setting Breakpoints
HIW
Aaron Allen
14:30
15m
Talk
Building web apps with Haskell and IHP (Lightning Talk)
HIW
Marc Scholten digitally induced
14:45
15m
Talk
Deriving as a library (Lightning Talk)
HIW
Li-yao Xia University of Edinburgh
15:00
15m
Talk
MicroHaskell (Lightning Talk)
HIW
Lennart Augustsson Epic Games
15:15
15m
Talk
Using MMTk Garbage Collection in GHC (Lightning Talk)Remote
HIW
Junming Zhao
16:00 - 17:30
HIW: Session 3HIW at Grand Crescent
Chair(s): Iavor Diatchki Galois, Inc.
16:00
30m
Talk
Severing ties: the need for non-updateable thunks
HIW
Edsko de Vries Well-Typed LLP
16:30
30m
Talk
ghc-specter: a GHC plugin that inspects the GHC state on live
HIW
Ian-Woo Kim Mercury Technologies, Inc
17:00
15m
Talk
Execution domains in GHC/Haskell (Lightning Talk)
HIW
Ben Gamari Well-Typed LLP
17:15
15m
Talk
Kudzu (Lightning Talk)
HIW
Shae Matijs Erisson

Fri 8 Sep

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

09:00 - 10:30
ML Workshop: Session 1Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent
Chair(s): Jacques Garrigue Nagoya University
09:00
30m
Talk
Resource polymorphism: proposal for integrating first-class resources into MLRemote
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Guillaume Munch-Maccagnoni INRIA
09:30
30m
Talk
Modernizing Standard ML of New Jersey: A Status Report
Higher-order, Typed, Inferred, Strict: ML Family Workshop
David MacQueen University of Chicago (Emeritus), John Reppy University of Chicago, USA
10:00
30m
Talk
Semi-explicit polymorphic parameters
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Leo White Jane Street
11:00 - 12:30
ML Workshop: Session 2Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent
Chair(s): Oleg Kiselyov Tohoku University
11:00
30m
Talk
A New Standard ML Prettyprinter Library, An Experience Report
Higher-order, Typed, Inferred, Strict: ML Family Workshop
David MacQueen University of Chicago (Emeritus)
11:30
30m
Talk
Exploring Perceus For OCaml
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Elton Pinto Georgia Institute of Technology, Daan Leijen Microsoft Research
Pre-print
12:00
30m
Talk
Immutable Arrays Help Mutating Arrays More Efficiently
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Sven-Bodo Scholz Heriot-Watt University
14:00 - 15:30
ML Workshop: Session 3Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent
14:00
30m
Talk
Programming with Explicit Effects in ReML
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Martin Elsman University of Copenhagen, Denmark
14:30
30m
Talk
Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop)
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Léo Andrès LMF, OCamlPro, Pierre Chambart OCamlPRO
15:00
30m
Talk
Layout Polymorphism: Using static computation to allow efficient polymorphism over variable representations
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Richard A. Eisenberg Jane Street
File Attached
16:00 - 17:30
ML Workshop: Session 4Higher-order, Typed, Inferred, Strict: ML Family Workshop at Grand Crescent
Chair(s): Oleg Kiselyov Tohoku University
16:00
30m
Talk
Flambda 2 Types: An abstract domain for static analysis of functional programs (moved from OCaml workshop)
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Vincent LAVIRON OCamlPro, Pierre Chambart OCamlPRO, Mark Shinwell Jane Street
16:30
30m
Talk
The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Preliminary Report on the Salto Analyser
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Benoît Montagu Inria
Pre-print Media Attached File Attached

Sat 9 Sep

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

09:00 - 10:30
Session 1OCaml at Grand Crescent
Chair(s): Benoît Montagu Inria
09:00
22m
Talk
Eio 1.0 – Effects-based IO for OCaml 5
OCaml
Thomas Leonard Tarides, Patrick Ferris University of Cambridge, UK, Christiano Haesbaert Tarides, Lucas Pluvinage Tarides, Vesa Karvonen Tarides, Sudha Parimala Tarides, KC Sivaramakrishnan IIT Madras and Tarides, Vincent Balat Tarides, Anil Madhavapeddy University of Cambridge, UK
File Attached
09:22
22m
Talk
Modern DSL compiler architecture in OCaml our experience with CatalaRemote
OCaml
Louis Gesbert INRIA, Denis Merigoux INRIA
File Attached
09:45
22m
Talk
Runtime Detection of Data Races in OCaml with ThreadSanitizerRemote
OCaml
Olivier Nicole Tarides, Fabrice Buoro Tarides
File Attached
10:07
22m
Talk
Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the codeRemote
OCaml
Edwin Török XenServer, Cloud Software Group
File Attached
11:00 - 12:30
Session 2OCaml at Grand Crescent
Chair(s): Chris Casinghino Jane Street
11:00
22m
Talk
Efficient OCaml compilation with Flambda 2
OCaml
Pierre Chambart OCamlPRO, Vincent LAVIRON OCamlPro, Mark Shinwell Jane Street
File Attached
11:22
22m
Talk
Less Power for More Learning: Restricting OCaml Features for Effective TeachingRemote
OCaml
Max Lang Technische Universität München, Nico Petzendorfer Department of Computer Science, Technische Universität München, Garching, Germany
File Attached
11:45
22m
Talk
Osiris: an Iris-based program logic for OCamlRemote
OCaml
Arnaud Daby-Seesaram ENS Paris Saclay, François Pottier Inria, Armaël Guéneau Inria
File Attached
12:07
22m
Talk
Safe and efficient generic functions with MacoCaml
OCaml
Dmitrij Szamozvancev University of Cambridge, Leo White Jane Street, Ningning Xie University of Toronto / Google DeepMind, Jeremy Yallop University of Cambridge
File Attached
14:00 - 15:30
Session 3OCaml at Grand Crescent
Chair(s): Jacques Garrigue Nagoya University
14:00
22m
Talk
Buck2 for OCaml Users & DevelopersRemoteHybrid In-Person
OCaml
Shayne Fletcher Meta, Neil Mitchell Meta
File Attached
14:22
22m
Talk
Building a lock-free STM for OCaml
OCaml
Vesa Karvonen Tarides, Bartosz Modelski Tarides, Carine Morel Tarides, Thomas Leonard Tarides, KC Sivaramakrishnan IIT Madras and Tarides, YSS Narasimha Naidu IIT Madras, Sudha Parimala Tarides
Link to publication File Attached
14:45
22m
Talk
Parallel Sequences in Multicore OCamlRemote
OCaml
Andrew Tao Princeton University
File Attached
15:07
22m
Talk
State of the OCaml Platform 2023
OCaml
Thibaut Mattio Tarides, Anil Madhavapeddy University of Cambridge, UK, Thomas Gazagnaire Tarides, David Allsopp Tarides
File Attached
16:00 - 17:30
Session 4OCaml at Grand Crescent
Chair(s): Jeremy Yallop University of Cambridge
16:00
20m
Talk
MetaOCaml Theory and Implementation
OCaml
Oleg Kiselyov Tohoku University
File Attached
16:25
20m
Talk
Owi: an interpreter and a toolkit for WebAssembly written in OCaml
OCaml
Léo Andrès LMF, OCamlPro, Pierre Chambart OCamlPRO, Eric Patrizio OCamlPro, Dario Pinto OCamlPro
File Attached

Mon 4 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Crescent

HIW

HIW: Introduction + GHC status report

HIW

HIW: Session 1

HIW

HIW: Session 2

HIW

HIW: Session 3

Fri 8 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Crescent

Higher-order, Typed, Inferred, Strict: ML Family Workshop

ML Workshop: Session 1

Higher-order, Typed, Inferred, Strict: ML Family Workshop

ML Workshop: Session 2

Higher-order, Typed, Inferred, Strict: ML Family Workshop

ML Workshop: Session 3

Higher-order, Typed, Inferred, Strict: ML Family Workshop

ML Workshop: Session 4

Sat 9 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Crescent

OCaml

Session 1

OCaml

Session 2

OCaml

Session 3

OCaml

Session 4

Mon 4 Sep

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Crescent
HIW
Introduction
09:00 - 09:30
HIW
GHC status report
09:30 - 10:30
HIW
Integrating Liquid Haskell with GHC
11:00 - 11:30
HIW
Error Message Annotation Plugins for Haskell
11:30 - 12:00
HIW
An Algorithm Generator for Fixed-point Oriented Programming (Lightning ...
12:00 - 12:15
HIW
Advancements in info table profiling (Lightning Talk)
12:15 - 12:30
HIW
GHC Plugin for Setting Breakpoints
14:00 - 14:30
HIW
Building web apps with Haskell and IHP (Lightning Talk)
14:30 - 14:45
HIW
Deriving as a library (Lightning Talk)
14:45 - 15:00
HIW
MicroHaskell (Lightning Talk)
15:00 - 15:15
HIWRemote
Using MMTk Garbage Collection in GHC (Lightning Talk)
15:15 - 15:30
HIW
Severing ties: the need for non-updateable thunks
16:00 - 16:30
HIW
ghc-specter: a GHC plugin that inspects the GHC state on live
16:30 - 17:00
HIW
Execution domains in GHC/Haskell (Lightning Talk)
17:00 - 17:15
HIW
Kudzu (Lightning Talk)
17:15 - 17:30

Fri 8 Sep

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Crescent
Higher-order, Typed, Inferred, Strict: ML Family WorkshopRemote
Resource polymorphism: proposal for integrating first-class resources i ...
09:00 - 09:30
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Modernizing Standard ML of New Jersey: A Status Report
09:30 - 10:00
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Semi-explicit polymorphic parameters
10:00 - 10:30
Higher-order, Typed, Inferred, Strict: ML Family Workshop
A New Standard ML Prettyprinter Library, An Experience Report
11:00 - 11:30
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Exploring Perceus For OCaml
11:30 - 12:00
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Immutable Arrays Help Mutating Arrays More Efficiently
12:00 - 12:30
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Programming with Explicit Effects in ReML
14:00 - 14:30
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Wasocaml: a compiler from OCaml to WebAssembly (moved from OCaml workshop)
14:30 - 15:00
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Layout Polymorphism: Using static computation to allow efficient polymo ...
15:00 - 15:30
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Flambda 2 Types: An abstract domain for static analysis of functional p ...
16:00 - 16:30
Higher-order, Typed, Inferred, Strict: ML Family Workshop
The Design and Implementation of an Abstract Interpreter for OCaml Prog ...
16:30 - 17:00

Sat 9 Sep

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Crescent
OCaml
Eio 1.0 – Effects-based IO for OCaml 5
09:00 - 09:22
OCamlRemote
Modern DSL compiler architecture in OCaml our experience with Catala
09:22 - 09:45
OCamlRemote
Runtime Detection of Data Races in OCaml with ThreadSanitizer
09:45 - 10:07
OCamlRemote
Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from t ...
10:07 - 10:30
OCaml
Efficient OCaml compilation with Flambda 2
11:00 - 11:22
OCamlRemote
Less Power for More Learning: Restricting OCaml Features for Effective ...
11:22 - 11:45
OCamlRemote
Osiris: an Iris-based program logic for OCaml
11:45 - 12:07
OCaml
Safe and efficient generic functions with MacoCaml
12:07 - 12:30
OCamlRemoteHybrid In-Person
Buck2 for OCaml Users & Developers
14:00 - 14:22
OCaml
Building a lock-free STM for OCaml
14:22 - 14:45
OCamlRemote
Parallel Sequences in Multicore OCaml
14:45 - 15:07
OCaml
State of the OCaml Platform 2023
15:07 - 15:30
OCaml
MetaOCaml Theory and Implementation
16:00 - 16:20
OCaml
Owi: an interpreter and a toolkit for WebAssembly written in OCaml
16:25 - 16:45