Python, Prompt Engineering, Data Science — Build the Skills Employers Want Now
UC San Diego Product Management Certificate — AI-Powered PM Training
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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