Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Mon 24 Aug 2020 11:12 - 11:21 at SRC Posters - SRC Poster Session

With the rise of the importance of automatic differentiation and gradient descent in various optimization fields, differentiation has become an important construct to formalize in terms of programming language semantics. However, many contemporary models of languages have difficulty handling points of discontinuity introduced by conditionals as derivatives are not well defined at such points. We offer a solution to this undefined behavior by defining a denotational semantics based on distribution theory.

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