A theory of data race detection, PADTAD '06, pp.69-78, 2006. ,
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. ,
Data race detection based on dependence analysis, Software Symposium 2017 (SS 2017). Software Engineers Association (SEA), 2017. ,
On efficient distributed deadlock avoidance for realtime and embedded systems, IPDPS, 2006. ,
The r-lrpd test: speculative parallelization of partially parallel loops, Proceedings 16th International Parallel and Distributed Processing Symposium, p.10, 2002. ,
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
Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones, Concurrency and Computation: Practice and Experience, vol.29, 2017. ,
Run-time parallelization and scheduling of loops, IEEE Transactions on Computers, vol.40, issue.5, pp.603-612, 1991. ,
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. ,
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. ,
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
Programming languages-C, cor, p.9899, 2011. ,
Modular C, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01169491
Fuss, futexes and furwocks: Fast userlevel locking in Linux, Ottawa Linux Symposium, 2002. ,