ICFP 2020 Session NY 1

Описание: Video captions supported by Jane Street. Papers are available Gold Open Access and accessible from https://icfp20.sigplan.org/room/icfp-...
*Session contents (see below)*
[00:00] Introduction slides.

[14:09] Stable Relations and Abstract Interpretation of Higher-Order Programs
Benoît Montagu, Inria (presenting)
Thomas P. Jensen, INRIA Rennes

[29:15] Higher-Order Demand-Driven Symbolic Evaluation
Zachary Palmer, Swarthmore College
Theodore Park, Swarthmore and Hopkins
Scott F. Smith, The Johns Hopkins University (presenting)
Shiwei Weng, The Johns Hopkins University

[43:23] Sparcl: A Language for Partially-Invertible Computation
Kazutaka, Matsuda Tohoku University, Japan (presenting)
Meng Wang, University of Bristol, UK

[58:02] SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Nikhil Swamy, Microsoft Research
Aseem Rastogi, Microsoft Research
Aymeric Fromherz, Carnegie Mellon University (presenting)
Denis Merigoux, INRIA
Danel Ahman, University of Ljubljana
Guido Martínez, CIFASIS-CONICET, Argentina

[01:13:05] TLC: Temporal Logic of Distributed Components
Jeremiah Griffin, University of California, Riverside
Mohsen Lesani, University of California, Riverside (presenting)
Narges Shadab, University of California, Riverside
Xizhe Yin, University of California, Riverside

[01:28:01] Effect Handlers, Evidently
Ningning Xie, Microsoft Research, USA (presenting)
Jonathan Immanuel Brachthäuser, University of Tübingen, Germany
Daniel Hillerström, The University of Edinburgh
Philipp Schuster, University of Tübingen, Germany
Daan Leijen, Microsoft Research, USA