PowerBI Data Analyst - Create visualizations and dashboards from scratch
AI, Data Science & Cloud Certificates from Google, IBM & Meta
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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