Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
VenueOnline
Room nameSRC Posters
Additional informationThere is no additional information of this room 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: SRC Poster SessionStudent Research Competition at SRC Posters
10:30 - 10:38
Poster
A GHC-Plugin to Compile Effectful Languages
Student Research Competition
10:38 - 10:47
Poster
Certified double sided auction mechanisms
Student Research Competition
10:47 - 10:55
Poster
Certified Optimisation of Stream Operations Using Heterogeneous Staging
Student Research Competition
James LowenthalUniversity of Cambridge
10:55 - 11:04
Poster
Pattern Matching with Typed Holes
Student Research Competition
Yongwei YuanUniversity of Michigan
11:04 - 11:12
Poster
Type Hole Inference
Student Research Competition
Zhiyi PanUniversity of Michigan
11:12 - 11:21
Poster
Semantics for a Simple Differentiable Language Using Distribution Theory
Student Research Competition
Christopher LamCornell University
11:21 - 11:30
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