Media Summary: We will present a property-based testing framework for In this talk, we will present opam-bin, an Opam plugin that builds

Ocaml Workshop 2021 Binary Analysis - Detailed Analysis & Overview

We will present a property-based testing framework for In this talk, we will present opam-bin, an Opam plugin that builds

Photo Gallery

OCaml Workshop 2021 - Binary Analysis Platform (BAP)
OCaml Workshop 2021 - Adapting the OCaml ecosystem for Multicore OCaml
OCaml 2021 - GopCaml: A Structural Editor for OCaml
OCaml Workshop 2021 - Property Based Testing for OCaml through Coq
OCaml Workshop 2021 - Experiences with Effects
OCaml Workshop 2021 - opam-bin Binary Packages with Opam
OCaml 2021 - Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs
OCaml Workshop 2021 - From 2n+1 to n
Why OCaml
OCaml in 90 Seconds
OCaml Unboxed: An Exploration of Jane Street's Experiments with OCaml
OCaml 2021 - Probabilistic resource limits, or: Programming with interrupts in OCaml
View Detailed Profile
OCaml Workshop 2021 - Binary Analysis Platform (BAP)

OCaml Workshop 2021 - Binary Analysis Platform (BAP)

We present

OCaml Workshop 2021 - Adapting the OCaml ecosystem for Multicore OCaml

OCaml Workshop 2021 - Adapting the OCaml ecosystem for Multicore OCaml

OCaml

OCaml 2021 - GopCaml: A Structural Editor for OCaml

OCaml 2021 - GopCaml: A Structural Editor for OCaml

https://icfp21.sigplan.org/details/

OCaml Workshop 2021 - Property Based Testing for OCaml through Coq

OCaml Workshop 2021 - Property Based Testing for OCaml through Coq

We will present a property-based testing framework for

OCaml Workshop 2021 - Experiences with Effects

OCaml Workshop 2021 - Experiences with Effects

The multicore branch of

OCaml Workshop 2021 - opam-bin Binary Packages with Opam

OCaml Workshop 2021 - opam-bin Binary Packages with Opam

In this talk, we will present opam-bin, an Opam plugin that builds

OCaml 2021 - Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs

OCaml 2021 - Semgrep, a fast, lightweight, polyglot, static analysis tool to find bugs

https://icfp21.sigplan.org/details/

OCaml Workshop 2021 - From 2n+1 to n

OCaml Workshop 2021 - From 2n+1 to n

OCaml

Why OCaml

Why OCaml

A

OCaml in 90 Seconds

OCaml in 90 Seconds

Get Cracked at Coding: https://app.codecrafters.io/join?via=lcarrio

OCaml Unboxed: An Exploration of Jane Street's Experiments with OCaml

OCaml Unboxed: An Exploration of Jane Street's Experiments with OCaml

This video introduces the

OCaml 2021 - Probabilistic resource limits, or: Programming with interrupts in OCaml

OCaml 2021 - Probabilistic resource limits, or: Programming with interrupts in OCaml

https://icfp21.sigplan.org/details/