Runtime Detection of Data Races in OCaml with ThreadSanitizer

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore the challenges and solutions for detecting data races in parallel OCaml code using ThreadSanitizer (TSan) in this conference talk from OCaML'23. Delve into the core principles of data race detection, understand the complexities of applying TSan to OCaml, and learn about the necessary adaptations to the runtime system. Discover how to implement TSan in your own OCaml projects, gaining insights into its capabilities and limitations. Gain valuable knowledge on improving the reliability and safety of parallel OCaml programs through runtime detection of concurrent access issues.

Syllabus

[OCaML'23] Runtime Detection of Data Races in OCaml with ThreadSanitizer

Taught by

ACM SIGPLAN

Related Courses

Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX Paradigms of Computer Programming – Abstraction and Concurrency
Université catholique de Louvain via edX Computing: Art, Magic, Science - Part II
ETH Zurich via edX Concurrency
AdaCore via Independent Java Fundamentals for Android Development
Galileo University via edX