Olivier Nicole
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- OCaml2 editions2022–2023
on a stage with
- Fabrice Buoroonce
- Jan Midtgaardonce
- Jeremy Yalloponce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Runtime Detection of Data Races in OCaml with ThreadSanitizer | OCaml 2023 | 2023-09-09 |
ThreadSanitizer is integrated into the OCaml compiler and runtime via LLVM-style instrumentation and a runtime library that records vector clocks and shadow… | ||
| MacoCaml: Staging Composable and Compilable Macros | ICFP 2023 | 2023-09-04 |
MacoCaml implements compile‑time code generation inside the OCaml compiler, treating macros as compile-time bindings and using quotation/splice staging so… | ||
| Multicoretests - Parallel Testing Libraries for OCaml 5.0 | OCaml 2022 | 2022-09-16 |
Two testing libraries target OCaml 5.0 multicore: Lin checks linearizability and STM runs state-machine (model-based) tests, both built on QCheck. The tools… | ||
| Lightweight Shape Analysis based on Physical Types | VMCAI 2022 | 2022-01-16 |
Defines a new abstract-interpretation memory analysis that summarizes the heap with physical types encoding byte-level layouts and pairs that with a focusing… | ||
| nothing matches | ||