.. En-hop and /. , 82 4.2.3 Synchronization lifting, Exceptions : synchronization lifting et généralisation 81 4.2.1 Verrouillage structuré et exceptions, p.86

. Agrawal, . Rakesh, M. J. Carey, . Mcvoy, and W. Larry, The Performance of Alternative Strategies for Dealing with Deadlocks in Database Management Systems, IEEE Transactions on Software Engineering, vol.13, issue.12, pp.1348-1363, 1987.
DOI : 10.1109/TSE.1987.233145

. Belik and . Ference, An efficient deadlock avoidance technique, Computers, p.882, 1990.
DOI : 10.1109/12.55690

G. Berry and G. Boudol, The chemical abstract machine, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL), pp.81-94, 1989.
URL : https://hal.archives-ouvertes.fr/inria-00075426

G. Boudol, A Deadlock-Free Semantics for Shared Memory Concurrency, Theoretical Aspects of Computing-ICTAC 2009, pp.140-154, 1007.
DOI : 10.1007/978-3-642-03466-4_9

. Boudol, . Gérard, . Luo, . Zhengqin, T. Rezk et al., Towards reasoning for web applications, Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications, APLWACA '10, pp.3-14, 2010.
DOI : 10.1145/1810139.1810141

. Boyapati, . Chandrasekhar, R. Lee, and M. Rinard, Ownership types for safe programming, ACM SIGPLAN Notices, vol.37, issue.11, pp.211-230, 2002.
DOI : 10.1145/583854.582440

B. Hansen and . Per, Operating system principles, 1973.

J. Choi, . Gupta, . Manish, M. J. Serrano, . Sreedhar et al., Stack allocation and synchronization optimizations for Java using escape analysis, ACM Transactions on Programming Languages and Systems, vol.25, issue.6, pp.876-910, 2003.
DOI : 10.1145/945885.945892

E. G. Coffman, M. Elphick, and A. Shoshani, System Deadlocks, ACM Computing Surveys, vol.3, issue.2, pp.67-78, 1971.
DOI : 10.1145/356586.356588

E. W. Dijkstra, Een algorithme ter voorkoming van de dodelijke omarming. URL http://www.cs.utexas, 1964.

E. W. Dijkstra, The Mathematics Behind the Banker???s Algorithm, Selected Writings on Computing: A Personal Perspective, pp.308-312, 1982.
DOI : 10.1007/978-1-4612-5695-3_54

L. Domaigné, Condvars: signal with mutex locked or not? URL http://www.domaigne.com/blog/computing/ condvars-signal-with-mutex-locked-or-not, 2010.

C. Flanagan and M. Abadi, Types for Safe Locking, Programming Languages and Systems, pp.91-1083, 1999.
DOI : 10.1007/3-540-49099-X_7

M. Flynn, Some Computer Organizations and Their Effectiveness, IEEE Transactions on Computers, pp.948-960, 1972.
DOI : 10.1109/TC.1972.5009071

P. Fonseca, . Li, . Cheng, . Singhal, . Vishal et al., A study of the internal and external effects of concurrency bugs, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), pp.221-230, 2010.
DOI : 10.1109/DSN.2010.5544315

J. Garrigue, Relaxing the Value Restriction, International Symposium on Functional and Logic Programming, 2004.
DOI : 10.1007/978-3-540-24754-8_15

P. Gerakios, N. Papaspyrou, and K. Sagonas, A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering, Electronic Proceedings in Theoretical Computer Science, pp.44-58, 2011.
DOI : 10.4204/EPTCS.69.4

J. Grande, . Boudol, . Gérard, and M. Serrano, Jthread, a deadlock-free mutex library, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP '15, pp.149-160, 2015.
DOI : 10.1145/2790449.2790523
URL : https://hal.archives-ouvertes.fr/hal-01246618

T. Harris, . Marlow, P. Simon, S. Herlihy, and M. , Composable memory transactions, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp.48-60, 2005.

C. A. Hoare and . Richard, Monitors: an operating system structuring concept, Communications of the ACM, vol.17, issue.10, pp.549-557, 1974.
DOI : 10.1145/355620.361161

. Jula, . Horatiu, . Tözün, . Pinar, and G. Candea, Communix: A framework for collaborative deadlock immunity, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), pp.181-188, 2011.
DOI : 10.1109/DSN.2011.5958217

. Jula, . Horatiu, D. M. Tralamazza, . Zamfir, . Cristian et al., Deadlock Immunity: Enabling Systems to Defend Against Deadlocks, 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp.295-308, 2008.

N. Kobayashi, A New Type System for Deadlock-Free Processes, pp.233-247, 1007.
DOI : 10.1007/11817949_16

L. Lamport, A new solution of Dijkstra's concurrent programming problem, Communications of the ACM, vol.17, issue.8, pp.453-455, 1974.
DOI : 10.1145/361082.361093

L. Lamport, The synchronization of independent processes, Acta Informatica, pp.15-34, 1976.
DOI : 10.1007/BF00265219

J. Larus and C. Kozyrakis, Transactional memory, Communications of the ACM, 2008.

T. Lindholm and F. Yellin, The Java Virtual Machine Specification, 1996.

T. Lindholm, . Yellin, . Frank, . Bracha, . Gilad et al., The Java virtual machine specification, 2014.

. Lu, . Shan, . Park, . Soyeon, . Seo et al., Learning from mistakes, ACM SIGPLAN Notices, vol.43, issue.3, pp.329-339, 2008.
DOI : 10.1145/1353536.1346323

B. Mccloskey, . Zhou, . Feng, . Gay, . David et al., Autolocker, ACM SIGPLAN Notices, vol.41, issue.1, pp.346-358, 2006.
DOI : 10.1145/1111320.1111068

D. Mosberger, J. , and T. , httperf---a tool for measuring web server performance, ACM SIGMETRICS Performance Evaluation Review, vol.26, issue.3, pp.31-37, 1998.
DOI : 10.1145/306225.306235

E. Ruf, Effective Synchronization Removal for Java, Proceedings of the ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI'00), pp.208-218, 2000.

M. Schindewolf, . Cohen, . Albert, . Karl, . Wolfgang et al., Towards transactional memory support for gcc, 1st GCC Research Opportunities Workshop. URL https, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00645337

M. Seltzer, . Chen, . Peter, and J. Ousterhout, Disk scheduling revisited, Proceedings of the Winter 1990 USENIX Technical Conference, pp.313-323, 1990.

M. Serrano, E. Gallesio, and F. Loitsch, Hop: a language for programming the web 2.0 URL https, Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.975-985, 2006.

M. Serrano and J. Grande, Locking fast, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, 2014.
DOI : 10.1145/2554850.2554858
URL : https://hal.archives-ouvertes.fr/hal-00912569

. Shiv, . Kumar, . Chow, . Kingsum, Y. Wang et al., SPECjvm2008 Performance Characterization, Computer Performance Evaluation and Benchmarking, pp.17-35978, 1007.
DOI : 10.1007/978-3-540-93799-9_2

A. Silberschatz, P. Galvin, and . Baer, Operating system concepts, 1994.

L. A. Smith, J. Bull, and . Mark, A Multithreaded Java Grande Benchmark Suite, Proceedings of the third workshop on Java for high performance computing. URL http, 2001.

. Song, . Xiang, . Chen, . Haibo, . Zang et al., Why software hangs and what can be done with it, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp.311-316, 2010.

K. Suenaga, Type-based deadlock-freedom verification for nonblock-structured lock primitives and mutable references, Programming Languages and Systems, pp.155-170, 2008.

K. Tai, Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs, 1994 International Conference on Parallel Processing (ICPP'94), pp.69-72, 1994.
DOI : 10.1109/ICPP.1994.84

M. Tofte and L. Birkedal, A region inference algorithm, ACM Transactions on Programming Languages and Systems, vol.20, issue.4, pp.724-767, 1998.
DOI : 10.1145/291891.291894

M. Tofte and J. Talpin, Region-Based Memory Management, Information and Computation, pp.109-176, 1997.
DOI : 10.1006/inco.1996.2613

V. T. Vasconcelos, F. Martins, . Cogumbreiro, . Tiago, and . Feb, Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language, Electronic Proceedings in Theoretical Computer Science, pp.95-109, 2010.
DOI : 10.4204/EPTCS.17.8

D. Vytiniotis, P. Jones, S. Schrijvers, and T. , Let should not be generalized, Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation, TLDI '10, pp.39-50, 2010.
DOI : 10.1145/1708016.1708023

Y. Wang, . Kelly, . Terence, . Kudlur, . Manjunath et al., Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs, 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp.281-294, 2008.

H. Wu, . Chin, . Wei-ngan, and J. Jaffar, An efficient distributed deadlock avoidance algorithm for the AND model, IEEE Transactions on Software Engineering, pp.18-29, 2002.

F. Zeng and R. P. Martin, Ghost locks: Deadlock prevention for Java, Mid-Atlantic Student Workshop on Programming Languages and Systems. URL http, 2004.