ICFP 2020 Session Asia 5

Video captions supported by Jane Street.

SESSION CONTENTS
[00:00] Introduction slides

[13:42] Denotational Recurrence Extraction for Amortized Analysis
Joseph W. Cutler, Wesleyan University (presenting)
Dan Licata, Wesleyan University
Norman Danner, Wesleyan University

[28:38] Separation Logic for Sequential Programs (Functional Pearl)
Arthur Charguéraud, Inria (presenting)

[43:00] Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille
Aaron Stump, The University of Iowa, USA (presenting)
Chris Jenkins, The University of Iowa
Stephan Spahn, The University of Iowa
Colin McDonald, University of Notre Dame

[58:01] Duplo: A Framework for OCaml Post-Link Optimisation
Nandor Licker, University of Cambridge (presenting)
Timothy M. Jones, University of Cambridge, UK

[01:13:01] Recovering Purity with Comonads and Capabilities
Vikraman Choudhury, Indiana University & University of Cambridge (presenting)
Neel Krishnaswami, Computer Laboratory, University of Cambridge

[01:28:01] A General Approach to Define Binders Using Matching Logic
Xiaohong Chen, University of Illinois at Urbana-Champaign (presenting)
Grigore Rosu, University of Illinois at Urbana-Champaign

[01:43:01] Parsing with Zippers (Functional Pearl)
Pierce Darragh, University of Utah (presenting)
Michael D. Adams, University of Michigan

[01:58:02] Regular Language Type Inference with Term Rewriting
Timothée Haudebourg, Univ Rennes, Inria, CNRS, IRISA (presenting)
Thomas Genet IRISA, Univ Rennes
Thomas P. Jensen, INRIA Rennes