OCaml Workshop 2021
20 May 2021
Abstract submission deadline
18 Jul 2021
27 Aug 2021
The OCaml Users and Developers Workshop brings together the OCaml community, including users of OCaml in industry, academia, hobbyists and the free software community.
OCaml 2021 will be a virtual workshop, co-located with ICFP 2021.
|25 Years of OCaml||Xavier Leroy||Video|
|A Multiverse of Glorious Documentation||Lucas Pluvinage, Jonathan Ludlam||Link Video|
|Adapting the OCaml Ecosystem for Multicore OCaml||Sudha Parimala, Enguerrand Decorne, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan||Link Video|
|Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks||Ivan Gotovchits, David Brumley||Link Video|
|Continuous Benchmarking for OCaml Projects||Gargi Sharma, Rizo Isrof, Magnus Skjegstad||Video|
|Deductive Verification of Realistic OCaml Code||Carlos Pinto, Mário Pereira, Simão Melo de Sousa||Video|
|Digodoc and Docs||Mohamed Hernouf, Fabrice Le Fessant, Thomas Blanc, Louis Gesbert||Video|
|Experiences with Effects||Thomas Leonard, Craig Ferguson, Patrick Ferris, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan, Anil Madhavapeddy||Link Video|
|From 2n+1 to n||Nandor Licker, Timothy M. Jones||Link Video|
|GopCaml: A Structural Editor for OCaml||Kiran Gopinathan||Link Video|
|Leveraging Formal Specifications to Generate Fuzzing Suites||Nicolas Osborne, Clément Pascutto||Video|
|Love: a readable language interpreted by a blockchain||Steven de Oliveira, David Declerck||Video|
|OCaml and Python: Getting the Best of Both Worlds||Laurent Mazare||Video|
|Opam-bin: Binary Packages with Opam||Fabrice Le Fessant||Link Video|
|Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs||Sumit Padhiyar, Adharsh Kamath, KC Sivaramakrishnan||Link Video Slides|
|Probabilistic resource limits, or: Programming with interrupts in OCaml||Guillaume Munch-Maccagnoni||Video|
|Property-Based Testing for OCaml through Coq||Paaras Bhandari, Leonidas Lampropoulos||Video|
|Safe Protocol Updates via Propositional Logic||Michael O'Connor||Video|
|Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs||Yoann Padioleau||Link Video|
|Wibbily Wobbly Timey Camly||Di Long Li, Gabriel Radanne||Video|
Frédéric Bour (Tarides, France)
Frédéric Bour (Tarides, France), Mehdi Bouaziz (Nomadic Labs, France), Simon Castellan (INRIA, France), Youyou Cong (Tokyo Institute of Technology, Japan), Kate Deplaix (OCaml Labs, UK), Jun Furuse (DaiLambda, Japan), Joris Giovannangeli (Ahrefs Research), Kihong Heo (KAIST, South Korea), Hugo Heuzard (Jane Street), Vaivaswatha Nagaraj (Zilliqa Research, India), Hakjoo Oh (Korea University), Jonathan Protzenko (Microsoft Research Redmond, USA), Cristina Rosu (Jane Street), Jeffrey A. Scofield (Psellos), Ryohei Tokuda (Idein)
25 Years of OCaml: Xavier Leroy
Professor Xavier Leroy -- the primary original author and leader of the OCaml project -- reflects on 25 years of the OCaml language at his OCaml Workshop 2021 keynote speech.
A Multiverse of Glorious Documentation
This talk describes the process of generating documentation for every version of every package that can be built from the opam repository, and how it is presented as a single coherent website that is continuously updated as new packages are releas...
Adapting the OCaml ecosystem for Multicore OCaml
OCaml 5.0 with support for shared-memory parallelism being around the corner, there’s increasing interest in the community to port existing libraries to Multicore. This talk will take the attendees through what the arrival of Multicore means to th...
Binary Analysis Platform
We present Binary Analysis Platform (BAP), a representation-agnostic program analysis framework for binaries that can leverage existing tools, libraries, and frameworks, no matter which intermediate representation (IR) they use. In BAP, a new IR c...
Continuous Benchmarking for OCaml Projects
Regular CI systems are optimised for workloads that do not require stable performance over time. This makes them unsuitable for running performance benchmarks. current-bench provides a predictable environment for performance benchmarks and a UI...
Deductive Verification of Realistic OCaml Code
We present the formal verification of a subset of the Set module from the OCaml standard library. The proof is conducted using Cameleer, a new tool for the deductive verification of OCaml code. Cameleer takes as input an OCaml program, annotated u...