Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
ICFP 2020 (series) / Online /

Room information: ICFP NY 5

VenueOnline
Room nameICFP NY 5
Floor0
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

Wed 26 Aug

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

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

Public livestreams: YouTube, Bilibili (China)

11:00
15m
Talk
Denotational Recurrence Extraction for Amortized Analysis
ICFP Program
Joseph W. Cutler Wesleyan University, Daniel R. Licata Wesleyan University, Norman Danner Wesleyan University
DOI Media Attached
11:15
15m
Talk
Separation Logic for Sequential Programs (Functional Pearl)
ICFP Program
Arthur Charguéraud Inria
DOI Media Attached
11:30
15m
Talk
Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille
ICFP Program
Aaron Stump The University of Iowa, USA, Chris Jenkins The University of Iowa, Stephan Spahn The University of Iowa, Colin McDonald University of Notre Dame
DOI Media Attached
11:45
15m
Talk
Duplo: A Framework for OCaml Post-Link Optimisation
ICFP Program
Nandor Licker University of Cambridge, Timothy M. Jones University of Cambridge, UK
DOI Media Attached
12:00
15m
Talk
Recovering Purity with Comonads and Capabilities
ICFP Program
Vikraman Choudhury Indiana University & University of Cambridge, Neel Krishnaswami Computer Laboratory, University of Cambridge
DOI Media Attached
12:15
15m
Talk
A General Approach to Define Binders Using Matching Logic
ICFP Program
Xiaohong Chen University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign
DOI Media Attached
12:30
15m
Talk
Parsing with Zippers (Functional Pearl)
ICFP Program
Pierce Darragh University of Utah, Michael D. Adams University of Michigan
DOI Media Attached
12:45
15m
Talk
Regular Language Type Inference with Term Rewriting
ICFP Program
Timothée Haudebourg Univ Rennes, Inria, CNRS, IRISA, Thomas Genet IRISA, Univ Rennes, Thomas P. Jensen INRIA Rennes
DOI Media Attached

Wed 26 Aug

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

Room11:003012:0030
ICFP NY 5

ICFP Program

New York 5

Wed 26 Aug

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

Room11:0015304512:00153045
ICFP NY 5
ICFP Program
Denotational Recurrence Extraction for Amortized Analysis
11:00 - 11:15
ICFP Program
Separation Logic for Sequential Programs (Functional Pearl)
11:15 - 11:30
ICFP Program
Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille
11:30 - 11:45
ICFP Program
Duplo: A Framework for OCaml Post-Link Optimisation
11:45 - 12:00
ICFP Program
Recovering Purity with Comonads and Capabilities
12:00 - 12:15
ICFP Program
A General Approach to Define Binders Using Matching Logic
12:15 - 12:30
ICFP Program
Parsing with Zippers (Functional Pearl)
12:30 - 12:45
ICFP Program
Regular Language Type Inference with Term Rewriting
12:45 - 13:00