SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

This publication has 24 references indexed in Scilit:

• Types for atomicity
  ACM Transactions on Programming Languages and Systems, 2008
• Velodrome
  Published by Association for Computing Machinery (ACM) ,2008
• Causal Atomicity
  Published by Springer Nature ,2006
• Composable memory transactions
  Published by Association for Computing Machinery (ACM) ,2005
• Atomizer
  Published by Association for Computing Machinery (ACM) ,2004
• Language support for lightweight transactions
  Published by Association for Computing Machinery (ACM) ,2003
• Efficient and precise datarace detection for multithreaded object-oriented programs
  Published by Association for Computing Machinery (ACM) ,2002
• TRaDe: Data Race Detection for Java
  Published by Springer Nature ,2001
• Detecting data races in Cilk programs that use locks
  Published by Association for Computing Machinery (ACM) ,1998
• Efficient detection of determinacy races in Cilk programs
  Published by Association for Computing Machinery (ACM) ,1997