TRaDe: data race detection for Java

DOI10.1007/3-540-45718-6_81MaRDI QIDQ2779630zbMATH OpenFDO

Authors Mark Christiaens, Koen De Bosschere

Publication date 15 April 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2074/20740761

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• scientific article; zbMATH DE number 2089170
• Scaling model checking of dataraces using dynamic information
• A Certified Data Race Analysis for a Java-like Language
• Efficient data race detection for async-finish parallelism

Cited in

(5)

• Dynamic inference of polymorphic lock types
• scientific article; zbMATH DE number 1262851 (Why is no real title available?)
• Accordion clocks: Logical clocks for data race detection
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• Scaling model checking of dataraces using dynamic information

This page was built for publication: TRaDe: data race detection for Java

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2779630)