R. Allen and K. Kennedy, Optimizing Compilers for Modern Architectures: A Dependencebased Approach, 2001.

C. Amza, A. L. Cox, S. Dwarkadas, P. J. Keleher, H. Lu et al., TreadMarks: shared memory computing on networks of workstations, Computer, vol.29, issue.2, pp.18-28, 1996.
DOI : 10.1109/2.485843

A. Aviram, S. Weng, S. Hu, and B. Ford, Efficient system-enforced deterministic parallelism, Communications of the ACM, vol.55, issue.5, 2010.
DOI : 10.1145/2160718.2160742
URL : http://arxiv.org/abs/1005.3450

T. Bergan, O. Anderson, J. Devietti, L. Ceze, and D. Grossman, a compiler and runtime system for deterministic multithreaded execution, pp.53-64, 2010.

E. D. Berger, T. Yang, T. Liu, and G. Novark, Grace: Safe multithreaded programming for C/C++, pp.81-96, 2009.

S. Burckhardt, A. Baldassin, and D. Leijen, Concurrent programming with revisions and isolation types, pp.691-707, 2010.
DOI : 10.1145/1932682.1869515

D. Callahan, K. Kennedy, and J. Subhlok, Analysis of event synchronization in a parallel programming tool, pp.21-30, 1990.

C. Ding, X. Shen, K. Kelsey, C. Tice, R. Huang et al., Software behavior oriented parallelization, pp.223-234, 2007.
DOI : 10.1145/1273442.1250760
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.5798

M. Feng, R. Gupta, and Y. Hu, SpiceC: scalable parallelism via implicit copying and explicit commit, pp.69-80, 2011.

D. P. Helmbold and C. E. Mcdowell, A taxonomy of race detection algorithms, 1994.

M. Herlihy, V. Luchangco, M. Moir, W. N. Scherer, and I. , Software transactional memory for dynamic-sized data structures, Proceedings of the twenty-second annual symposium on Principles of distributed computing , PODC '03, pp.92-101, 2003.
DOI : 10.1145/872035.872048
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.222.1147

B. Jacobs, T. Bai, and C. Ding, Distributive program parallelization using a suggestion language, 2009.

W. Ji, L. Lu, and M. L. Scott, Tardis: Task-level access race detection by intersecting sets, Workshop on Determinism and Correctness in Parallel Programming, 2013.

C. Ke, L. Liu, C. Zhang, T. Bai, B. Jacobs et al., Safe parallel programming using dynamic dependence hints, pp.243-258, 2011.
DOI : 10.1145/2048066.2048087

A. Kejariwal, X. Tian, W. Li, M. Girkar, S. Kozhukhov et al., On the performance potential of different types of speculative thread-level parallelism, Proceedings of the 20th annual international conference on Supercomputing , ICS '06, 2006.
DOI : 10.1145/1183401.1183407

J. M. Mellor-crummey, On-the-fly detection of data races for programs with nested forkjoin parallelism, SC. pp, pp.24-33, 1991.

R. H. Netzer and S. Ghosh, Efficient race condition detection for shared-memory programs with post/wait synchronization, ICPP. pp, pp.242-246, 1992.

A. Raman, H. Kim, T. R. Mason, T. B. Jablin, and D. I. , Speculative parallelization using software multi-threaded transactions, ASPLOS. pp, pp.65-76, 2010.
DOI : 10.1145/1736020.1736030
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.9206

R. Raman, J. Zhao, V. Sarkar, M. T. Vechev, and E. Yahav, Scalable and precise dynamic datarace detection for structured parallelism, PLDI, pp.531-542, 2012.
DOI : 10.1145/2254064.2254127

L. Rauchwerger and D. Padua, The LRPD test: Speculative run-time parallelization of loops with privatization and reduction parallelization, PLDI, 1995.

M. C. Rinard and M. S. Lam, The design, implementation, and evaluation of Jade, ACM Transactions on Programming Languages and Systems, vol.20, issue.3, pp.483-545, 1998.
DOI : 10.1145/291889.291893

M. L. Scott and L. Lu, Toward a formal semantic framework for deterministic parallel programming, the Second Workshop on Determinism and Correctness in Parallel Programming, 2011.

C. Tian, M. Feng, and R. Gupta, Supporting speculative parallelization in the presence of dynamic data structures, PLDI. pp, pp.62-73, 2010.

C. Von-praun, L. Ceze, and C. Cascaval, Implicit parallelism with ordered transactions, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '07, pp.79-89, 2007.
DOI : 10.1145/1229428.1229443

A. Zhai, J. G. Steffan, C. B. Colohan, and T. C. Mowry, Compiler and hardware support for reducing the synchronization of speculative threads, ACM Transactions on Architecture and Code Optimization, vol.5, issue.1, pp.1-33, 2008.
DOI : 10.1145/1369396.1369399