HIW 2023
Mon 4 - Sat 9 September 2023
Seattle, Washington, United States
co-located with
ICFP 2023
Toggle navigation
Attending
Hotel: The Westin Seattle
Program
Complete Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Fri 8 Sep
Sat 9 Sep
Track/Call
Organization
HIW 2023 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
HIW 2024
HIW 2023
HIW 2022
HIW 2021
HIW 2020
HIW 2019
HIW 2018
HIW 2017
HIW 2016
Sign in
Sign up
ICFP 2023
(
series
) /
HIW 2023 (
series
) /
The Westin Seattle
/
Room information: Grand Crescent
Venue
The Westin Seattle
Room name
Grand Crescent
Floor
4
Capacity
140
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
HIW: Introduction + GHC status report
HIW 2023
at
Grand Crescent
Chair(s):
Ryan Scott
Galois, Inc.
09:00
30m
Talk
Introduction
HIW 2023
Ryan Scott
Galois, Inc.
09:30
60m
Talk
GHC status report
HIW 2023
Simon Peyton Jones
Epic Games
,
Ben Gamari
Well-Typed LLP
11:00 - 12:30
HIW: Session 1
HIW 2023
at
Grand Crescent
Chair(s):
Li-yao Xia
University of Edinburgh
11:00
30m
Talk
Integrating Liquid Haskell with GHC
HIW 2023
Facundo Domínguez
Tweag
11:30
30m
Talk
Error Message Annotation Plugins for Haskell
HIW 2023
Dylan Thinnes
Digital Asset
12:00
15m
Talk
An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk)
HIW 2023
Henry Blanchette
12:15
15m
Talk
Advancements in info table profiling (Lightning Talk)
HIW 2023
Finley McIlwaine
Well-Typed LLP
14:00 - 15:30
HIW: Session 2
HIW 2023
at
Grand Crescent
Chair(s):
Ben Gamari
Well-Typed LLP
14:00
30m
Talk
GHC Plugin for Setting Breakpoints
HIW 2023
Aaron Allen
14:30
15m
Talk
Building web apps with Haskell and IHP (Lightning Talk)
HIW 2023
Marc Scholten
digitally induced
14:45
15m
Talk
Deriving as a library (Lightning Talk)
HIW 2023
Li-yao Xia
University of Edinburgh
15:00
15m
Talk
MicroHaskell (Lightning Talk)
HIW 2023
Lennart Augustsson
Epic Games
15:15
15m
Talk
Using MMTk Garbage Collection in GHC (Lightning Talk)
Remote
HIW 2023
Junming Zhao
16:00 - 17:30
HIW: Session 3
HIW 2023
at
Grand Crescent
Chair(s):
Iavor Diatchki
Galois, Inc.
16:00
30m
Talk
Severing ties: the need for non-updateable thunks
HIW 2023
Edsko de Vries
Well-Typed LLP
16:30
30m
Talk
ghc-specter: a GHC plugin that inspects the GHC state on live
HIW 2023
Ian-Woo Kim
Mercury Technologies, Inc
17:00
15m
Talk
Execution domains in GHC/Haskell (Lightning Talk)
HIW 2023
Ben Gamari
Well-Typed LLP
17:15
15m
Talk
Kudzu (Lightning Talk)
HIW 2023
Shae Matijs Erisson
Fri 8 Sep
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
ML Workshop: Session 1
Higher-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 ML
Remote
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 2
Higher-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 3
Higher-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 4
Higher-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 1
OCaml
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 Catala
Remote
OCaml
Louis Gesbert
INRIA
,
Denis Merigoux
INRIA
File Attached
09:45
22m
Talk
Runtime Detection of Data Races in OCaml with ThreadSanitizer
Remote
OCaml
Olivier Nicole
Tarides
,
Fabrice Buoro
Tarides
File Attached
10:07
22m
Talk
Targeted Static Analysis for OCaml C Stubs: Eliminating gremlins from the code
Remote
OCaml
Edwin Török
XenServer, Cloud Software Group
File Attached
11:00 - 12:30
Session 2
OCaml
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 Teaching
Remote
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 OCaml
Remote
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
,
Jeremy Yallop
University of Cambridge
File Attached
14:00 - 15:30
Session 3
OCaml
at
Grand Crescent
Chair(s):
Jacques Garrigue
Nagoya University
14:00
22m
Talk
Buck2 for OCaml Users & Developers
Remote
Hybrid 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 OCaml
Remote
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 4
OCaml
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
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
Grand Crescent
HIW 2023
HIW: Introduction + GHC status report
HIW 2023
HIW: Session 1
HIW 2023
HIW: Session 2
HIW 2023
HIW: Session 3
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
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
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
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
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
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
HIW
Remote
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
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
Grand Crescent
Higher-order, Typed, Inferred, Strict: ML Family Workshop
Remote
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
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
Grand Crescent
OCaml
Eio 1.0 – Effects-based IO for OCaml 5
09:00 - 09:22
OCaml
Remote
Modern DSL compiler architecture in OCaml our experience with Catala
09:22 - 09:45
OCaml
Remote
Runtime Detection of Data Races in OCaml with ThreadSanitizer
09:45 - 10:07
OCaml
Remote
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
OCaml
Remote
Less Power for More Learning: Restricting OCaml Features for Effective ...
11:22 - 11:45
OCaml
Remote
Osiris: an Iris-based program logic for OCaml
11:45 - 12:07
OCaml
Safe and efficient generic functions with MacoCaml
12:07 - 12:30
OCaml
Remote
Hybrid In-Person
Buck2 for OCaml Users & Developers
14:00 - 14:22
OCaml
Building a lock-free STM for OCaml
14:22 - 14:45
OCaml
Remote
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
x
Fri 3 May 20:24