Conference closing (ICFP 2020 - Program) - ICFP 2020

Write a Blog >>

Thu 20 - Fri 28 August 2020

Track

ICFP 2020 ICFP Program

Time Zone

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

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 26 Aug 2020 16:15 - 16:25 at ICFP NY 6 - New York 6 Chair(s): Sukyoung Ryu
Thu 27 Aug 2020 04:15 - 04:25 at ICFP Asia 6 - Asia 6 Chair(s): Sukyoung Ryu

Time Zone

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

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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

	14:30 - 16:25	New York 6ICFP Program at ICFP NY 6 Chair(s): Sukyoung Ryu KAIST Public livestreams: YouTube, Bilibili (China)

	14:30 15m Talk		Compiling Effect Handlers in Capability-Passing Style ICFP Program Philipp Schuster University of Tübingen, Germany, Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany DOI Media Attached
	14:45 15m Talk		Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris ICFP Program Paolo G. Giarrusso BedRock Systems, Leo Stefanesco IRIF, University Paris Diderot & CNRS, Amin Timany Aarhus University, Lars Birkedal Aarhus University, Robbert Krebbers Delft University of Technology DOI Media Attached
	15:00 15m Talk		A dependently typed calculus with pattern matching and erasure inferenceDistinguished Paper ICFP Program Matúš Tejiščák University of St Andrews DOI Media Attached
	15:15 15m Talk		Raising Expectations: Automating Expected Cost Analysis with Types ICFP Program Di Wang Carnegie Mellon University, David M. Kahn Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University DOI Media Attached
	15:30 15m Talk		Program Sketching with Live Bidirectional Evaluation ICFP Program Justin Lubin University of Chicago, Nick Collins University of Chicago, Cyrus Omar University of Michigan, Ravi Chugh University of Chicago DOI Media Attached
	15:45 15m Talk		Elaboration with First-Class Implicit Function Types ICFP Program András Kovács Eötvös Loránd University DOI Pre-print Media Attached
	16:00 15m Talk		Kinds are Calling Conventions ICFP Program Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft, UK, Richard A. Eisenberg Tweag I/O DOI Media Attached
	16:15 10m Day closing		Conference closing ICFP Program Stephanie Weirich University of Pennsylvania

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

	02:30 - 04:25	Asia 6ICFP Program at ICFP Asia 6 Chair(s): Sukyoung Ryu KAIST Public livestreams: YouTube, Bilibili (China)

	02:30 15m Talk		Compiling Effect Handlers in Capability-Passing Style ICFP Program Philipp Schuster University of Tübingen, Germany, Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Klaus Ostermann University of Tübingen, Germany DOI Media Attached
	02:45 15m Talk		Scala Step-by-Step — Soundness for DOT with Step-Indexed Logical Relations in Iris ICFP Program Paolo G. Giarrusso BedRock Systems, Leo Stefanesco IRIF, University Paris Diderot & CNRS, Amin Timany Aarhus University, Lars Birkedal Aarhus University, Robbert Krebbers Delft University of Technology DOI Media Attached
	03:00 15m Talk		A dependently typed calculus with pattern matching and erasure inferenceDistinguished Paper ICFP Program Matúš Tejiščák University of St Andrews DOI Media Attached
	03:15 15m Talk		Raising Expectations: Automating Expected Cost Analysis with Types ICFP Program Di Wang Carnegie Mellon University, David M. Kahn Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University DOI Media Attached
	03:30 15m Talk		Program Sketching with Live Bidirectional Evaluation ICFP Program Justin Lubin University of Chicago, Nick Collins University of Chicago, Cyrus Omar University of Michigan, Ravi Chugh University of Chicago DOI Media Attached
	03:45 15m Talk		Elaboration with First-Class Implicit Function Types ICFP Program András Kovács Eötvös Loránd University DOI Pre-print Media Attached
	04:00 15m Talk		Kinds are Calling Conventions ICFP Program Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft, UK, Richard A. Eisenberg Tweag I/O DOI Media Attached
	04:15 10m Day closing		Conference closing ICFP Program Stephanie Weirich University of Pennsylvania

Stephanie Weirich

Stephanie Weirich

University of Pennsylvania