Ocaml Workshop 2021 Property Based color trends 2026: Meanings, Combinations, and Trends Explained

We will present a

This talk presents GopCaml-mode, the first structural editing plugin for

We develop ParaFuzz, an input and concurrency fuzzing tool for Multicore

Since their inception, state-machine frameworks have proven their worth by finding defects in everything from the underlying ...

We present Binary Analysis Platform (BAP), a representation-agnostic program analysis framework for binaries that can leverage ...

When testing a library, developers typically first have to capture the semantics they want to check. They then write the code ...

We present the formal verification of a subset of the Set module from the

If values of a given type are stored on disk, or are sent between different executables, then changing that type or its serialization ...

The multicore branch of

OCaml

SmartPy is a complete system to develop smart-contracts for the Tezos blockchain. It is an embedded EDSL in python to write ...

In this talk, we will introduce a new tool called digodoc, that builds a graph of an opam switch, associating files, libraries and opam ...

System Modeler is an easy-to-use, next-generation modeling and simulation environment for cyber-physical systems. The System ...