FHPNC 2021
Dates to be announced
co-located with ICFP 2021
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 Hong Kong
20:00
22m
Talk
Exact Print Annotations in GHC
HIW
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 Hong Kong
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
23:52
22m
Talk
A new interface for GHC typechecker plugins and type-family rewriting
HIW
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

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
04:14
3m
Talk
Closing
HIW
Ningning Xie University of Hong Kong

Sun 22 Aug

Displayed time zone: Seoul change

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

Mon 23 Aug

Displayed time zone: Seoul change

Room1:00302:00303:00304:0030
HIW