Tarides Logo

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.

Open silver padlock with digital circuit pattern.

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

Carine Morel

Senior Software Engineer

Isabella Leandersson

Isabella Leandersson

Communications Officer

Blue padlock on abstract brown and orange blocks.

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

Carine Morel

Senior Software Engineer

Isabella Leandersson

Isabella Leandersson

Communications Officer