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.

Conference Day
Fri 28 Aug

Displayed 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
30m
Talk
A Simple State-Machine Framework for Property-Based Testing in OCaml
OCaml
Jan MidtgaardUniversity of Southern Denmark
09:30
30m
Talk
The ImpFS filesystem
OCaml
Tom RidgeUniversity of Leicester, UK
10:00
30m
Talk
Irmin v2
OCaml
Clément PascuttoTarides, Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Ioana CristescuINRIA, France, Craig FergusonTarides, Thomas GazagnaireTarides, Romain LiautaudTarides
10:30
30m
Talk
AD-OCaml: Algorithmic Differentiation for OCaml
OCaml
Markus MottlUnaffiliated