A list of awesome researchers and papers about data race detecton.
| Year | Conf. | Paper | Code |
|---|---|---|---|
| 2000 | PLDI | Type-based race detection for Java | |
| 2003 | SIGOPS | RacerX: Effective, static detection of race conditions and deadlocks | |
| 2006 | SIGPLAN Notice | LOCKSMITH: context-sensitive correlation analysis for race detection | link |
| 2006 | PLDI | Effective static race detection for Java | |
| 2007 | FSE | RELAY: static race detection on millions of lines of code | link |
| 2008 | SIGPLAN Notice | SharC: checking data sharing strategies for multithreaded C | |
| 2008 | SIGPLAN Notice | Dataflow analysis for concurrent programs using datarace detection | |
| 2009 | FSE | Static data race detection for concurrent programs with asynchronous call | |
| 2012 | PLDI | Chimera: Hybrid program analysis for determinism | |
| 2018 | OOPSLA | RacerD: compositional static race detection | link |
| 2019 | S&P | Razzer: Finding Kernel Race Bugs through Fuzzing | |
| 2023 | S&P | Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis | |
| 2024 | USENIX Security | LR-Miner: Static Race Detection in OS Kernels by Mining Locking Rules |
| Year | Conf. | Paper | Code |
|---|---|---|---|
| 1997 | TOCS | Eraser: A Dynamic Data Race Detector for Multithreaded Programs | |
| 2007 | PLDI | Automatically Classifying Benign and Harmful Data Races Using Replay Analysis | |
| 2010 | OSDI | Effective Data-Race Detection for the Kernel | |
| 2019 | Eurosys | Lockdoc: Trace-based analysis of locking in the linux kernel |
| Year | Conf. | Paper | Code |
|---|---|---|---|
| 2013 | SOSP | RaceMob: Crowdsourced Data Race Detection |
| Year | Conf. | Paper | Code |
|---|---|---|---|
| 1995 | SIGPLAN Notice | Efficient contextsensitive pointer analysis for C programs | |
| 2000 | PLDI | Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation | |
| 2023 | USENIX Security | A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel | |
| 2024 | ASPLOS | Kaleidoscope: Precise Invariant-Guided Pointer Analysis |
This contains static analysis and symbolic execution etc. related websites.
This is an active repository and your contributions are always welcome! Do not hesitate to create pull requests.