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.
20 May 2021
Abstract submission deadline
18 Jul 2021
Author notification
27 Aug 2021
OCaml Workshop
Presentations (20)
A Multiverse of Glorious Documentation
Authors(s):Lucas Pluvinage, Jonathan Ludlam
Adapting the OCaml Ecosystem for Multicore OCaml
Authors(s):Sudha Parimala, Enguerrand Decorne, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan
Binary Analysis Platform (BAP). Using Universal Algebra and Tagless-Final Style for Developing Representation-Agnostic Frameworks
Authors(s):Ivan Gotovchits, David Brumley
Continuous Benchmarking for OCaml Projects
Authors(s):Gargi Sharma, Rizo Isrof, Magnus Skjegstad
Deductive Verification of Realistic OCaml Code
Authors(s):Carlos Pinto, Mário Pereira, Simão Melo de Sousa
Digodoc and Docs
Authors(s):Mohamed Hernouf, Fabrice Le Fessant, Thomas Blanc, Louis Gesbert
Experiences with Effects
Authors(s):Thomas Leonard, Craig Ferguson, Patrick Ferris, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan, Anil Madhavapeddy
Leveraging Formal Specifications to Generate Fuzzing Suites
Authors(s):Nicolas Osborne, Clément Pascutto
Love: a readable language interpreted by a blockchain
Authors(s):Steven de Oliveira, David Declerck
Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
Authors(s):Sumit Padhiyar, Adharsh Kamath, KC Sivaramakrishnan
Probabilistic resource limits, or: Programming with interrupts in OCaml
Authors(s):Guillaume Munch-Maccagnoni
Property-Based Testing for OCaml through Coq
Authors(s):Paaras Bhandari, Leonidas Lampropoulos
Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs
Authors(s):Yoann Padioleau
Conference Details
Program Committee
•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)