A Certified Data Race Analysis for a Java-like Language

DOI10.1007/978-3-642-03359-9_16zbMath1252.68054OpenAlexW1608647917MaRDI QIDQ3183531

Frédéric Dabrowski, David Pichardie

Publication date: 20 October 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03359-9_16

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (1)

Checking data-race freedom of GPU kernels, compositionally

Uses Software

• Coq
• BicolanoMT
• Archive Formal Proofs
• Program-Conflict-Analysis

Cites Work

• Extracting a data flow analyser in constructive logic
• Conditional must not aliasing for static race detection
• Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
• Formalising Java’s Data Race Free Guarantee
• The Java memory model
• Formal certification of a compiler back-end or
• Oracle Semantics for Concurrent Separation Logic

This page was built for publication: A Certified Data Race Analysis for a Java-like Language