Articles by Carine Morel

Explore articles by Carine Morel, 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.

Wed, 10 Apr 2024

Multicore Testing Tools: DSCheck Pt 2

Welcome to part two! If you haven't already, check out part one, where we introduce DSCheck and share one of its uses in a naive counter implementation. This post will give you a behind-the-scenes look at how DSCheck works its magic, including the theory behind it and how to write a test for our nai…

Carine Morel

Senior Software Engineer

Isabella Leandersson

Communications Officer

Wed, 14 Feb 2024

Multicore Testing Tools: DSCheck Pt 1

Reaping the plentiful benefits of parallel programming requires the careful management of the intricacies that come with it. Tarides played a significant part in making OCaml Multicore a reality, and we have continued to work on supporting tools that make parallel programming in OCaml as seamless as…

Carine Morel

Senior Software Engineer

Isabella Leandersson

Communications Officer