ICFP 2023 (series) / HIW 2023 (series) /
HIW 2023 Program
This is the HIW 2023 program - see the full program for ICFP 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change
Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 30mTalk | Introduction HIW Ryan Scott Galois, Inc. | ||
09:30 60mTalk | GHC status report HIW | ||
11:00 - 12:30 | |||
11:00 30mTalk | Integrating Liquid Haskell with GHC HIW Facundo Domínguez Tweag | ||
11:30 30mTalk | Error Message Annotation Plugins for Haskell HIW Dylan Thinnes Digital Asset | ||
12:00 15mTalk | An Algorithm Generator for Fixed-point Oriented Programming (Lightning Talk) HIW | ||
12:15 15mTalk | Advancements in info table profiling (Lightning Talk) HIW Finley McIlwaine Well-Typed LLP | ||
14:00 - 15:30 | |||
14:00 30mTalk | GHC Plugin for Setting Breakpoints HIW | ||
14:30 15mTalk | Building web apps with Haskell and IHP (Lightning Talk) HIW Marc Scholten digitally induced | ||
14:45 15mTalk | Deriving as a library (Lightning Talk) HIW Li-yao Xia University of Edinburgh | ||
15:00 15mTalk | MicroHaskell (Lightning Talk) HIW Lennart Augustsson Epic Games | ||
15:15 15mTalk | Using MMTk Garbage Collection in GHC (Lightning Talk)Remote HIW | ||
16:00 - 17:30 | |||
16:00 30mTalk | Severing ties: the need for non-updateable thunks HIW Edsko de Vries Well-Typed LLP | ||
16:30 30mTalk | ghc-specter: a GHC plugin that inspects the GHC state on live HIW Ian-Woo Kim Mercury Technologies, Inc | ||
17:00 15mTalk | Execution domains in GHC/Haskell (Lightning Talk) HIW Ben Gamari Well-Typed LLP | ||
17:15 15mTalk | Kudzu (Lightning Talk) HIW | ||