Researcher profile

François Pottier

2 papers in the PaperMetrix corpus

Publications

Papers by this author

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library

2023 · Logical Methods in Computer Science

We apply program verification technology to the problem of specifying and verifying automatic differentiation (AD) algorithms. We focus on define-by-run, a style of AD where the program that must be differentiated is executed and monitored …
Data Race Freedom à la Mode

2025 · Proceedings of the ACM on Programming Languages

We present DRFCaml, an extension of OCaml’s type system that guarantees data race freedom for multithreaded OCaml programs while retaining backward compatibility with existing sequential OCaml code. We build on recent work of Lorenzen et …