G. Berry and G. Boudol, The chemical abstract machine, Theoretical Computer Science, vol.96, issue.1, pp.217-248, 1992.
DOI : 10.1016/0304-3975(92)90185-I
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, 2009.
DOI : 10.1007/978-3-642-03466-4_9

C. Boyapati, 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

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

M. D. and T. Jin, httperf: A Tool for Measuring Web Server Performance, First Workshop on Internet Server Performance, pp.59-67, 1998.

E. W. Dijkstra, The Mathematics Behind the Banker???s Algorithm, 1977.
DOI : 10.1007/978-1-4612-5695-3_54

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

B. Fulgham, The Computer Language Benchmarks Game aka Debian Shootout

P. Gerakios, N. Papaspyrou, and K. Sagonas, A type and effect system for deadlock avoidance in low-level languages, Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation, TLDI '11, pp.15-28, 2011.
DOI : 10.1145/1929553.1929558

N. Kobayashi, A New Type System for Deadlock-Free Processes, CONCUR 2006?Concurrency Theory, pp.233-247, 2006.
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, vol.17, issue.1, pp.15-34, 1976.
DOI : 10.1007/BF00265219

D. Lea, JSR-166

B. Mccloskey, F. Zhou, D. Gay, and E. Brewer, Autolocker, ACM SIGPLAN Notices, vol.41, issue.1, pp.346-358, 2006.
DOI : 10.1145/1111320.1111068

M. Serrano, E. Gallesio, and F. Loitsch, HOP, a Language for Programming the Web 2.0, Proceedings of the First Dynamic Languages Symposium, 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

K. Shiv, K. Chow, Y. Wang, and D. Petrochenko, SPECjvm2008 Performance Characterization, Computer Performance Evaluation and Benchmarking, pp.17-35, 2009.
DOI : 10.1007/978-3-540-93799-9_2

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

K. Suenaga, Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References, Programming Languages and Systems, pp.155-170, 2008.
DOI : 10.1007/978-3-540-71316-6_33