L. Ryzhyk, P. Chubb, I. Kuz, and G. Heiser, Dingo: taming device drivers, Proceedings of the 4th European Conference on Computer Systems, pp.275-288, 2009.

L. Tan, C. Liu, Z. Li, X. Wang, Y. Zhou et al., Bug characteristics in open source software, Empirical Software Engineering, vol.19, issue.6, pp.1665-1705, 2014.
DOI : 10.1007/s10664-013-9258-8

S. Lu, S. Park, E. Seo, and Y. Zhou, Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp.329-339, 2008.

, Data race

Y. Cai, J. Zhang, L. Cao, and J. Liu, A deployable sampling strategy for data race detection, Proceedings of the 2016 International Symposium on Foundations of Software Engineering (FSE), pp.810-821, 2016.

P. Fonseca, C. Li, and R. Rodrigues, Finding complex concurrency bugs in large multi-threaded applications, Proceedings of the 6th European Conference on Computer Systems (EuroSys), pp.215-228, 2011.

M. D. Bond, K. E. Coons, and K. S. Mckinley, PACER: proportional detection of data races, Proceedings of the 31st International Conference on Programming Language Design and Implementation (PLDI), pp.255-268, 2010.

S. Lu, S. Park, and Y. Zhou, Detecting concurrency bugs from the perspectives of synchronization intentions, IEEE Transactions on Parallel and Distributed Systems, issue.6, pp.1060-1072, 2011.

M. Naik, A. Aiken, and J. Whaley, Effective static race detection for Java, Proceedings of the 27th International Conference on Programming Language Design and Implementation (PLDI, pp.308-319, 2006.

S. Lu, S. Park, and Y. Zhou, Finding atomicity-violation bugs through unserializable interleaving testing, IEEE Transactions on Software Engineering, issue.4, pp.844-860, 2012.

C. Von-praun and T. R. Gross, Object race detection, Proceedings of the 16th International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp.70-82, 2001.

C. Flanagan and S. N. Freund, FastTrack: efficient and precise dynamic race detection, Proceedings of the 30th International Conference on Programming Language Design and Implementation, pp.121-133, 2009.

X. Xie, J. Xue, and J. Zhang, Acculock: accurate and efficient detection of data races, Software: Practice and Experience (SPE), vol.43, pp.543-576, 2013.

D. Marino, M. Musuvathi, and S. Narayanasamy, LiteRace: effective sampling for lightweight data-race detection, Proceedings of the 30th International Conference on Programming Language Design and Implementation, pp.134-143, 2009.

D. Engler and K. Ashcraft, RacerX: effective, static detection of race conditions and deadlocks, Proceedings of the 19th International Symposium on Operating Systems Principles (SOSP), pp.237-252, 2003.

V. Kahlon, Y. Yang, S. Sankaranarayanan, and A. Gupta, Fast and accurate static data-race detection for concurrent programs, Proceedings of the 19th International Conference on Computer Aided Verification (CAV), pp.226-239, 2007.

V. Vojdani, K. Apinis, V. Rõtov, H. Seidl, V. Vene et al., Static race detection for device drivers: the Goblint approach, Proceedings of the 31st International Conference on Automated Software Engineering (ASE), pp.391-402, 2016.

V. Kahlon, N. Sinha, E. Kruus, and Y. Zhang, Static data race detection for concurrent programs with asynchronous calls, Proceedings of the 2009 International Symposium on Foundations of Software Engineering, pp.13-22, 2009.

T. Witkowski, N. Blanc, D. Kroening, and G. Weissenbacher, Model checking concurrent Linux device drivers, Proceedings of the 22nd International Conference on Automated Software Engineering (ASE), pp.501-504, 2007.

J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk, Effective data-race detection for the kernel, Proceedings of the 9th International Conference on Operating Systems Design and Implementation (OSDI), pp.151-162, 2010.

Y. Jiang, Y. Yang, T. Xiao, T. Sheng, and W. Chen, DRDDR: a lightweight method to detect data races in Linux kernel, The Journal of Supercomputing, vol.72, issue.4, pp.1645-1659, 2016.

S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, Eraser: a dynamic data race detector for multithreaded programs, ACM Transactions on Computer Systems (TOCS), vol.15, issue.4, pp.391-411, 1997.

, KernelStrider: detecting data races in Linux kernel modules by collecting runtime information

, LLVM compiler infrastructure

, Patchwork project for the Linux kernel

A. Kadav and M. M. Swift, Understanding modern device drivers, Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp.87-98, 2012.
DOI : 10.1145/2150976.2150987
URL : http://www.cs.wisc.edu/%7Eswift/papers/asplos12_drivers.pdf

, Clang compiler

A. Adya, J. Howell, M. Theimer, W. J. Bolosky, and J. R. Douceur, Cooperative task management without manual stack management, Proceedings of the 2002 USENIX Annual Technical Conference, pp.289-302, 2002.

J. Corbet, Atomic context and kernel api design, 2008.

J. Bai, Y. Wang, J. Lawall, and S. Hu, DSAC: effective static analysis of sleep-in-atomic-context bugs in kernel modules, Proceedings of the 2018 USENIX Annual Technical Conference, pp.587-600, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01853268

, Netperf benchmark

P. Sack, B. E. Bliss, Z. Ma, P. Petersen, and J. Torrellas, Accurate and efficient filtering for the Intel thread checker race detector, Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, pp.34-41, 2006.
DOI : 10.1145/1181309.1181315

C. Flanagan and S. N. Freund, Type-based race detection for Java, Proceedings of the 21st International Conference on Programming Language Design and Implementation (PLDI, pp.219-232, 2000.
DOI : 10.1145/358438.349328
URL : http://www.cs.williams.edu/~freund/papers/rccjava-pldi.pdf

A. Sasturkar, R. Agarwal, L. Wang, and S. D. Stoller, Automated type-based analysis of data races and atomicity, Proceedings of the 10th International Symposium on Principles and Practice of Parallel programming (PPoPP), pp.83-94, 2005.
DOI : 10.1145/1065944.1065956

C. Flanagan and S. N. Freund, Detecting race conditions in large programs, Proceedings of the 2001 International Workshop on Program Analysis for Software Tools and Engineering, pp.90-96, 2001.
DOI : 10.1145/379605.379687
URL : http://www.soe.ucsc.edu/~cormac/papers/paste01.pdf

P. Pratikakis, J. S. Foster, and M. Hicks, LOCKSMITH: contextsensitive correlation analysis for race detection, Proceedings of the 27th International Conference on Programming Language Design and Implementation (PLDI), pp.320-331, 2006.

S. , Tuning static data race analysis for automotive control software, Proceedings of the 11th International Working Conference on Source Code Analysis and Manipulation (SCAM), pp.45-54, 2011.

V. V. Rubanov and E. A. Shatokhin, Runtime verification of Linux kernel modules based on call interception, Proceedings of the 4th International Conference on Software Testing, Verification and Validation, pp.180-189, 2011.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.

M. Arnold and B. G. Ryder, A framework for reducing the cost of instrumented code, Proceedings of the 22nd International Conference on Programming Language Design and Implementation (PLDI), pp.168-179, 2001.

E. Pozniansky and A. Schuster, Efficient on-the-fly data race detection in multithreaded C++ programs, Proceedings of the 9th International Symposium on Principles and Practice of Parallel Programming (PPoPP), pp.179-190, 2003.

Y. Smaragdakis, J. Evans, C. Sadowski, J. Yi, and C. Flanagan, Sound predictive race detection in polynomial time, Proceedings of the 39th International Symposium on Principles of Programming Languages, pp.387-400, 2012.
DOI : 10.1145/2103656.2103702
URL : http://jaeheon.info/papers/POPL12.pdf

A. K. Rajagopalan and J. Huang, RDIT: race detection from incomplete traces, Proceedings of the 2015 International Symposium on Foundations of Software Engineering (FSE), pp.914-917, 2015.
DOI : 10.1145/2786805.2803209

M. Prvulovic and J. Torrellas, ReEnact: using thread-level speculation mechanisms to debug data races in multithreaded codes, Proceedings of the 30th International Symposium on Computer Architecture (ISCA), pp.110-121, 2003.

T. Elmas, S. Qadeer, and S. Tasiran, Goldilocks: a race and transactionaware java runtime, Proceedings of the 28th International Conference on Programming Language Design and Implementation (PLDI), pp.245-255, 2007.

O. Shacham, M. Sagiv, and A. Schuster, Scaling model checking of dataraces using dynamic information, Proceedings of the 10th International Symposium on Principles and Practice of Parallel Programming (PPoPP), pp.107-118, 2005.

C. Park, K. Sen, P. Hargrove, and C. Iancu, Efficient data race detection for distributed memory parallel programs, Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis (SC), vol.51, p.12, 2011.

M. Said, C. Wang, Z. Yang, and K. Sakallah, Generating data race witnesses by an SMT-based analysis, Proceedings of the 3rd International Symposium on NASA Formal methods (NFM), pp.313-327, 2011.

P. Deligiannis, A. F. Donaldson, and Z. Rakamaric, Fast and precise symbolic analysis of concurrency bugs in device drivers, Proceedings of the 30th International Conference on Automated Software Engineering (ASE), pp.166-177, 2015.

J. W. Voung, R. Jhala, and S. Lerner, RELAY: static race detection on millions of lines of code, Proceedings of the 2007 International Symposium on Foundations of Software Engineering (FSE), pp.205-214, 2007.