Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 10:30 - 11:00 at OCaml - Applications Chair(s): Marcello Seri

AD-OCaml is a library framework for calculating mathematically exact derivatives and deep power series approximations of almost arbitrary OCaml programs via algorithmic differentiation. Unlike similar frameworks, this includes programs with side effects, aliasing, and programs with nested derivative operators. The framework also offers implicit parallelization of both user programs and their transformations. The presentation will provide a short introduction to the mathematical problem, the difficulties of implementing a solution, the design of the library, and a demonstration of its capabilities.

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

09:00 - 11:00: ApplicationsOCaml at OCaml
Chair(s): Marcello SeriBernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen

Talks about new and existing OCaml applications and libraries.

09:00 - 09:30
A Simple State-Machine Framework for Property-Based Testing in OCaml
Jan MidtgaardUniversity of Southern Denmark
09:30 - 10:00
The ImpFS filesystem
Tom RidgeUniversity of Leicester, UK
10:00 - 10:30
Irmin v2
10:30 - 11:00
AD-OCaml: Algorithmic Differentiation for OCaml
Markus MottlUnaffiliated