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
Times are displayed in 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 LowenthalUniversity of Cambridge
10:55
8m
Poster
Pattern Matching with Typed Holes
Student Research Competition
Yongwei YuanUniversity of Michigan
11:04
8m
Poster
Type Hole Inference
Student Research Competition
Zhiyi PanUniversity of Michigan
11:12
8m
Poster
Semantics for a Simple Differentiable Language Using Distribution Theory
Student Research Competition
Christopher LamCornell University
11:21
8m
Poster
Gradual Enforcement of IO Trace Properties
Student Research Competition
Cezar-Constantin AndriciAlexandru Ioan Cuza University of Iasi

Mon 24 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change