Pruning False Positives of Static Data-Race Detection via Thread Specialization
Authors:
- 1 January 2013
- book chapter
- Published by Springer Nature
- p. 77-90
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Sound and precise analysis of parallel programs through schedule specialization2012
- Chimera2012
- LOCKSMITHACM Transactions on Programming Languages and Systems, 2011
- Static data race detection for concurrent programs with asynchronous calls2009
- RELAY2007
- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations2003
- RacerX2003
- CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs2002
- Symbolic bounds analysis of pointers, array indices, and accessed memory regions2000
- Points-to analysis in almost linear time1996