H. Delebecque, Hands-on Experience for Teaching Computer Architecture using a hardware Toolkit, EAEEIE Conference, 2000.

W. Edsger and . Dijkstra, Solution of a problem in concurrent programming control, Communications of the ACM, vol.8, issue.9, p.569, 1965.

D. Engler and &. Ashcraft, RacerX: Effective, Static Detection of Race Conditions and Deadlocks, SOSP'03: Proceedings of the nineteenth ACM symposium on Operating systems principles. Pages 237-252, 2003.

J. Choi, A. Loginov, and &. V. Sarkar, Static data race analysis for multithread object-oriented programs, 2001.

S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and &. T. Anderson, Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs, ACM Transactions on Computer Systems, 1997.
DOI : 10.1145/265924.265927
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.175.3886

C. , V. Praun, and &. Gross, Object-Race Detection, Conference on Object-Oriented Programming, Systems, Languages and Applications, 2001.

M. Ronse and &. Bosschere, RecPlay: a fully integrated practical record/replay system, ACM Transactions on Computer Systems, vol.17, issue.2, pp.132-133, 1999.
DOI : 10.1145/312203.312214

J. D. Choi and &. H. Srinivasan, Deterministic replay of Java multithreaded applications, Proceedings of the SIGMETRICS symposium on Parallel and distributed tools , SPDT '98, pp.48-49, 1998.
DOI : 10.1145/281035.281041

C. Boyapati and &. M. Rinard, A parameterized type system for race-free java programs, ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, pp.56-69, 2001.

C. Boyapati, R. Lee, and &. M. Rinard, Ownership types for safe programming: preventing data races and deadlocks, Proceedings of the 17 th ACM SIGPLAN conference on Object-Oriented programming, Systems, Languages and Applications. Pages 211-230, 2002.
DOI : 10.1145/582419.582440

A. Sasturkar, R. Agarwal, L. Wang, and &. S. Stoller, Automated type-based analysis of data races and atomicity, Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '05, 2005.
DOI : 10.1145/1065944.1065956

V. Kahlon, Y. Yang, S. Sankaranarayanan, and A. Gupta, Fast and Accurate Static Data-Race Detection for Concurrent Programs, Computer Aided Verification 19th International Conference, 2007.
DOI : 10.1007/978-3-540-73368-3_26
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.9740

F. Dabrowski and D. Pichardie, A Certified Data Race Analysis for a Java-like Language, Conference on Theorem Proving in Higher Order Logics, 2009.
DOI : 10.1145/1146809.1146811
URL : https://hal.archives-ouvertes.fr/hal-00465547

A. Tanenbaum, Structured Computer Organization, 2005.

A. Bhatti, Visual tool for teaching synchronization problems in operating systems, ACM SIGCSE Bulletin, vol.32, issue.2, 2000.
DOI : 10.1145/355354.355371

H. Järvinen, M. Tiusanen, and A. Virtanen, Convit, a Tool for Learning Concurrent Programming, 2003.