Program - ICFP 2020

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

Apply

Filter

Badges

Your Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 20 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

21:00 - 22:00: Clowdr Training - Clowdr Training at ICFP Social

21:00 - 22:00
Other

Clowdr Training Sessions

Benjamin C. PierceUniversity of Pennsylvania

Fri 21 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

09:00 - 10:00: Clowdr Training - Clowdr Training at ICFP Social

09:00 - 10:00
Other

Clowdr Training Sessions

Benjamin C. PierceUniversity of Pennsylvania

Sun 23 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

07:50 - 09:30: Erlang 2020 - Session 1 at Erlang
Chair(s): Viktória FördősCisco Systems

07:50 - 08:00
Day opening

Opening

Annette BieniusaTechnische Universität Kaiserslautern, Viktória FördősCisco Systems

08:00 - 08:30
Short-paper

Transformations towards Clean Functional Code

Boldizsár PoórEötvös Loránd University, Melinda TothEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd., István BozóEötvös Loránd University

DOI

08:30 - 09:00
Talk

Supporting Secure Coding with RefactorErl

Brigitta BaranyaiELTE Eötvös Loránd University, István BozóEötvös Loránd University, Melinda TothEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.

09:00 - 09:30
Full-paper

Teaching Practical Realistic Verification of Distributed Algorithms in Erlang with TLA+

Peter ZellerTU Kaiserslautern, Annette BieniusaTechnische Universität Kaiserslautern, Carla FerreiraUniversidade Nova Lisboa

DOI

08:00 - 11:30: HOPE 2020 - Keynote and Session 1 at HOPE

08:00 - 09:00
Keynote

Variants of call-by-push-value

Paul Blain LevyUniversity of Birmingham

09:15 - 10:00
Talk

Kripke open relations and operational game semantics

Guilhem JaberUniversité de Nantes, Andrzej MurawskiUniversity of Oxford

10:00 - 10:45
Talk

Merging coeffect production into effect handling

Tarmo UustaluReykjavik University, Tallinn University of Technology, Niels VoorneveldTallinn University of Technology

10:45 - 11:30
Talk

Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming

Patrick BahrIT University of Copenhagen, Christian Uldal GraulundIT University of Copenhagen, Rasmus Ejlers MøgelbergIT University of Copenhagen

09:00 - 12:30: Tutorials - Audio, Video & Web Live Coding in Haskell at Tutorials 2

09:00 - 12:30
Tutorial

Audio, Video & Web Live Coding in Haskell

Manuel Bärenzsonnen eServices GmbH

Pre-print

09:00 - 10:00: PLMW @ ICFP 2020 - Session 1 at PLMW

09:00 - 09:15
Day opening

Welcome

Lindsey KuperUniversity of California, Santa Cruz, Talia RingerUniversity of Washington, Nate FosterCornell University

09:15 - 10:00
Talk

How To Write Papers So People Can Read Them

Derek DreyerMPI-SWS

09:00 - 12:30: Tutorials - Teaching Functional Programming at Tutorials 1

09:00 - 12:30
Tutorial

Teaching Functional Programming

Michael SperberActive Group GmbH

10:00 - 11:30: TyDe 2020 - Session 1 at TyDe

10:00 - 10:30
Talk

Practical Dependent Type Checking Using Twin Types

Víctor López JuanChalmers University of Technology, Nils Anders DanielssonUniversity of Gothenburg, Chalmers University of Technology

Media Attached

10:30 - 11:00
Talk

Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract)

Joris CeulemansVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel

File Attached

11:00 - 11:30
Talk

Generalization of Meta-Programs with Dependent Types in Mtac2 with Mtac2 (Extended Abstract)

Ignacio TiraboschiNone, Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET

10:00 - 10:30: Erlang 2020 - Social 1 at Erlang

10:00 - 10:30
Social Event

Social 1

10:30 - 12:30: PLMW @ ICFP 2020 - Session 2 at PLMW

10:30 - 11:10
Talk

Constraint Solvers for the Working PL Researcher

Nadia PolikarpovaUniversity of California, San Diego

11:10 - 11:50
Talk

Managing your Research, your Advisor, your PhD

Amal AhmedNortheastern University, USA

11:50 - 12:30
Talk

Basic Mechanics of Operational Semantics

David Van HornUniversity of Maryland, USA

10:30 - 12:00: Erlang 2020 - Session 2 at Erlang
Chair(s): Annette BieniusaTechnische Universität Kaiserslautern

10:30 - 11:00
Full-paper

Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects

Simon ThompsonUniversity of Kent, Dániel HorpácsiEötvös Loránd University, Péter BereczkyEötvös Loránd University

DOI

11:00 - 11:30
Full-paper

Secure Design and Verification of Erlang Systems

Viktória FördősCisco Systems

DOI

11:30 - 12:00
Full-paper

Clojerl: The Expressive Power of Clojure on the BEAM

Juan Facorro, Natalia ChechinaBournemouth University

DOI

12:00 - 14:00: HOPE 2020 - Session 2 at HOPE

12:00 - 12:45
Talk

Higher-order Programming with Effects and Handlers — without First-Class Functions

Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany

12:45 - 13:30
Talk

Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical

Ingo SkupinUniversity of Tübingen, Julian JabsUniversity of Tübingen, David BinderUniversity of Tübingen

File Attached

12:30 - 14:00: TyDe 2020 - Session 2 at TyDe

12:30 - 13:00
Talk

Graded Modal Dependent Type Theory (Extended Abstract)

Benjamin MoonSchool of Computing, University of Kent, Harley D. Eades IIIAugusta University, Dominic OrchardUniversity of Kent, UK

File Attached

13:00 - 13:30
Talk

Frex: indexing modulo equations with free extensions (Extended Abstract)

Guillaume AllaisUniversity of St Andrews, Edwin BradyUniversity of St. Andrews, UK, Ohad KammarUniversity of Edinburgh, Jeremy YallopUniversity of Cambridge

13:30 - 14:00
Talk

Retrofitting Symbolic Holes to LLVM IR (Extended Abstract)

Bruce CollieUniversity of Edinburgh, Michael O'BoyleUniversity of Edinburgh

Pre-print

12:30 - 13:30: Erlang 2020 - Session 3 at Erlang
Chair(s): Viktória FördősCisco Systems, Annette BieniusaTechnische Universität Kaiserslautern

12:30 - 13:30
Keynote

Living on the Edge with Erlang

Peter Van RoyUniversité catholique de Louvain

13:30 - 14:00: Erlang 2020 - Social 2 at Erlang

13:30 - 14:00
Social Event

Social 2

13:30 - 14:00: PLMW @ ICFP 2020 - Social Session at PLMW

13:30 - 14:00
Social Event

Optional Social Activity

14:00 - 17:30: Tutorials - Best Practices in Code Generation at Tutorials 1

https://www.youtube.com/watch?v=UbPpydNokyE

14:00 - 17:30
Tutorial

Best Practices in Code Generation

Michal J. GajdaMigamake Pte Ltd

14:00 - 17:30: Tutorials - Designing Hardware Systems and Accelerators with Open-Source Bluespec Haskell at Tutorials 2

https://www.youtube.com/watch?v=JCxE3JQAXY0

14:00 - 17:30
Tutorial

Designing Hardware Systems and Accelerators with Open-Source Bluespec Haskell

Rishiyur NikhilBluespec, Inc.

14:00 - 15:30: PLMW @ ICFP 2020 - Session 3 at PLMW

14:00 - 14:45
Talk

How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond

Kenny FonerGalois

14:45 - 15:30
Talk

Functional Programming for COVID-19 Drug Repurposing

Nada AminHarvard University

14:00 - 15:00: Erlang 2020 - Session 4 at Erlang

14:00 - 15:00
Industry talk

Panel - Erlang fuelled inventions

14:30 - 16:00: HOPE 2020 - Session 3 at HOPE

14:30 - 15:15
Talk

Effectful Improvement Theory

Martin CeresaUNR - CIFASIS - CONICET

15:15 - 16:00
Talk

Alef: A bidirectional effect system for algebraic effects.

Antonio LocascioUniversidad Nacional de Rosario

15:30 - 17:00: TyDe 2020 - Session 3 at TyDe

15:30 - 16:00
Talk

Predictable Macros for Hindley-Milner (Extended Abstract)

Langston BarrettGalois, Inc, David Thrane ChristiansenGalois, USA, Samuel GélineauSimSpace

16:00 - 16:30
Talk

Strongly Bounded Termination with Applications to Security and Hardware Synthesis

Thomas ReynoldsUniversity of Missouri, William HarrisonOak Ridge National Laboratory, Rohit ChadhaUniversity of Missouri, Gerard AllweinU.S. Naval Research Laboratory

16:30 - 17:00
Talk

Developing a Dependently Typed Language with Runtime Proof Search (Extended Abstract)

Mark LemayBoston University, Cheng ZhangBoston University, William BlairBoston University

16:00 - 17:00: PLMW @ ICFP 2020 - Session 4 at PLMW

16:00 - 17:00
Talk

Panel discussion: Making a career in PL (even in uncertain times)

Simon Peyton JonesMicrosoft, UK, Kathleen FisherTufts University, USA, Jose CalderonGalois, Inc., Benjamin C. PierceUniversity of Pennsylvania, Sarah E. ChasinsUniversity of California, Berkeley, Jeff VaughanGoogle

18:00 - 19:30: TyDe 2020 - TyDe Social at TyDe

Join the Zoom via Clowdr

Mon 24 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

05:00 - 18:00: ICFP Sponsors - Jane Street at Jane Street sponsor room

05:00 - 06:00
Live Q&A

Jane Street 1

13:30 - 14:30
Live Q&A

Jane Street 3

09:00 - 18:00: ICFP Sponsors - Ahrefs at Ahrefs sponsor room

09:00 - 18:00: ICFP Sponsors - Facebook at Facebook sponsor room

09:00 - 18:00: ICFP Sponsors - Galois at Galois sponsor room

09:00 - 10:00: ICFP Program - Keynote at ICFP Keynote 1
Chair(s): Chung-chieh ShanIndiana University, USA

Public livestreams: YouTube, iQIYI (China)

09:00 - 10:00
Talk

Referential transparency for pandemic resilience

Audrey Tang

09:00 - 18:00: ICFP Sponsors - Standard Chartered at Standard Chartered sponsor room

10:00 - 10:30: Social Events - Get Help at Information Desk

10:00 - 10:30
Other

Information Desk

Stephanie WeirichUniversity of Pennsylvania

10:00 - 11:30: Social Events - Social Time at Clowdr People/Places

10:00 - 11:30
Social Event

ICFP Social Time

10:30 - 11:30: Social Events - How to ICFP at ICFP Social 2

10:30 - 11:30
Meeting

How to Use Clowdr at ICFP

Benjamin C. PierceUniversity of Pennsylvania

10:30 - 11:30: Student Research Competition - SRC Poster Session at SRC Posters

10:30 - 10:38
Poster

A GHC-Plugin to Compile Effectful Languages

Kai-Oliver ProttCAU Kiel

10:38 - 10:47
Poster

Certified double sided auction mechanisms

Suneel sarswatTIFR

10:47 - 10:55
Poster

Certified Optimisation of Stream Operations Using Heterogeneous Staging

James LowenthalUniversity of Cambridge

10:55 - 11:04
Poster

Pattern Matching with Typed Holes

Yongwei YuanUniversity of Michigan

11:04 - 11:12
Poster

Type Hole Inference

Zhiyi PanUniversity of Michigan

11:12 - 11:21
Poster

Semantics for a Simple Differentiable Language Using Distribution Theory

Christopher LamCornell University

11:21 - 11:30
Poster

Gradual Enforcement of IO Trace Properties

Cezar-Constantin AndriciAlexandru Ioan Cuza University of Iasi

11:30 - 13:00: ICFP Program - New York 1 at ICFP NY 1
Chair(s): Adam ChlipalaMassachusetts Institute of Technology

Public livestreams: YouTube, Bilibili (China)

11:30 - 11:45
Talk

Stable Relations and Abstract Interpretation of Higher-Order Programs

Benoît MontaguInria, Thomas P. JensenINRIA Rennes

DOI Media Attached File Attached

11:45 - 12:00
Talk

Higher-Order Demand-Driven Symbolic Evaluation

Zachary PalmerSwarthmore College, Theodore ParkSwarthmore and Hopkins, Scott F. SmithThe Johns Hopkins University, Shiwei WengThe Johns Hopkins University

DOI

12:00 - 12:15
Talk

Sparcl: A Language for Partially-Invertible Computation

Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK

DOI

12:15 - 12:30
Talk

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs

Nikhil SwamyMicrosoft Research, Aseem RastogiMicrosoft Research, Aymeric FromherzCarnegie Mellon University, Denis MerigouxINRIA, Danel AhmanUniversity of Ljubljana, Guido MartínezCIFASIS-CONICET, Argentina

DOI

12:30 - 12:45
Talk

TLC: Temporal Logic of Distributed Components

Jeremiah GriffinUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside, Narges ShadabUniversity of California, Riverside, Xizhe YinUnivsersity of California, Riverside

DOI

12:45 - 13:00
Talk

Effect Handlers, Evidently

Ningning XieMicrosoft Research, USA, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Daniel HillerströmThe University of Edinburgh, Philipp SchusterUniversity of Tübingen, Germany, Daan LeijenMicrosoft Research, USA

DOI

11:45 - 13:15: ICFP Q&A - ICFP Q&A New York 1-1 at ICFP Q&A 1

11:45 - 12:15
Live Q&A

Stable Relations and Abstract Interpretation of Higher-Order Programs

12:15 - 12:45
Live Q&A

Sparcl: A Language for Partially-Invertible Computation

12:45 - 13:15
Live Q&A

TLC: Temporal Logic of Distributed Components

11:45 - 13:15: ICFP Q&A - ICFP Q&A New York 1-2 at ICFP Q&A 2

12:00 - 12:30
Live Q&A

Higher-Order Demand-Driven Symbolic Evaluation

12:30 - 13:00
Live Q&A

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs

13:00 - 13:30
Live Q&A

Effect Handlers, Evidently

13:00 - 13:30: Social Events - Get Help at Information Desk

13:00 - 13:30
Other

Information Desk

Stephanie WeirichUniversity of Pennsylvania

13:00 - 14:30: Social Events - Social Time at Clowdr People/Places

13:00 - 14:30
Social Event

ICFP Social Time

13:30 - 14:30: Social Events - W@ICFP at ICFP Social

YouTube recording of event: https://www.youtube.com/watch?v=2FNX9SjAwMM

13:30 - 14:30
Social Event

W@ICFP

Mary Sheeranms@chalmers.se

14:30 - 16:30: ICFP Program - New York 2 at ICFP NY 2
Chair(s): Alan JeffreyMozilla Research

Public livestreams: YouTube, Bilibili (China)

14:30 - 14:45
Talk

Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies

Bastian HagedornUniversity of Münster, Germany, Johannes LenfersUniversity of Münster, Thomas KoehlerUniversity of Glasgow, United Kingdom, Xueying QinUniversity of Glasgow, United Kingdom, Sergei GorlatchUniversity of Münster, Germany, Michel SteuwerThe University of Edinburgh

DOI

14:45 - 15:00
Talk

Staged Selective Parser Combinators

Jamie WillisImperial College London, Nicolas WuImperial College London, UK, Matthew PickeringUniversity of Bristol, UK

DOI

15:00 - 15:15
Talk

Kindly Bent to Free Us

Gabriel RadanneInria, Hannes SaffrichUniversity of Freiburg, Peter ThiemannUniversity of Freiburg, Germany

DOI Pre-print File Attached

15:15 - 15:30
Talk

Sealing Pointer-Based Optimizations Behind Pure Functions

Daniel SelsamMicrosoft Research, Simon HudonCarnegie Mellon University, Leonardo De MouraMicrosoft Research, n.n.

DOI

15:30 - 15:45
Talk

Effects for Efficiency: Asymptotic Speedup with First-Class Control

Daniel HillerströmThe University of Edinburgh, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK, John LongleyThe University of Edinburgh

DOI

15:45 - 16:00
Talk

Computation Focusing

Nick RiouxUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania

DOI

16:00 - 16:15
Talk

Retrofitting Parallelism onto OCamlDistinguished Paper

KC SivaramakrishnanIIT Madras, Stephen DolanUniversity of Cambridge, UK, Leo WhiteJane Street, Sadiq JafferOpsian and OCaml Labs, Tom KellyOCaml Labs, Anmol SahooIIT Madras, Sudha ParimalaIIT Madras, Atul DhimanIIT Madras, Anil MadhavapeddyOCaml Labs

DOI Media Attached

16:15 - 16:30
Talk

Liquid Information Flow ControlDistinguished Paper

Nadia PolikarpovaUniversity of California, San Diego, Deian StefanUniversity of California at San Diego, USA, Jean YangCarnegie Mellon University, Shachar ItzhakyTechnion, Israel, Travis HanceCarnegie Mellon University, Armando Solar-LezamaMassachusetts Institute of Technology, USA

DOI

14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 2-1 at ICFP Q&A 1

14:45 - 15:15
Live Q&A

Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies

15:15 - 15:45
Live Q&A

Kindly Bent to Free Us

15:45 - 16:15
Live Q&A

Effects for Efficiency: Asymptotic Speedup with First-Class Control

16:15 - 16:45
Live Q&A

Retrofitting Parallelism onto OCaml

14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 2-2 at ICFP Q&A 2

15:00 - 15:30
Live Q&A

Staged Selective Parser Combinators

15:30 - 16:00
Live Q&A

Sealing Pointer-Based Optimizations Behind Pure Functions

16:00 - 16:30
Live Q&A

Computation Focusing

16:30 - 17:00
Live Q&A

Liquid Information Flow Control

16:30 - 17:30: Social Events - Social Time at Clowdr People/Places

16:30 - 17:30
Social Event

ICFP Social Time

16:30 - 17:30: Social Events - Untitled PL Card Game at ICFP Social 2

16:30 - 17:30
Social Event

Untitled PL Card Game

Jasper Van der JeugtFugue, Niki VazouIMDEA Software Institute, Leonidas LampropoulosUniversity of Maryland, College Park

Media Attached

21:00 - 22:00: Social Events - Social Time at Clowdr People/Places

21:00 - 22:00
Social Event

ICFP Social Time

21:00 - 22:00: Social Events - Women in CS Panel at ICFP Social
Chair(s): Cristina CifuentesOracle Labs

YouTube recording of event: https://youtu.be/uHdtXFEwVCs

21:00 - 22:00
Social Event

Women in CS Panel

Cristina CifuentesOracle Labs, Sukyoung RyuKAIST, Alena GriffithsRGB Assurance, Behnaz HassanshahiOracle Labs, Australia

22:00 - 23:00: Social Events - How To ICFP at ICFP Social 2

22:00 - 23:00
Meeting

How to Use Clowdr at ICFP

Benjamin C. PierceUniversity of Pennsylvania

22:30 - 00:00: ICFP Program - Asia 1 at ICFP Asia 1
Chair(s): Adam ChlipalaMassachusetts Institute of Technology

Public livestreams: YouTube, Bilibili (China)

22:30 - 22:45
Talk

Stable Relations and Abstract Interpretation of Higher-Order Programs

Benoît MontaguInria, Thomas P. JensenINRIA Rennes

DOI Media Attached File Attached

22:45 - 23:00
Talk

Higher-Order Demand-Driven Symbolic Evaluation

Zachary PalmerSwarthmore College, Theodore ParkSwarthmore and Hopkins, Scott F. SmithThe Johns Hopkins University, Shiwei WengThe Johns Hopkins University

DOI

23:00 - 23:15
Talk

Sparcl: A Language for Partially-Invertible Computation

Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK

DOI

23:15 - 23:30
Talk

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs

DOI

23:30 - 23:45
Talk

TLC: Temporal Logic of Distributed Components

Jeremiah GriffinUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside, Narges ShadabUniversity of California, Riverside, Xizhe YinUnivsersity of California, Riverside

DOI

23:45 - 00:00
Talk

Effect Handlers, Evidently

DOI

22:45 - 00:15: ICFP Q&A - ICFP Q&A Asia 1-1 at ICFP Q&A 1

23:15 - 23:45
Live Q&A

Sparcl: A Language for Partially-Invertible Computation

23:45 - 00:15
Live Q&A

TLC: Temporal Logic of Distributed Components

22:45 - 00:15: ICFP Q&A - ICFP Q&A Asia 1-2 at ICFP Q&A 2

23:00 - 23:30
Live Q&A

Higher-Order Demand-Driven Symbolic Evaluation

23:30 - 00:00
Live Q&A

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs

00:00 - 00:30
Live Q&A

Effect Handlers, Evidently

Tue 25 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

01:00 - 02:00: Social Events - Mentoring at ICFP Social

01:00 - 02:00
Talk

Mentoring with Ranjit Jhala

Ranjit JhalaUniversity of California at San Diego, USA

01:00 - 02:00: Social Events - Social Time at Clowdr People/Places

01:00 - 02:00
Social Event

ICFP Social Time

02:30 - 04:30: ICFP Program - Asia 2 at ICFP Asia 2
Chair(s): Alan JeffreyMozilla Research

Public livestreams: YouTube, Bilibili (China)

02:30 - 02:45
Talk

Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies

DOI

02:45 - 03:00
Talk

Staged Selective Parser Combinators

Jamie WillisImperial College London, Nicolas WuImperial College London, UK, Matthew PickeringUniversity of Bristol, UK

DOI

03:00 - 03:15
Talk

Kindly Bent to Free Us

Gabriel RadanneInria, Hannes SaffrichUniversity of Freiburg, Peter ThiemannUniversity of Freiburg, Germany

DOI Pre-print File Attached

03:15 - 03:30
Talk

Sealing Pointer-Based Optimizations Behind Pure Functions

Daniel SelsamMicrosoft Research, Simon HudonCarnegie Mellon University, Leonardo De MouraMicrosoft Research, n.n.

DOI

03:30 - 03:45
Talk

Effects for Efficiency: Asymptotic Speedup with First-Class Control

Daniel HillerströmThe University of Edinburgh, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK, John LongleyThe University of Edinburgh

DOI

03:45 - 04:00
Talk

Computation Focusing

Nick RiouxUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania

DOI

04:00 - 04:15
Talk

Retrofitting Parallelism onto OCamlDistinguished Paper

DOI Media Attached

04:15 - 04:30
Talk

Liquid Information Flow ControlDistinguished Paper

DOI

02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 2-1 at ICFP Q&A 1

02:45 - 03:15
Live Q&A

Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies

03:15 - 03:45
Live Q&A

Kindly Bent to Free Us

03:45 - 04:15
Live Q&A

Effects for Efficiency: Asymptotic Speedup with First-Class Control

04:15 - 04:45
Live Q&A

Retrofitting Parallelism onto OCaml

02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 2-2 at ICFP Q&A 2

04:30 - 05:30: Social Events - Panel at ICFP Social

04:30 - 05:30
Meeting

Online Lecture Panel

Atsushi IgarashiKyoto University, Japan, Sukyoung RyuKAIST, Ilya SergeyYale-NUS College and National University of Singapore, Alex PotaninVictoria University of Wellington

04:30 - 05:30: Social Events - Social Time at Clowdr People/Places

04:30 - 05:30
Social Event

ICFP Social Time

05:00 - 18:00: ICFP Sponsors - Jane Street at Jane Street sponsor room

05:00 - 06:00
Live Q&A

Jane Street 1

10:00 - 11:00
Live Q&A

Jane Street 2

13:30 - 14:30
Live Q&A

Jane Street 3

09:00 - 18:00: ICFP Sponsors - Ahrefs at Ahrefs sponsor room

09:00 - 18:00: ICFP Sponsors - Facebook at Facebook sponsor room

09:00 - 18:00: ICFP Sponsors - Galois at Galois sponsor room

09:00 - 10:00: ICFP Program - Keynote at ICFP Keynote 2
Chair(s): Adam ChlipalaMassachusetts Institute of Technology

Public livestreams: YouTube, iQIYI (China)

09:00 - 10:00
Talk

On Language Adoption

Evan Czaplicki

09:00 - 18:00: ICFP Sponsors - Standard Chartered at Standard Chartered sponsor room

10:00 - 10:30: Social Events - Get Help at Information Desk

10:00 - 10:30
Other

Information Desk

Stephanie WeirichUniversity of Pennsylvania

10:30 - 11:30: Social Events - CARES at ICFP Social 2

10:30 - 11:00
Meeting

SIGPLAN CARES

David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States

10:30 - 11:30: Social Events - Excursion at ICFP Private Room

10:30 - 11:30
Social Event

Virtual Art Gallery

Alan JeffreyMozilla Research

11:30 - 13:00: ICFP Program - New York 3 (JFP talks) at ICFP NY 3
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

Public livestreams: YouTube, Bilibili (China)

11:30 - 11:41
Talk

A theory of RPC calculi for client–server modelJFP

Kwanghoon Choi, Byeong-Mo Chang

DOI

11:41 - 11:52
Talk

The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculusJFP

Álvaro García PerezIMDEA Software Institute, Pablo NogueiraESNE University School of Design, Innovation and Technology

DOI

11:52 - 12:03
Talk

Local algebraic effect theoriesJFP

Žiga Lukšič, Matija PretnarUniversity of Ljubljana, Slovenia

DOI

12:03 - 12:15
Talk

Heterogeneous binary random-access listsJFP

Wouter SwierstraUtrecht University, Netherlands

DOI

12:15 - 12:26
Talk

POPLMark reloaded: Mechanizing proofs by logical relationsJFP

Andreas AbelGothenburg University, Guillaume AllaisUniversity of St Andrews, Aliya HameerMcGill University, Brigitte PientkaMcGill University, Alberto Momigliano Università degli Studi di Milano, Steven SchäferGoogle, Aarhus, Kathrin StarkPrinceton University, USA

DOI

12:26 - 12:37
Talk

Perturbation confusion in forward automatic differentiation of higher-order functionsJFP

Oleksandr Manzyuk, Barak A. PearlmutterMaynooth University, Alexey Radul, David Rush, Jeffrey Mark SiskindSchool of Electrical and Computer Engineering, Purdue University

DOI

12:37 - 12:48
Talk

Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input ArraysJFP

Matt McCutchen, Judith Borghouts, Andrew D. GordonMicrosoft Research and University of Edinburgh, Simon Peyton JonesMicrosoft, UK, Advait SarkarMicrosoft Research and University of Cambridge

DOI Pre-print Media Attached

12:48 - 13:00
Talk

Emerging languages: An alternative approach to teaching programming languagesJFP

Saverio Perugini

DOI

11:30 - 12:15: Student Research Competition - SRC Finalist Presentation 1 at Student Research Competition

11:30 - 12:15
Talk

SRC Finalist Presentation 1

11:40 - 13:10: ICFP Q&A - ICFP Q&A New York 3-1 at ICFP Q&A 1

11:41 - 12:03
Live Q&A

A theory of RPC calculi for client–server model

12:03 - 12:26
Live Q&A

Local algebraic effect theories

12:26 - 12:48
Live Q&A

POPLMark reloaded: Mechanizing proofs by logical relations

12:48 - 13:10
Live Q&A

Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays

11:40 - 13:10: ICFP Q&A - ICFP Q&A New York 3-2 at ICFP Q&A 2

11:52 - 12:15
Live Q&A

The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus

12:15 - 12:37
Live Q&A

Heterogeneous binary random-access lists

12:37 - 13:00
Live Q&A

Perturbation confusion in forward automatic differentiation of higher-order functions

13:00 - 13:30: Social Events - Get Help at Information Desk

13:00 - 13:30
Other

Information Desk

Stephanie WeirichUniversity of Pennsylvania

13:00 - 14:30: Social Events - Social Time at Clowdr People/Places

13:00 - 14:30
Social Event

ICFP Social Time

13:30 - 14:30: Social Events - LGBTQ Meetup at ICFP Social

13:30 - 14:30
Talk

LGBTQ Meetup

David WalkerPrinceton University, USA, Matthew WeaverPrinceton University

14:30 - 16:30: ICFP Program - New York 4 at ICFP NY 4
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, Bilibili (China)

14:30 - 14:45
Talk

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl)

Lionel ParreauxEPFL

DOI Pre-print Media Attached

14:45 - 15:00
Talk

Liquid Resource Types

Tristan KnothUniversity of California at San Diego, USA, Di WangCarnegie Mellon University, Adam ReynoldsUniversity of California, San Diego, Nadia PolikarpovaUniversity of California, San Diego, Jan HoffmannCarnegie Mellon University

DOI

15:00 - 15:15
Talk

Cosmo: A Concurrent Separation Logic for Multicore OCaml

Glen MévelInria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique, Jacques-Henri JourdanUniversersité Paris Saclay, CNRS, LRI, François PottierInria, France

DOI

15:15 - 15:30
Talk

Composing and Decomposing Op-Based CRDTs with Semidirect Products

Matthew WeidnerCarnegie Mellon University, Christopher MeiklejohnCarnegie Mellon University, Heather MillerCarnegie Mellon University

DOI

15:30 - 15:45
Talk

A Quick Look at ImpredicativityDistinguished Paper

Alejandro Serrano47 Degrees, Spain, Jurriaan HageUtrecht University, Netherlands, Simon Peyton JonesMicrosoft, UK, Dimitrios VytiniotisDeepMind

DOI Pre-print

15:45 - 16:00
Talk

A Unified View of Modalities in Type Systems

Andreas AbelGothenburg University, Jean-Philippe BernardyUniversity of Gothenburg, Sweden

DOI

16:00 - 16:15
Talk

Lower Your Guards: A Compositional Pattern-Match Coverage Checker

Sebastian GrafKarlsruhe Institute of Technology, Simon Peyton JonesMicrosoft, UK, Ryan ScottGalois, Inc.

Link to publication DOI

16:15 - 16:30
Talk

Signature restriction for polymorphic algebraic effects

Taro SekiyamaNational Institute of Informatics, Takeshi TsukadaChiba University, Japan, Atsushi IgarashiKyoto University, Japan

DOI

14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 4-1 at ICFP Q&A 1

14:45 - 15:15
Live Q&A

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl)

15:15 - 15:45
Live Q&A

Cosmo: A Concurrent Separation Logic for Multicore OCaml

15:45 - 16:15
Live Q&A

A Quick Look at Impredicativity

16:15 - 16:45
Live Q&A

Lower Your Guards: A Compositional Pattern-Match Coverage Checker

14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 4-2 at ICFP Q&A 2

15:00 - 15:30
Live Q&A

Liquid Resource Types

15:30 - 16:00
Live Q&A

Composing and Decomposing Op-Based CRDTs with Semidirect Products

16:00 - 16:30
Live Q&A

A Unified View of Modalities in Type Systems

16:30 - 17:30: Social Events - ICFP Trivia at ICFP Social

16:30 - 17:30
Social Event

ICFP Triva

Jose CalderonGalois, Inc., Paulette KoronkevichUniversity of British Columbia

16:30 - 17:30: Social Events - Social Time at Clowdr People/Places

16:30 - 17:30
Social Event

ICFP Social Time

21:00 - 22:00: Social Events - CARES at ICFP Social 2

21:00 - 21:30
Meeting

SIGPLAN CARES

David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States

21:00 - 22:30: Social Events - Social Time at Clowdr People/Places

21:00 - 22:30
Social Event

ICFP Social Time

21:30 - 22:30: Social Events - Mind the Title at ICFP Social 3

21:30 - 22:30
Meeting

Mind the Title

Olivier DanvyYale-NUS College and School of Computing, Singapore

22:30 - 00:00: ICFP Program - Asia 3 (JFP talks) at ICFP Asia 3
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

Public livestreams: YouTube, Bilibili (China)

22:30 - 22:41
Talk

A theory of RPC calculi for client–server modelJFP

Kwanghoon Choi, Byeong-Mo Chang

DOI

22:41 - 22:52
Talk

The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculusJFP

Álvaro García PerezIMDEA Software Institute, Pablo NogueiraESNE University School of Design, Innovation and Technology

DOI

22:52 - 23:03
Talk

Local algebraic effect theoriesJFP

Žiga Lukšič, Matija PretnarUniversity of Ljubljana, Slovenia

DOI

23:03 - 23:15
Talk

Heterogeneous binary random-access listsJFP

Wouter SwierstraUtrecht University, Netherlands

DOI

23:15 - 23:26
Talk

POPLMark reloaded: Mechanizing proofs by logical relationsJFP

DOI

23:26 - 23:37
Talk

Perturbation confusion in forward automatic differentiation of higher-order functionsJFP

Oleksandr Manzyuk, Barak A. PearlmutterMaynooth University, Alexey Radul, David Rush, Jeffrey Mark SiskindSchool of Electrical and Computer Engineering, Purdue University

DOI

23:37 - 23:48
Talk

Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input ArraysJFP

Matt McCutchen, Judith Borghouts, Andrew D. GordonMicrosoft Research and University of Edinburgh, Simon Peyton JonesMicrosoft, UK, Advait SarkarMicrosoft Research and University of Cambridge

DOI Pre-print Media Attached

23:48 - 00:00
Talk

Emerging languages: An alternative approach to teaching programming languagesJFP

Saverio Perugini

DOI

22:40 - 00:10: ICFP Q&A - ICFP Q&A Asia 3-1 at ICFP Q&A 1

22:40 - 00:10: ICFP Q&A - ICFP Q&A Asia 3-2 at ICFP Q&A 2

23:30 - 00:15: Student Research Competition - SRC Finalist Presentation 2 at Student Research Competition

23:30 - 00:15
Talk

SRC Finalist Presentation 2

Wed 26 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

00:00 - 01:00: Social Events - Mentoring at ICFP Social

00:00 - 01:00
Talk

Mentoring with Guy Steele

Guy L. Steele Jr.Oracle Labs

00:00 - 01:00: Social Events - Social Time at Clowdr People/Places

00:00 - 01:00
Social Event

ICFP Social Time

02:30 - 04:30: ICFP Program - Asia 4 at ICFP Asia 4
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, Bilibili (China)

02:30 - 02:45
Talk

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl)

Lionel ParreauxEPFL

DOI Pre-print Media Attached

02:45 - 03:00
Talk

Liquid Resource Types

DOI

03:00 - 03:15
Talk

Cosmo: A Concurrent Separation Logic for Multicore OCaml

Glen MévelInria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique, Jacques-Henri JourdanUniversersité Paris Saclay, CNRS, LRI, François PottierInria, France

DOI

03:15 - 03:30
Talk

Composing and Decomposing Op-Based CRDTs with Semidirect Products

Matthew WeidnerCarnegie Mellon University, Christopher MeiklejohnCarnegie Mellon University, Heather MillerCarnegie Mellon University

DOI

03:30 - 03:45
Talk

A Quick Look at ImpredicativityDistinguished Paper

Alejandro Serrano47 Degrees, Spain, Jurriaan HageUtrecht University, Netherlands, Simon Peyton JonesMicrosoft, UK, Dimitrios VytiniotisDeepMind

DOI Pre-print

03:45 - 04:00
Talk

A Unified View of Modalities in Type Systems

Andreas AbelGothenburg University, Jean-Philippe BernardyUniversity of Gothenburg, Sweden

DOI

04:00 - 04:15
Talk

Lower Your Guards: A Compositional Pattern-Match Coverage Checker

Sebastian GrafKarlsruhe Institute of Technology, Simon Peyton JonesMicrosoft, UK, Ryan ScottGalois, Inc.

Link to publication DOI

04:15 - 04:30
Talk

Signature restriction for polymorphic algebraic effects

Taro SekiyamaNational Institute of Informatics, Takeshi TsukadaChiba University, Japan, Atsushi IgarashiKyoto University, Japan

DOI

02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 4-1 at ICFP Q&A 1

02:45 - 03:15
Live Q&A

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy (Functional Pearl)

03:15 - 03:45
Live Q&A

Cosmo: A Concurrent Separation Logic for Multicore OCaml

03:45 - 04:15
Live Q&A

A Quick Look at Impredicativity

04:15 - 04:45
Live Q&A

Lower Your Guards: A Compositional Pattern-Match Coverage Checker

02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 4-2 at ICFP Q&A 2

04:00 - 04:30
Live Q&A

A Unified View of Modalities in Type Systems

04:30 - 05:00
Live Q&A

Signature restriction for polymorphic algebraic effects

04:30 - 05:30: Social Events - Proverbs at ICFP Social 2

04:30 - 05:30
Talk

Some Proverbs in Type Theory

Neel KrishnaswamiComputer Laboratory, University of Cambridge

04:30 - 05:30: Social Events - Social Time at Clowdr People/Places

04:30 - 05:30
Social Event

ICFP Social Time

05:00 - 18:00: ICFP Sponsors - Jane Street at Jane Street sponsor room

05:00 - 06:00
Live Q&A

Jane Street 1

10:00 - 11:00
Live Q&A

Jane Street 2

13:30 - 14:30
Live Q&A

Jane Street 3

16:30 - 17:30
Social Event

Jane Street at Industrial Reception

09:00 - 18:00: ICFP Sponsors - Ahrefs at Ahrefs sponsor room

16:30 - 17:30
Social Event

Ahrefs at Industrial Reception

09:00 - 18:00: ICFP Sponsors - Facebook at Facebook sponsor room

16:30 - 17:30
Social Event

Facebook at Industrial Reception

09:00 - 18:00: ICFP Sponsors - Galois at Galois sponsor room

16:30 - 17:30
Social Event

Galois at Industrial Reception

09:00 - 09:45: ICFP Program - ICFP Programming Contest at ICFP Awards
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, iQIYI (China)

09:00 - 09:45
Keynote

Programming Contest Report

Igor LukaninKontur

09:00 - 18:00: ICFP Sponsors - Standard Chartered at Standard Chartered sponsor room

16:30 - 17:30
Social Event

Standard Chartered at Industrial Reception

09:45 - 10:30: ICFP Program - Awards & Reports at ICFP Awards
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, iQIYI (China)

09:45 - 10:30
Talk

Award Presentations & Chair Report

Stephanie WeirichUniversity of Pennsylvania, Adam ChlipalaMassachusetts Institute of Technology, Mira MeziniTechnische Universität Darmstadt, Sukyoung RyuKAIST, Jens PalsbergUniversity of California, Los Angeles, Youyou CongTokyo Institute of Technology

10:30 - 11:00: Social Events - Get Help at Information Desk

10:30 - 11:00
Other

Information Desk

Stephanie WeirichUniversity of Pennsylvania

10:45 - 13:15: ICFP Q&A - ICFP Q&A New York 5-1 at ICFP Q&A 1

11:15 - 11:45
Live Q&A

Denotational Recurrence Extraction for Amortized Analysis

11:45 - 12:15
Live Q&A

Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille

12:15 - 12:45
Live Q&A

Recovering Purity with Comonads and Capabilities

12:45 - 13:15
Live Q&A

Parsing with Zippers (Functional Pearl)

10:45 - 13:15: ICFP Q&A - ICFP Q&A New York 5-2 at ICFP Q&A 2

11:30 - 12:00
Live Q&A

Separation Logic for Sequential Programs (Functional Pearl)

12:00 - 12:30
Live Q&A

Duplo: A Framework for OCaml Post-Link Optimisation

12:30 - 13:00
Live Q&A

A General Approach to Define Binders Using Matching Logic

13:00 - 13:30
Live Q&A

Regular Language Type Inference with Term Rewriting

11:00 - 13:00: ICFP Program - New York 5 at ICFP NY 5
Chair(s): Richard A. EisenbergTweag I/O

Public livestreams: YouTube, Bilibili (China)

11:00 - 11:15
Talk

Denotational Recurrence Extraction for Amortized Analysis

Joseph W. CutlerWesleyan University, Dan LicataWesleyan University, Norman DannerWesleyan University

DOI

11:15 - 11:30
Talk

Separation Logic for Sequential Programs (Functional Pearl)

Arthur CharguéraudInria

DOI

11:30 - 11:45
Talk

Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille

Aaron StumpThe University of Iowa, USA, Chris JenkinsThe University of Iowa, Stephan SpahnThe University of Iowa, Colin McDonaldUniversity of Notre Dame

DOI

11:45 - 12:00
Talk

Duplo: A Framework for OCaml Post-Link Optimisation

Nandor LickerUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK

DOI Media Attached

12:00 - 12:15
Talk

Recovering Purity with Comonads and Capabilities

Vikraman ChoudhuryIndiana University & University of Cambridge, Neel KrishnaswamiComputer Laboratory, University of Cambridge

DOI

12:15 - 12:30
Talk

A General Approach to Define Binders Using Matching Logic

Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign

DOI

12:30 - 12:45
Talk

Parsing with Zippers (Functional Pearl)

Pierce DarraghUniversity of Utah, Michael D. AdamsUniversity of Michigan

DOI

12:45 - 13:00
Talk

Regular Language Type Inference with Term Rewriting

Timothée HaudebourgUniv Rennes, Inria, CNRS, IRISA, Thomas GenetIRISA, Univ Rennes, Thomas P. JensenINRIA Rennes

DOI

13:00 - 13:30: Social Events - Get Help at Information Desk

13:00 - 13:30
Other

Information Desk

Stephanie WeirichUniversity of Pennsylvania

13:00 - 14:30: Social Events - Social Time at Clowdr People/Places

13:00 - 14:30
Social Event

ICFP Social Time

13:30 - 14:30: Social Events - Virtualization Feedback 1 at ICFP Social 2

13:30 - 14:30
Meeting

Virtualization Feedback

Benjamin C. PierceUniversity of Pennsylvania, Jonathan BellNortheastern University, Crista LopesUniversity of California, Irvine

14:30 - 16:25: ICFP Program - New York 6 at ICFP NY 6
Chair(s): Sukyoung RyuKAIST

Public livestreams: YouTube, Bilibili (China)

14:30 - 14:45
Talk

Compiling Effect Handlers in Capability-Passing Style

Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany

DOI

14:45 - 15:00
Talk

Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris

Paolo G. GiarrussoBedRock Systems, Leo StefanescoIRIF, University Paris Diderot & CNRS, Amin TimanyAarhus University, Lars BirkedalAarhus University, Robbert KrebbersDelft University of Technology

DOI

15:00 - 15:15
Talk

A dependently typed calculus with pattern matching and erasure inferenceDistinguished Paper

Matúš TejiščákUniversity of St Andrews

DOI

15:15 - 15:30
Talk

Raising Expectations: Automating Expected Cost Analysis with Types

Di WangCarnegie Mellon University, David M. KahnCarnegie Mellon University, Jan HoffmannCarnegie Mellon University

DOI

15:30 - 15:45
Talk

Program Sketching with Live Bidirectional Evaluation

Justin LubinUniversity of Chicago, Nick CollinsUniversity of Chicago, Cyrus OmarUniversity of Michigan, Ravi ChughUniversity of Chicago

DOI

15:45 - 16:00
Talk

Elaboration with First-Class Implicit Function Types

András KovácsEötvös Loránd University

DOI Pre-print

16:00 - 16:15
Talk

Kinds are Calling Conventions

Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK, Richard A. EisenbergTweag I/O

DOI

16:15 - 16:25
Day closing

Conference closing

Stephanie WeirichUniversity of Pennsylvania

14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 6-1 at ICFP Q&A 1

14:45 - 15:15
Live Q&A

Compiling Effect Handlers in Capability-Passing Style

15:15 - 15:45
Live Q&A

A dependently typed calculus with pattern matching and erasure inference

15:45 - 16:15
Live Q&A

Program Sketching with Live Bidirectional Evaluation

16:15 - 16:45
Live Q&A

Kinds are Calling Conventions

14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 6-2 at ICFP Q&A 2

15:00 - 15:30
Live Q&A

Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris

15:30 - 16:00
Live Q&A

Raising Expectations: Automating Expected Cost Analysis with Types

16:00 - 16:30
Live Q&A

Elaboration with First-Class Implicit Function Types

16:30 - 17:30: ICFP Sponsors - Bloomberg at ICFP Social 4

16:30 - 17:30
Social Event

Bloomberg at Industrial Reception

16:30 - 17:30: Social Events - Industrial Reception at ICFP Social

16:30 - 17:30
Social Event

Industrial Reception

16:30 - 17:30: ICFP Sponsors - Microsoft at ICFP Social 5

16:30 - 17:30
Social Event

Microsoft at Industrial Reception

16:30 - 17:30: ICFP Sponsors - Oracle at ICFP Social 6

16:30 - 17:30
Social Event

Oracle at Industrial Reception

16:30 - 17:30: ICFP Sponsors - Tweag at ICFP Social 3

16:30 - 17:30
Social Event

Tweag at Industrial Reception

21:00 - 22:00: Social Events - Social Time at Clowdr People/Places

21:00 - 22:00
Social Event

ICFP Social Time

21:00 - 22:00: Social Events - Virtualization Feedback 2 at ICFP Social 2

21:00 - 22:00
Meeting

Virtualization Feedback

Benjamin C. PierceUniversity of Pennsylvania, Jonathan BellNortheastern University, Crista LopesUniversity of California, Irvine

22:30 - 00:00: ICFP Program - Asia 5 at ICFP Asia 5
Chair(s): Richard A. EisenbergTweag I/O

Public livestreams: YouTube, Bilibili (China)

22:00 - 22:30
Talk

Denotational Recurrence Extraction for Amortized Analysis

Joseph W. CutlerWesleyan University, Dan LicataWesleyan University, Norman DannerWesleyan University

DOI

22:15 - 22:30
Talk

Separation Logic for Sequential Programs (Functional Pearl)

Arthur CharguéraudInria

DOI

22:30 - 22:45
Talk

Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille

Aaron StumpThe University of Iowa, USA, Chris JenkinsThe University of Iowa, Stephan SpahnThe University of Iowa, Colin McDonaldUniversity of Notre Dame

DOI

22:45 - 23:00
Talk

Duplo: A Framework for OCaml Post-Link Optimisation

Nandor LickerUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK

DOI Media Attached

23:00 - 23:15
Talk

Recovering Purity with Comonads and Capabilities

Vikraman ChoudhuryIndiana University & University of Cambridge, Neel KrishnaswamiComputer Laboratory, University of Cambridge

DOI

23:15 - 23:30
Talk

A General Approach to Define Binders Using Matching Logic

Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign

DOI

23:30 - 23:45
Talk

Parsing with Zippers (Functional Pearl)

Pierce DarraghUniversity of Utah, Michael D. AdamsUniversity of Michigan

DOI

23:45 - 00:00
Talk

Regular Language Type Inference with Term Rewriting

Timothée HaudebourgUniv Rennes, Inria, CNRS, IRISA, Thomas GenetIRISA, Univ Rennes, Thomas P. JensenINRIA Rennes

DOI

22:45 - 00:15: ICFP Q&A - ICFP Q&A Asia 5-1 at ICFP Q&A 1

22:15 - 22:45
Live Q&A

Denotational Recurrence Extraction for Amortized Analysis

22:45 - 23:15
Live Q&A

Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille

23:15 - 23:45
Live Q&A

Recovering Purity with Comonads and Capabilities

22:45 - 00:15: ICFP Q&A - ICFP Q&A Asia 5-2 at ICFP Q&A 2

23:30 - 00:00
Live Q&A

A General Approach to Define Binders Using Matching Logic

Thu 27 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

00:30 - 01:30: Social Events - Mentoring at ICFP Social

00:30 - 01:30
Talk

Mentoring with Matthias Felleisen

Matthias FelleisenPLT @ Northeastern University

00:30 - 01:30: Social Events - Social Time at Clowdr People/Places

00:30 - 01:30
Social Event

ICFP Social Time

02:30 - 04:25: ICFP Program - Asia 6 at ICFP Asia 6
Chair(s): Sukyoung RyuKAIST

Public livestreams: YouTube, Bilibili (China)

02:30 - 02:45
Talk

Compiling Effect Handlers in Capability-Passing Style

Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany

DOI

02:45 - 03:00
Talk

Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris

Paolo G. GiarrussoBedRock Systems, Leo StefanescoIRIF, University Paris Diderot & CNRS, Amin TimanyAarhus University, Lars BirkedalAarhus University, Robbert KrebbersDelft University of Technology

DOI

03:00 - 03:15
Talk

A dependently typed calculus with pattern matching and erasure inferenceDistinguished Paper

Matúš TejiščákUniversity of St Andrews

DOI

03:15 - 03:30
Talk

Raising Expectations: Automating Expected Cost Analysis with Types

Di WangCarnegie Mellon University, David M. KahnCarnegie Mellon University, Jan HoffmannCarnegie Mellon University

DOI

03:30 - 03:45
Talk

Program Sketching with Live Bidirectional Evaluation

Justin LubinUniversity of Chicago, Nick CollinsUniversity of Chicago, Cyrus OmarUniversity of Michigan, Ravi ChughUniversity of Chicago

DOI

03:45 - 04:00
Talk

Elaboration with First-Class Implicit Function Types

András KovácsEötvös Loránd University

DOI Pre-print

04:00 - 04:15
Talk

Kinds are Calling Conventions

Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK, Richard A. EisenbergTweag I/O

DOI

04:15 - 04:25
Day closing

Conference closing

Stephanie WeirichUniversity of Pennsylvania

02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 6-1 at ICFP Q&A 1

02:45 - 03:15
Live Q&A

Compiling Effect Handlers in Capability-Passing Style

03:15 - 03:45
Live Q&A

A dependently typed calculus with pattern matching and erasure inference

04:15 - 04:45
Live Q&A

Kinds are Calling Conventions

02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 6-2 at ICFP Q&A 2

03:00 - 03:30
Live Q&A

Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris

04:00 - 04:30
Live Q&A

Elaboration with First-Class Implicit Function Types

04:30 - 05:30: Social Events - Social Time at Clowdr People/Places

04:30 - 05:30
Social Event

ICFP Social Time

09:00 - 10:00: Social Events - Career Planning at ICFP Social

09:00 - 10:00
Meeting

Academic Career Planning During a Crisis

Neel KrishnaswamiComputer Laboratory, University of Cambridge

09:00 - 10:00: Haskell 2020 - Designated Social Interaction Time at Haskell

09:00 - 12:30: Tutorials - Functional Software Architecture at Tutorials 1

https://www.youtube.com/watch?v=7UvauMsBtDw&feature=youtu.be

09:00 - 12:30
Tutorial

Functional Software Architecture

Michael SperberActive Group GmbH

09:00 - 12:30: Tutorials - Integrating User Centered Methods into Programming Language Design at Tutorials 2

https://www.youtube.com/watch?v=-m34gNVVpFQ

09:00 - 12:30
Tutorial

Integrating User-Centered Methods into Programming Language Design

Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University

09:00 - 11:00: miniKanren 2020 - Morning Keynote at miniKanren
Chair(s): Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia

10:00 - 11:00
Keynote

Executing Declarative Language Definitions

Eelco VisserDelft University of Technology

10:00 - 11:00: ML 2020 - Keynote at ML

10:00 - 11:00
Keynote

Verification of OCaml programs using CFML

Arthur CharguéraudInria

Media Attached

10:00 - 11:00: Haskell 2020 - Keynote at Haskell
Chair(s): Tom SchrijversKU Leuven

10:00 - 11:00
Keynote

Using STM for Modular Concurrency: An Industrial Experience Report on Software Transactional Memory

Duncan Coutts

11:30 - 13:30: miniKanren 2020 - Morning Session at miniKanren
Chair(s): Joseph P. NearUniversity of Vermont, Gregory RosenblattUniversity of Alabama at Birmingham, USA

11:30 - 11:50
Talk

On Fair Relational Conjunction

Petr LozovSain Petersburg State University, SPbGU, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia

Pre-print

11:50 - 12:10
Talk

An Empirical Study of Partial Deduction for miniKanren

Ekaterina VerbitskaiaJetBrains, Daniil BerezunJetBrains, Russia, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia

Pre-print

12:10 - 12:30
Talk

MicroKanren in J: an Embedding of the Relational Paradigm in an Array Language with Rank-Polymorphic Unification

Raoul SchorerGeneva University Hospitals

Pre-print

12:30 - 12:50
Talk

λKanren: Higher-order Logic Programming with Shallow Embedding

Weixi MaIndiana University, Kuang-Chen LuIndiana University Bloomington, Daniel P. FriedmanIndiana University, USA

Pre-print

12:50 - 13:10
Talk

Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System

Marco MaggesiUniversità di Firenze, Massimo NocentiniUniversità di Firenze

Pre-print

13:10 - 13:30
Talk

Certified Semantics for Disequality

Dmitry RozplokhasHigher School of Economics, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia

Pre-print

11:30 - 13:00: Haskell 2020 - Paper Session 1 - Software Engineering at Haskell
Chair(s): José Pedro Magalhães

11:30 - 12:00
Talk

Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality

Sander KampsOpen University of the Netherlands, Netherlands, Bastiaan HeerenOpen University of the Netherlands, Netherlands, Johan JeuringOpen University of the Netherlands, Netherlands

DOI

12:00 - 12:30
Talk

Describing Microservices using Modern Haskell (Experience Report)

Alejandro Serrano47 Degrees, Spain, Flavio Corpa47 Degrees, Spain

DOI

12:30 - 13:00
Talk

Towards Secure IoT Programming in Haskell

Nachiappan ValliappanChalmers University of Technology, Sweden, Robert KrookChalmers University of Technology, Sweden, Alejandro RussoChalmers University of Technology, Sweden, Koen ClaessenChalmers University of Technology, Sweden

DOI

11:30 - 13:10: ML 2020 - Session 1 at ML

11:30 - 11:55
Talk

Tracking injectivity and nominality beyond abstraction

Jacques GarrigueNagoya University

Media Attached File Attached

11:55 - 12:20
Talk

Quantified Applicatives – API design for type-inference constraints

Gabriel SchererINRIA Saclay, Olivier MartinotUniversité de Paris

Media Attached File Attached

12:20 - 12:45
Talk

High-level error messages for modules through diffing

Florian AngelettiInria, Gabriel RadanneInria

Media Attached File Attached

12:45 - 13:10
Talk

The Virtues of Semi-Explicit Polymorphism

Frank EmrichUniversity of Edinburgh, UK, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK, Jan StolarekUniversity of Edinburgh, UK

Media Attached File Attached

14:00 - 18:00: Social Events - ShutdownPL 1 at ICFP Social

14:00 - 18:00
Social Event

ShutdownPL: Keynote and Getting Started With Anti-racist Action

Kenny FonerGalois, Niki CarrollGeorge Mason University, Priya SrikumarCornell University, David JustoUniversity of California, San Diego, Justin LubinUniversity of Chicago, Akash Gaonkar, Alan JeffreyMozilla Research

14:00 - 17:30: Tutorials - Using the K Framework to Formalize Functional Languages at Tutorials 1

https://www.youtube.com/watch?v=VlQMi_N42B8&feature=youtu.be

14:00 - 17:30
Tutorial

Using the K Framework to Formalize Functional Languages

Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign

14:30 - 15:30: miniKanren 2020 - Afternoon Keynote at miniKanren
Chair(s): Jason HemannNortheastern University, United States

14:30 - 15:30
Keynote

The Pill is in The Proof: Saving Lives with Logic

Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School

14:30 - 16:10: Haskell 2020 - Paper Session 2 - Animations and Demonstrations at Haskell
Chair(s): Exequiel RivasInria Paris

14:30 - 15:00
Talk

A Low-Latency Garbage Collector for GHC (Demo)

Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire

15:00 - 15:30
Talk

Relational Lenses as a Library (Demo)

Rudi HornUniversity of Edinburgh

File Attached

15:30 - 16:00
Talk

Scripted Signal Functions

David A. StuartNone

DOI

16:00 - 16:10
Other

PC Chair Report

Tom SchrijversKU Leuven

14:30 - 16:10: ML 2020 - Session 2 at ML

14:30 - 14:55
Talk

Nottui & Lwd: A friendly UI toolkit for the ML-programmer

Frédéric BourTarides

Media Attached File Attached

14:55 - 15:20
Talk

Towards better systems programming in OCaml with out-of-heap allocation (Informed Position)

Guillaume Munch-Maccagnoni

Media Attached File Attached

15:20 - 15:45
Talk

poco: An ML testbed for deductive synthesis tool design

Matthew SottileNoddle, LLC, Lindsay ErringtonNoddle, LLC

Media Attached File Attached

15:45 - 16:10
Talk

Translation validation of a pattern-matching compiler

Gabriel SchererINRIA Saclay, Francesco MeccaUniversity of Turin

Media Attached File Attached

15:20 - 17:40: Social Events - ShutdownPL 2 at ICFP Social 4

15:20 - 17:40
Social Event

ShutdownPL: Accountability

15:20 - 17:40: Social Events - ShutdownPL 3 at ICFP Social 5

15:20 - 17:40
Social Event

ShutdownPL: Pedagogy

15:20 - 17:40: Social Events - ShutdownPL 4 at ICFP Social 6

15:20 - 17:40
Social Event

ShutdownPL: Mentorship

15:30 - 17:10: miniKanren 2020 - Afternoon Session at miniKanren
Chair(s): Nada AminHarvard University, Weixi MaIndiana University

15:30 - 15:50
Talk

mediKanren: A System for Bio-medical Reasoning

Michael PattonUniversity of Alabama at Birmingham, Gregory RosenblattUniversity of Alabama at Birmingham, USA, William E. ByrdUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School

Pre-print

15:50 - 16:10
Talk

Relational Synthesis for Pattern Matching

Dmitrii KosarevJetBrains Research, Saint Petersburg State University, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia

Pre-print

16:10 - 16:30
Talk

Some Novel miniKanren Synthesis Tasks

Jason HemannNortheastern University, United States, Daniel P. FriedmanIndiana University, USA

Pre-print

16:30 - 16:50
Talk

A Relational Interpreter for Synthesizing JavaScript

Artem ChirkovUniversity of Toronto Mississauga, Gregory RosenblattUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School, Lisa ZhangUniversity of Toronto Mississauga

Pre-print

16:50 - 17:10
Talk

dxo: A System for Relational Algebra and Differentiation

Julie SteeleGeorgetown Day School, William E. ByrdUniversity of Alabama at Birmingham, USA

Pre-print

16:10 - 17:30: Haskell 2020 - Designated Social Interaction Time at Haskell

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

05:30 - 08:30: OCaml 2020 - Ecosystem at OCaml
Chair(s): Florian AngelettiInria

Infrastructure, tooling, and ecosystem in general.

05:30 - 06:30
Keynote

The OCaml Platform

Anil MadhavapeddyOCaml Labs

06:30 - 07:00
Talk

OCaml-CI : A Zero-Configuration CI

Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs

07:00 - 07:30
Talk

The final pieces of the OCaml documentation puzzle

Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street

07:30 - 08:00
Talk

API migration: compare transformed

Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London

08:00 - 08:30
Talk

Parallelising your OCaml Code with Multicore OCaml

Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs

Pre-print

09:00 - 11:00: OCaml 2020 - Applications at OCaml
Chair(s): Marcello SeriBernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen

Talks about new and existing OCaml applications and libraries.

09:00 - 09:30
Talk

A Simple State-Machine Framework for Property-Based Testing in OCaml

Jan MidtgaardUniversity of Southern Denmark

09:30 - 10:00
Talk

The ImpFS filesystem

Tom RidgeUniversity of Leicester, UK

10:00 - 10:30
Talk

Irmin v2

Clément PascuttoTarides, Ioana CristescuINRIA, France, Craig FergusonTarides, Thomas GazagnaireTarides, Romain LiautaudTarides

10:30 - 11:00
Talk

AD-OCaml: Algorithmic Differentiation for OCaml

Markus MottlUnaffiliated

09:00 - 12:30: Tutorials - Can you functionally program like a 5th grader? at Tutorials 2

09:00 - 12:30
Tutorial

Creating SVG graphics and Animations using Elm

Christopher Schankula, Sharon Wu, Larry Yao, Rutvi Patel, Christopher Anand

Link to publication DOI

09:00 - 10:00: Haskell 2020 - Designated Social Interaction Time at Haskell

09:00 - 12:30: Tutorials - Library-Oriented Dynamic Analysis with Lya at Tutorials 1

09:00 - 12:30
Tutorial

Library-Oriented Dynamic Analysis with Lya

Nikos VasilakisMIT CSAIL, USA, Greg NtousakisTU Crete

09:00 - 12:00: HIW 2020 - Sessions 1 and 2 at HIW

09:00 - 09:22
Talk

Asterius: bringing Haskell to WebAssembly

Cheng ShaoTweag I/O, Georgios KarachaliasTweag I/O, Hans HoeglundTweag I/O

09:22 - 09:44
Talk

Multiple Home Units

Hannes SiebenhandlNone

10:00 - 10:35
Talk

Lightning Talks 1

10:35 - 10:57
Talk

Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching

Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Akira KawataKyoto University, Mayuko KoriThe University of Tokyo, Hiromi OgawaUniversity of Tsukuba

10:57 - 11:19
Talk

Updating Immutable Code

Philipp SchusterUniversity of Tübingen, Germany, David BinderUniversity of Tübingen

11:19 - 11:31
Talk

GHC Status Update

Simon Peyton JonesMicrosoft, UK, Ben GamariWell-Typed LLP

11:31 - 12:00
Break

Social break

10:00 - 11:00: Scheme 2020 - Morning Keynote at Scheme

10:00 - 11:00
Keynote

SICP JS: Ketchup on Caviar?

Martin HenzNational University of Singapore, Tobias WrigstadUppsala University, Sweden

10:00 - 11:00: Haskell 2020 - Paper Session 3 - Datastructures at Haskell
Chair(s): Andrey MokhovJane Street

10:00 - 10:30
Talk

Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl)

Koen ClaessenChalmers University of Technology, Sweden

DOI

10:30 - 11:00
Talk

Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Functional Pearl)

Armando João Isaías Ferreira dos SantosUniversity of Minho, Portugal / INESC TEC, Portugal, Jose Nuno OliveiraUniversity of Minho, Portugal / INESC TEC, Portugal

DOI

11:30 - 13:30: OCaml 2020 - Experience at OCaml
Chair(s): Greta YorshJane Street

Sharing experience about using OCaml in various scenarios.

11:30 - 12:00
Talk

OCaml Under The Hood: SmartPy

Sebastien MondetTQ Tezos

12:00 - 12:30
Talk

A Declarative Syntax Definition for OCaml

Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology

Pre-print

12:30 - 13:00
Talk

LexiFi Runtime Types

Patrik KellerUniversity of Innsbruck, Marc LassonLexiFi

13:00 - 13:30
Talk

Types in amber

Paul StecklerO(1) Labs, Matthew RyanO(1) Labs

11:30 - 13:00: Haskell 2020 - Paper Session 4 - Effects at Haskell
Chair(s): Pierre-Evariste DagandLIP6/CNRS

11:30 - 12:00
Talk

A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)

Andrej IvaškovićUniversity of Cambridge, UK, Alan MycroftUniversity of Cambridge, UK

DOI

12:00 - 12:30
Talk

Composing Effects into Tasks and Workflows

Yves ParèsTweag I/O, France, Jean-Philippe BernardyUniversity of Gothenburg, Sweden, Richard A. EisenbergTweag I/O

DOI

12:30 - 13:00
Talk

Effect Handlers in Haskell, Evidently

Ningning XieMicrosoft Research, USA, Daan LeijenMicrosoft Research, USA

DOI

11:30 - 13:00: Scheme 2020 - Research Session 1 at Scheme

11:30 - 12:00
Talk

Clotho: A Racket Library for Parametric Randomness

Pierce DarraghUniversity of Utah, William G HatchUniversity of Utah, Eric EideUniversity of Utah

File Attached

12:00 - 12:30
Talk

Display in different time zone

ICFP 2020 Program

Thu 20 Aug Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 21 Aug Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Sun 23 Aug Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Mon 24 Aug Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 25 Aug Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Wed 26 Aug Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 27 Aug Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 28 Aug Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 20 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 21 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Sun 23 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Mon 24 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tue 25 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Wed 26 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 27 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change