Blog

The OCaml Planet

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Probabilistic resource limits using StatMemprof

The goal of this talk is two-fold. First, we present memprof-limits, a probabilistic implementation of per-thread global memory limits, and per-thread allocation limits, for OCaml 4.12. Then, we will discuss the reasoning about programs in the pre...

27 Aug 2021

Watch OCaml

View Video
Leveraging Formal Specifications to Generate Fuzzing Suites

When testing a library, developers typically first have to capture the semantics they want to check. They then write the code implementing these tests and find relevant test cases that expose possible misbehaviours. In this work, we present a t...

27 Aug 2021

Watch OCaml

View Video
Wibbily Wobbly Timey Camly

Time handling is commonly considered a difficult problem by programmers due to myriad standards and complexity of time zone definitions. This also complicates scheduling across multiple time zones especially when one takes Daylight Saving Time int...

27 Aug 2021

Watch OCaml

View Video
Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs

We develop ParaFuzz, an input and concurrency fuzzing tool for Multicore OCaml programs. ParaFuzz builds on top of Crowbar which combines AFL-based grey box fuzzing with QuickCheck and extends it to handle parallelism. Sumit Padhiyar Indian In...

27 Aug 2021

Watch OCaml

View Video
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...

27 Aug 2021

Watch OCaml

View Video
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...

27 Aug 2021

Watch OCaml

View Video
OCaml and Python: Getting the Best of Both Worlds

In this talk we present how we expose a wide variety of OCaml libraries and services so that they can be accessed from Python. Our initial use case on the Python side consisted in Jupyter notebooks used to analyse various datasets, these datasets ...

27 Aug 2021

Watch OCaml

View Video
GopCaml: A Structural Editor for OCaml

This talk presents GopCaml-mode, the first structural editing plugin for OCaml. We will give a tour of the main plugin features, discussing the plugin’s internal design and its integration with existing OCaml and GNU Emacs toolchains. Kiran Gop...

27 Aug 2021

Watch OCaml

View Video
Goodbye Core_kernel

We recently restructured our standard libraries at Jane Street in away that eliminates the difference between Core_kernel and Coreand we’re happy with the re...

26 Aug 2021

Jane Street Tech Blog

Read Article
Tarides Engineers to Present at ICFP 2021

This year marks the 25th anniversary of the OCaml Language! It's an exciting time for OCaml programmers and enthusiasts. A fun and…

26 Aug 2021

Tarides

Read Article