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.

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