5 papers:
PLDI-2012-RamanZSVY #concurrent #detection #parallel #precise #scalability- Scalable and precise dynamic datarace detection for structured parallelism (RR, JZ, VS, MTV, EY), pp. 531–542.
ESOP-2011-DeDN #analysis #data flow #source code- Dataflow Analysis for Datarace-Free Programs (AD, DD, RN), pp. 196–215.
- PLDI-2008-ChughVJL #analysis #concurrent #data flow #detection #source code #using
- Dataflow analysis for concurrent programs using datarace detection (RC, JWV, RJ, SL), pp. 316–326.
PPoPP-2005-ShachamSS #information management #model checking #scalability #using- Scaling model checking of dataraces using dynamic information (OS, MS, AS), pp. 107–118.
- PLDI-2002-ChoiLLOSS #concurrent #detection #object-oriented #parallel #performance #precise #source code #thread
- Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (JDC, KL, AL, RO, VS, MS), pp. 258–269.
