Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

During the conference, the ICFP technical program will run twice—a first time starting at 9AM in New York and then a second time 12 hours later, starting at 9AM (the next day) in Beijing. To make this work, all authors have pre-recorded their talks and will participate in text-based discussion during and in live video discussion after one or both “showings” of their paper. The text chat will persist across mirrors and this video Q&A track will allow interested colleagues to get into a deep discussion right away. The videos will be freely available through a youtube livestream, but only registered ICFP participants will be able to access the text and video discussions.

The program on this track is 15-minutes delayed from the research papers track and only includes those papers where the authors have indicated their availibility.

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

Mon 24 Aug

Displayed time zone: Eastern Time (US & Canada) change

14:45 - 16:45
ICFP Q&A New York 2-2ICFP Q&A at ICFP Q&A 2
15:00
30m
Live Q&A
Staged Selective Parser Combinators
ICFP Q&A

15:30
30m
Live Q&A
Sealing Pointer-Based Optimizations Behind Pure Functions
ICFP Q&A

16:00
30m
Live Q&A
Computation Focusing
ICFP Q&A

16:30
30m
Live Q&A
Liquid Information Flow Control
ICFP Q&A

22:45 - 00:15
ICFP Q&A Asia 1-1ICFP Q&A at ICFP Q&A 1
23:15
30m
Live Q&A
Sparcl: A Language for Partially-Invertible Computation
ICFP Q&A

23:45
30m
Live Q&A
TLC: Temporal Logic of Distributed Components
ICFP Q&A

Tue 25 Aug

Displayed time zone: Eastern Time (US & Canada) change

02:45 - 04:45
ICFP Q&A Asia 2-2ICFP Q&A at ICFP Q&A 2
14:45 - 16:45
ICFP Q&A New York 4-2ICFP Q&A at ICFP Q&A 2
15:00
30m
Live Q&A
Liquid Resource Types
ICFP Q&A

15:30
30m
Live Q&A
Composing and Decomposing Op-Based CRDTs with Semidirect Products
ICFP Q&A

16:00
30m
Live Q&A
A Unified View of Modalities in Type Systems
ICFP Q&A

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

Wed 26 Aug

Displayed time zone: Eastern Time (US & Canada) change

02:45 - 04:45
ICFP Q&A Asia 4-2ICFP Q&A at ICFP Q&A 2
04:00
30m
Live Q&A
A Unified View of Modalities in Type Systems
ICFP Q&A

04:30
30m
Live Q&A
Signature restriction for polymorphic algebraic effects
ICFP Q&A

22:45 - 00:15
ICFP Q&A Asia 5-2ICFP Q&A at ICFP Q&A 2
23:30
30m
Live Q&A
A General Approach to Define Binders Using Matching Logic
ICFP Q&A

Thu 27 Aug

Displayed time zone: Eastern Time (US & Canada) change

Accepted Papers

Title
A General Approach to Define Binders Using Matching Logic
ICFP Q&A

A Quick Look at Impredicativity
ICFP Q&A

A Unified View of Modalities in Type Systems
ICFP Q&A

A dependently typed calculus with pattern matching and erasure inference
ICFP Q&A

A theory of RPC calculi for client–server model
ICFP Q&A

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

Compiling Effect Handlers in Capability-Passing Style
ICFP Q&A

Composing and Decomposing Op-Based CRDTs with Semidirect Products
ICFP Q&A

Computation Focusing
ICFP Q&A

Cosmo: A Concurrent Separation Logic for Multicore OCaml
ICFP Q&A

Denotational Recurrence Extraction for Amortized Analysis
ICFP Q&A

Duplo: A Framework for OCaml Post-Link Optimisation
ICFP Q&A

Effect Handlers, Evidently
ICFP Q&A

Effects for Efficiency: Asymptotic Speedup with First-Class Control
ICFP Q&A

Elaboration with First-Class Implicit Function Types
ICFP Q&A

Elastic Sheet-Defined Functions: Generalising Spreadsheet Functions to Variable-Size Input Arrays
ICFP Q&A

Emerging languages: An alternative approach to teaching programming languages
ICFP Q&A

Heterogeneous binary random-access lists
ICFP Q&A

Higher-Order Demand-Driven Symbolic Evaluation
ICFP Q&A

Kindly Bent to Free Us
ICFP Q&A

Kinds are Calling Conventions
ICFP Q&A

Liquid Information Flow Control
ICFP Q&A

Liquid Resource Types
ICFP Q&A

Local algebraic effect theories
ICFP Q&A

Lower Your Guards: A Compositional Pattern-Match Coverage Checker
ICFP Q&A

POPLMark reloaded: Mechanizing proofs by logical relations
ICFP Q&A

Parsing with Zippers (Functional Pearl)
ICFP Q&A

Perturbation confusion in forward automatic differentiation of higher-order functions
ICFP Q&A

Program Sketching with Live Bidirectional Evaluation
ICFP Q&A

Raising Expectations: Automating Expected Cost Analysis with Types
ICFP Q&A

Recovering Purity with Comonads and Capabilities
ICFP Q&A

Regular Language Type Inference with Term Rewriting
ICFP Q&A

Retrofitting Parallelism onto OCaml
ICFP Q&A

Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris
ICFP Q&A

Sealing Pointer-Based Optimizations Behind Pure Functions
ICFP Q&A

Separation Logic for Sequential Programs (Functional Pearl)
ICFP Q&A

Signature restriction for polymorphic algebraic effects
ICFP Q&A

Sparcl: A Language for Partially-Invertible Computation
ICFP Q&A

Stable Relations and Abstract Interpretation of Higher-Order Programs
ICFP Q&A

Staged Selective Parser Combinators
ICFP Q&A

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
ICFP Q&A

Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille
ICFP Q&A

TLC: Temporal Logic of Distributed Components
ICFP Q&A

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

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