ICFP 2021
Sun 22 - Sat 28 August 2021
ICFP 2021 (series) / Virtual /

Room information: HIW

VenueVirtual
Room nameHIW
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

Sun 22 Aug

Displayed time zone: Seoul change

20:00 - 21:30
GHC 1HIW at HIW
Chair(s): Ningning Xie University of Toronto
20:00
22m
Talk
Exact Print Annotations in GHC
HIW
Alan Zimmerman
20:22
22m
Talk
Avoiding quadratic GHC core code size
HIW
Edsko de Vries Well-Typed LLP, Andres Löh Well-Typed LLP
20:44
22m
Talk
Improvements to GHC's parallel garbage collector
HIW
Douglas Wilson Well Typed
22:00 - 23:30
KeynoteHIW at HIW
Chair(s): Ningning Xie University of Toronto
22:00
60m
Talk
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
Types and GHC 2HIW at HIW
Chair(s): Andres Löh Well-Typed LLP
23:30
22m
Talk
Generalization is hard, but somebody's got to do it
HIW
Richard A. Eisenberg Tweag
23:52
22m
Talk
A new interface for GHC typechecker plugins and type-family rewriting
HIW
Sam Derbyshire Tweag
Media Attached
00:14
22m
Talk
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
22m
Talk
GHC Status update
HIW
Simon Peyton Jones Microsoft, UK
File Attached

Mon 23 Aug

Displayed time zone: Seoul change

01:30 - 03:00
ToolsHIW at HIW
Chair(s): Daan Leijen Microsoft Research
01:30
22m
Talk
Testing Haskell with Mocks
HIW
Chris Smith
01:52
22m
Talk
Adventures in GHC compile times
HIW
Jeffrey M. Young Tweag, Richard A. Eisenberg Tweag
02:14
7m
Talk
Lightning Talk: Pinned Warnings
HIW
Aaron Allen
02:21
7m
Talk
Lightning Talk: GSOL: A Confluence Checker for Haskell Rewrite Rules
HIW
Faustin Date , Makoto Hamana Gunma University, Japan
File Attached
03:30 - 05:00
Applications and ClosingHIW at HIW
Chair(s): Edsko de Vries Well-Typed LLP
03:30
22m
Talk
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
22m
Talk
Generics for Hardware: Adding Haskell-inspired Generics to Bluespec
HIW
Lucas Kramer Google, Ravi Nanavati
04:14
3m
Talk
Closing
HIW
Ningning Xie University of Toronto

Sun 22 Aug

Displayed time zone: Seoul change

Room20:003021:003022:003023:00300:0030
HIW

HIW

GHC 1

HIW

Keynote

HIW

Types and GHC 2

Mon 23 Aug

Displayed time zone: Seoul change

Room1:00302:00303:00304:0030
HIW

HIW

Tools

HIW

Applications and Closing

Sun 22 Aug

Displayed time zone: Seoul change

Room20:0015304521:0015304522:0015304523:001530450:00153045
HIW
HIW
Exact Print Annotations in GHC
20:00 - 20:22
HIW
Avoiding quadratic GHC core code size
20:22 - 20:44
HIW
Improvements to GHC's parallel garbage collector
20:44 - 21:06
HIW
Haskell reinterpreted – large-scale real-world experience with the Mu c ...
22:00 - 23:00
HIW
Generalization is hard, but somebody's got to do it
23:30 - 23:52
HIW
A new interface for GHC typechecker plugins and type-family rewriting
23:52 - 00:14

Mon 23 Aug

Displayed time zone: Seoul change

Room0:001530451:001530452:001530453:001530454:00153045
HIW
HIW
The Dynamic Haskell Plugin for GHC
00:14 - 00:36
HIW
GHC Status update
00:36 - 00:58
HIW
Testing Haskell with Mocks
01:30 - 01:52
HIW
Adventures in GHC compile times
01:52 - 02:14
HIW
Lightning Talk: Pinned Warnings
02:14 - 02:21
HIW
Lightning Talk: GSOL: A Confluence Checker for Haskell Rewrite Rules
02:21 - 02:28
HIW
Securing Web-Applications with A Refinement Typed ORM
03:30 - 03:52
HIW
Generics for Hardware: Adding Haskell-inspired Generics to Bluespec
03:52 - 04:14
HIW
Closing
04:14 - 04:17