1. May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
2. FlowDroid
3. Data Races and Static Analysis for Interrupt-Driven Kernels
4. Dataflow Analysis for Datarace-Free Programs
5. Dawson R. Engler and Ken Ashcraft. 2003. RacerX: effective, static detection of race conditions and deadlocks . In Proc. 19th ACM Symposium on Operating Systems Principles (SOSP 2003 ). ACM, Bolton Landing, NY, USA. 237–252. Dawson R. Engler and Ken Ashcraft. 2003. RacerX: effective, static detection of race conditions and deadlocks. In Proc. 19th ACM Symposium on Operating Systems Principles (SOSP 2003). ACM, Bolton Landing, NY, USA. 237–252.