ICFP 2021 (series) / HIW 2021 (series) /
HIW 2021 Program
This is the HIW 2021 program - see the full program for ICFP 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 22 AugDisplayed time zone: Seoul change
Sun 22 Aug
Displayed time zone: Seoul change
20:00 - 21:30 | |||
20:00 22mTalk | Exact Print Annotations in GHC HIW | ||
20:22 22mTalk | Avoiding quadratic GHC core code size HIW | ||
20:44 22mTalk | Improvements to GHC's parallel garbage collector HIW Douglas Wilson Well Typed |
22:00 - 23:30 | |||
22:00 60mTalk | Haskell reinterpreted – large-scale real-world experience with the Mu compiler in Financial Markets HIW Marten Agren Standard Chartered Bank File Attached |
23:30 - 01:00 | |||
23:30 22mTalk | Generalization is hard, but somebody's got to do it HIW Richard A. Eisenberg Tweag | ||
23:52 22mTalk | A new interface for GHC typechecker plugins and type-family rewriting HIW Sam Derbyshire Tweag Media Attached | ||
00:14 22mTalk | The Dynamic Haskell Plugin for GHC HIW Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Agustín Mista Chalmers University of Technology | ||
00:36 22mTalk | GHC Status update HIW Simon Peyton Jones Microsoft, UK File Attached |
Mon 23 AugDisplayed time zone: Seoul change
Mon 23 Aug
Displayed time zone: Seoul change
01:30 - 03:00 | |||
01:30 22mTalk | Testing Haskell with Mocks HIW | ||
01:52 22mTalk | Adventures in GHC compile times HIW | ||
02:14 7mTalk | Lightning Talk: Pinned Warnings HIW | ||
02:21 7mTalk | Lightning Talk: GSOL: A Confluence Checker for Haskell Rewrite Rules HIW File Attached |
03:30 - 05:00 | |||
03:30 22mTalk | Securing Web-Applications with A Refinement Typed ORM HIW Nico Lehmann University of California, San Diego, Rose Kunkel University of California, San Diego, Niki Vazou IMDEA Software Institute, Nadia Polikarpova University of California at San Diego, Deian Stefan University of California at San Diego, USA, Ranjit Jhala University of California at San Diego | ||
03:52 22mTalk | Generics for Hardware: Adding Haskell-inspired Generics to Bluespec HIW | ||
04:14 3mTalk | Closing HIW Ningning Xie University of Hong Kong |