Blog

The OCaml Planet RSS

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.

Type

All Article Video

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.

Add your RSS feed!

Filtering by: Keyword: properties Clear all

Flambda2 Ep. 4: How to write a purely functional compiler

Welcome to a new episode of The Flambda2 Snippets! Today, we will cover key high-level aspects of the algorithm of Flambda2. We will do our best to explain the fundamental design decisions pertaining to the architecture of the compiler. We will touch on how we managed to make a purely functional opt...

apply_cont apply_val body flambda2 handler k_ret let_cont properties traversal upward

19 Feb 2025

OCamlPro

Read Article

3-year Engineer Position at CEA LIST - LSL

cea cybersecurity engineer frama-c lsl oscs position properties security sensitive

28 Feb 2023

Frama-C

Read Article

[ARTICLE]

Fixed Term (3 years) Engineer Position at CEA LIST - LSL

cea cybersecurity engineer frama-c lsl oscs position properties security sensitive

28 Feb 2023

Frama-C

Read Article

[ARTICLE]

Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23

We are excited to announce that Nicolas will present a paper at the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) the 16th and 17th of January. This year, VMCAI is co-located with the Symposium on Principles of Programming Languages (POPL) conference, ...

boston bytecode domain java paper popl properties security technique vmcai

12 Jan 2023

OCamlPro

Read Article