U. Banerjee, B. Bliss, Z. Ma, and P. Petersen, A theory of data race detection, PADTAD '06, pp.69-78, 2006.

M. Matsubara, Model checking with program slicing based on variable dependence graph, First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012, p.88, 2012.

G. Wang and M. Matsubara, Data race detection based on dependence analysis, Software Symposium 2017 (SS 2017). Software Engineers Association (SEA), 2017.

C. Sánchez, On efficient distributed deadlock avoidance for realtime and embedded systems, IPDPS, 2006.

F. Dang, H. Yu, and L. Rauchwerger, The r-lrpd test: speculative parallelization of partially parallel loops, Proceedings 16th International Parallel and Distributed Processing Symposium, p.10, 2002.

C. Bastoul, Code generation in the polyhedral model is easier than you think, PACT '04, pp.7-16, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00017260

J. M. Martinez-caamaño, Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones, Concurrency and Computation: Practice and Experience, vol.29, 2017.

J. H. Saltz, R. Mirchandaney, and K. Crowley, Run-time parallelization and scheduling of loops, IEEE Transactions on Computers, vol.40, issue.5, pp.603-612, 1991.

A. Venkat, M. S. Mohammadi, J. Park, H. Rong, R. Barik et al., Automating wavefront parallelization for sparse matrix computations, Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, ser. SC '16, vol.41, p.12, 2016.

D. I. August, J. Huang, S. R. Beard, N. P. Johnson, and T. B. Jablin, Automatically exploiting cross-invocation parallelism using runtime information, Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), ser. CGO '13, pp.1-11, 2013.

P. Clauss and J. Gustedt, Iterative Computations with Ordered ReadWrite Locks, Journal of Parallel and Distributed Computing, vol.70, issue.5, pp.496-504, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00330024

J. and E. , Programming languages-C, cor, p.9899, 2011.

J. Gustedt, Modular C, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01169491

H. Franke, R. Russell, and M. Kirkwood, Fuss, futexes and furwocks: Fast userlevel locking in Linux, Ottawa Linux Symposium, 2002.