Sunday, August 23
08:00 – 16:00 | Workshop
HOPE 2020
Program Committee Member: Daan Leijen
10:00 – 16:10 | Workshop
ML 2020
Program Committee Members: Daan Leijen, Jonathan Protzenko
16:00 – 17:00 | Session 4 at PLMW | Panel Discussion
Making a Career in PL (even in uncertain times)
Simon Peyton Jones, Kathleen Fisher, Jose Calderon, Benjamin C. Pierce, Sarah E. Chasins, Jeff Vaughan
Monday, August 24
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martinez
12:15 – 12:30 | New York 1 at ICFP | Talk
12:30 – 13:00 | Q&A New York 1-2 | Live Q&A
23:15 – 23:30 | Asia 1 at ICFP | Talk
23:30 – 00:00 | Q&A Asia 1-2 | Live Q&A
Effect Handlers, Evidently
Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen
12:45 – 13:00 | New York 1 at ICFP | Talk
13:00 – 13:30 | Q&A New York 1-2 | Live Q&A
23:45 – 00:00 | Asia 1 at ICFP
Tuesday, Aug 25 00:00 – 00:30 | Q&A Asia 1-2 | Live Q&A
Sealing Pointer-Based Optimizations Behind Pure Functions
Daniel Selsam, Simon Hudon, Leonardo De Moura
15:15 – 15:30 | New York 2 at ICFP | Talk
15:30 – 16:00 | Q&A New York 2-2 | Live Q&A
Tuesday, Aug 25 03:15 – 03:30 | Asia 2 at ICFP
Tuesday, August 25
10:30 – 11:00 | CARES at ICFP Social 2 | Meeting
SIGPLAN CARES
David Walker, Simon Peyton Jones, Alexandra Silva, Shriram Krishnamurthi
Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input ArraysJFP
Matt McCutchen, Judith Borghouts, Andrew D. Gordon, Simon Peyton Jones, Advait Sarkar
12:37 – 12:48 | New York 3 (JFP talks) at ICFP | Talk
12:48 – 13:10 | Q&A New York 3-1 | Live Q&A
23:37 – 23:48 | Asia 3 (JFP talks) at ICFP | Talk
A Quick Look at Impredicativity
Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniots
15:30 – 15:45 | New York 4 at ICFP | Talk
15:45 – 16:15 | Q&A New York 4-1 | Live Q&A
Wednesday, Aug 26 03:30 – 03:45 | Asia 4 at ICFP | Talk
Wednesday, Aug 26 03:45 – 04:15 | Q&A Asia 4-1 | Live Q&A
Lower Your Guards: A Compositional Pattern-Match Coverage Checker
Sebastian Graf, Simon Peyton Jones, Ryan Scott
16:00 – 16:15 | New York 4 at ICFP | Talk
16:15 – 16:45 | Q&A New York | Live Q&A
Wednesday, Aug 26 04:00 – 04:15 | Asia 4 at ICFP | Talk
Wednesday, Aug 26 04:15 – 04:45 | Q&A Asia 4-1 | Live Q&A
21:00 – 21:30 | CARES at ICFP Social 2 | Meeting
SIGPLAN CARES
David Walker, Simon Peyton Jones, Alexandra Silva, Shriram Krishnamurthi
Wednesday, August 26
Kinds are Calling Conventions
Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg
16:00 – 16:15 | New York 6 | Talk
16:15 – 16:45 | Q&A New York 6-1 | Live Q&A
Thursday, Aug 27 04:00 – 04:15 | Asia 6 at ICFP | Talk
Thursday, Aug 27 04:15 – 04:45 | Q&A Asia 6-1 | Live Q&A
16:30 – 17:30
Microsoft Social Event
Thursday, August 27
09:00 – 17:30 | Symposium
Haskell 2020
Program Committee Member: Simon Peyton Jones
Friday, August 28
09:00 – 17:30 | Symposium
Haskell 2020
Program Committee Member: Simon Peyton Jones
12:30 – 13:00, Invited talk: Effect Handlers in Haskell, Evidently
Ningning Xie, Daan Leijen
11:19 – 11:31 | HIW 2020 | Talk
GHC Status Update
Simon Peyton Jones, Ben Gamari