RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis（2023）
Key words
Dynamic race detection algorithms,Race injection,Dataset generation,SMT-solvers
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined