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

Since their inception state-machine frameworks have proven their worth by finding defects in everything from the underlying AUTOSAR components of Volvo cars to digital invoicing sys- tems. These case studies were carried out with Erlang’s commercial QuickCheck state-machine framework from Quviq, but such frameworks are now also available for Haskell, F#, Scala, Elixir, Java, etc. We present a typed state-machine framework for OCaml based on the QCheck library and illustrate a number concepts common to all such frameworks: state modeling, commands, interpreting commands, preconditions, and agreement checking.

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