RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms.
Michael WangShashank SrikantMalavika SamakUna-May O'ReillyPublished in: SOAP@PLDI (2023)
Keyphrases
- computational cost
- theoretical analysis
- automatic detection
- recently developed
- learning algorithm
- computationally expensive
- data mining techniques
- worst case
- computational complexity
- objective function
- significant improvement
- multi objective
- data sets
- optimization problems
- data structure
- particle swarm optimization
- computationally efficient
- orders of magnitude
- false positives
- case study
- times faster
- genetic algorithm
- machine learning