Concurrency Analysis for Parallel Programs with Textually Aligned Barriers

This publication has 16 references indexed in Scilit:

• Ownership types for safe programming
  Published by Association for Computing Machinery (ACM) ,2002
• Guava
  Published by Association for Computing Machinery (ACM) ,2000
• Type-based race detection for Java
  Published by Association for Computing Machinery (ACM) ,2000
• Barrier inference
  Published by Association for Computing Machinery (ACM) ,1998
• Detecting data races in Cilk programs that use locks
  Published by Association for Computing Machinery (ACM) ,1998
• Non-concurrency analysis
  Published by Association for Computing Machinery (ACM) ,1993
• What are race conditions?
  ACM Letters on Programming Languages and Systems, 1992
• Detecting access anomalies in programs with critical sections
  Published by Association for Computing Machinery (ACM) ,1991
• Concurrency analysis in the presence of procedures using a data-flow framework
  Published by Association for Computing Machinery (ACM) ,1991
• Local adaptive mesh refinement for shock hydrodynamics
  Journal of Computational Physics, 1989