Efficient detection of determinacy races in cilk programs
From MaRDI portal
Publication:1293918
DOI10.1007/S002240000120zbMATH Open0929.68023OpenAlexW1995085071MaRDI QIDQ1293918FDOQ1293918
Authors: K. Appert 
Publication date: 29 June 1999
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002240000120
Recommendations
- Race detection and reachability in nearly series-parallel DAGs
- scientific article; zbMATH DE number 1091202
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
- Safe nondeterminism in a deterministic-by-default parallel language
- A type and effect system for determinism in multithreaded programs
Cited In (25)
- Dynamic Data-Race Detection Through the Fine-Grained Lens
- Efficient data race detection for async-finish parallelism
- Detecting race conditions in parallel programs that use semaphores
- An asymptotically optimal layout for the shuffle-exchange graph
- The complexity of minimizing wire lengths in VLSI layouts
- Trends in systolic and cellular computation
- Title not available (Why is that?)
- Programming with exceptions in JCilk
- Race detection and reachability in nearly series-parallel DAGs
- A framework for solving VLSI graph layout problems
- Safe nondeterminism in a deterministic-by-default parallel language
- Balanced computation of two-dimensional transforms on a tree machine
- Local Nontermination Detection for Parallel C++ Programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- An equational axiomatization of systolic systems
- Empirical comparison of race detection tools for OpenMP programs
- Automatic verification of determinism for structured parallel programs
- Detecting race conditions in parallel programs that use one semaphore
- Synchronization debugging of hybrid parallel programs
- Euro-Par 2004 Parallel Processing
- Goblint: path-sensitive data race analysis
- Efficient access history for race detection
- Race-condition detection in parallel computation with semaphores (extended abstract)
- Title not available (Why is that?)
This page was built for publication: Efficient detection of determinacy races in cilk programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1293918)
