Tarides Logo

Articles by Fabrice Buoro

Explore articles by Fabrice Buoro, featuring deep insights into systems programming, distributed computing, and cutting-edge technology. Discover the author's unique perspective and technical expertise that contribute to innovation at Tarides.

How TSan Makes OCaml Better: Data Races Caught and Fixed

Parallel programming opens up brand-new possibilities. Using multiple cores means that users can benefit from powerful OCaml features (like formal proofs and high security) while enjoying greater performance, enabling them to improve their services or projects. However, introducing such a significan…

Olivier Nicole

Senior Software Engineer

Fabrice Buoro

Senior Software Engineer

Isabella Leandersson

Communications Officer

Off to the Races: Using ThreadSanitizer in OCaml

OCaml Multicore opened up a new world of performance for developers, something that Nomadic Labs has tested with great results. Rather than relying on one core to do everything, the program can take advantage of multiple cores simultaneously for a significant performance boost. With new programming …

Fabrice Buoro

Senior Software Engineer

Olivier Nicole

Senior Software Engineer

Isabella Leandersson

Communications Officer

Reflections on the MirageOS Retreat in Morocco

Introduction Since we are a hybrid remote and distributed company, everyone at Tarides knows first-hand how important in-person retreats are for collaborating on software development. They give us a chance to focus more deeply on our work, collaborate closely, and learn from one another. We are part…

Antonin Décimo

Senior Software Engineer

Isabella Leandersson

Communications Officer

Fabrice Buoro

Senior Software Engineer

Christiano Haesbaert

Principal Software Engineer

Jules Aguillon

Senior Software Engineer

Sonja Heinze

Senior Software Engineer