Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameSRC Posters
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

Mon 24 Aug

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

10:30 - 11:30
10:30
8m
Poster
A GHC-Plugin to Compile Effectful Languages
Student Research Competition
10:38
8m
Poster
Certified double sided auction mechanisms
Student Research Competition
10:47
8m
Poster
Certified Optimisation of Stream Operations Using Heterogeneous Staging
Student Research Competition
James Lowenthal University of Cambridge
10:55
8m
Poster
Pattern Matching with Typed Holes
Student Research Competition
Yongwei Yuan University of Michigan
11:04
8m
Poster
Type Hole Inference
Student Research Competition
Zhiyi Pan University of Michigan
11:12
8m
Poster
Semantics for a Simple Differentiable Language Using Distribution Theory
Student Research Competition
Christopher Lam Cornell University
11:21
8m
Poster
Gradual Enforcement of IO Trace Properties
Student Research Competition
Cezar-Constantin Andrici Alexandru Ioan Cuza University of Iasi

Mon 24 Aug

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