Clément Allain

According to our database, Clément Allain authored at least 6 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic.

Clément Allain, Gabriel Scherer

Proc. ACM Program. Lang., 2026

2025

Verification of fine-grained concurrent OCaml 5 algorithms using separation logic. (Vérification d'algorithmes OCaml 5 concurrents à grain fin en logique de séparation).

Clément Allain

PhD thesis, 2025

Tail Modulo Cons, OCaml, and Relational Separation Logic.

Clément Allain, Frédéric Bour, Basile Clément, François Pottier, Gabriel Scherer

Proc. ACM Program. Lang., 2025

2024

Snapshottable Stores.

Clément Allain, Basile Clément, Alexandre Moine, Gabriel Scherer

Proc. ACM Program. Lang., 2024

2019

Volume and surface area of Holstein dairy cows calculated from complete 3D shapes acquired using a high-precision scanning system: Interest for body weight estimation.

Yannick Le Cozler, Clément Allain, Caroline Xavier, Laurence Depuille, Anaïs Caillot, Jean-Michel Delouard, Laurent Delattre, Thibault Luginbuhl, Philippe Faverdin

Comput. Electron. Agric., 2019

High-precision scanning system for complete 3D cow body shape imaging and analysis of morphological traits.

Yannick Le Cozler, Clément Allain, Anaïs Caillot, Jean-Michel Delouard, Laurent Delattre, Thibault Luginbuhl, Philippe Faverdin

Comput. Electron. Agric., 2019