Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing.
Guangpu LiShan LuMadanlal MusuvathiSuman NathRohan PadhyePublished in: SOSP (2019)
Keyphrases
- object detection
- detection method
- test cases
- highly scalable
- tens of thousands
- memory efficient
- web scale
- anomaly detection
- lightweight
- computationally efficient
- detection algorithm
- highly efficient
- security vulnerabilities
- database
- single pass
- detection accuracy
- false alarms
- automatic detection
- computationally expensive
- source code
- real world
- databases
- real time