1. Yan Cai, Shangru Wu & W. K. Chan (2014): ConLock: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs. In: ICSE'14. ACM, pp. 491–502, doi:10.1145/2568225.2568312.
  2. Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun & Vivek Sarkar (2005): X10: an object-oriented approach to non-uniform cluster computing. In: OOPSLA'05. ACM, pp. 519–538, doi:10.1145/1103845.1094852.
  3. Tiago Cogumbreiro (2016): Habanero Coq formalization project. Available at
  4. Tiago Cogumbreiro, Raymond Hu, Francisco Martins & Nobuko Yoshida (2015): Dynamic Deadlock Verification for General Barrier Synchronisation. In: PPoPP'15. ACM, pp. 150–160, doi:10.1145/2688500.2688519.
  5. Silvia Crafa, David Cunningham, Vijay Saraswat, Avraham Shinnar & Olivier Tardieu (2014): Semantics of (Resilient) X10. In: Richard Jones: ECOOP'14, LNCS 8586. Springer, pp. 670–696, doi:10.1007/978-3-662-44202-9_27.
  6. Evelyn Duesterwald & Mary Lou Soffa (1991): Concurrency Analysis in the Presence of Procedures Using a Data-flow Framework. In: TAV'91. ACM, pp. 36–48, doi:10.1145/120807.120811.
  7. Tayfun Elmas, Shaz Qadeer & Serdar Tasiran (2006): Goldilocks: Efficiently Computing the Happens-before Relation Using Locksets. In: FATES'06/RV'06. Springer, pp. 193–208, doi:10.1007/11940197_13.
  8. Saurabh Joshi, Rudrapatna K. Shyamasundar & Sanjeev K. Aggarwal (2012): A New Method of MHP Analysis for Languages with Dynamic Barriers. In: IPDPSW'12. IEEE, pp. 519–528, doi:10.1109/IPDPSW.2012.70.
  9. Leslie Lamport (1978): Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM 21(7), pp. 558–565, doi:10.1145/359545.359563.
  10. Pallavi Maiya, Aditya Kanade & Rupak Majumdar (2014): Race Detection for Android Applications. In: PLDI '14. ACM, pp. 316–325, doi:10.1145/2594291.2594311.
  11. Reinhard Schwarz & Friedemann Mattern (1994): Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail. Distributed Computing 7(3), pp. 149–174, doi:10.1007/BF02277859.
  12. Rahul Sharma, Michael Bauer & Alex Aiken (2015): Verification of Producer-consumer Synchronization in GPU Programs. In: PLDI'15. ACM, pp. 88–98, doi:10.1145/2737924.2737962.
  13. Jun Shirako, David M. Peixotto, Vivek Sarkar & William N. Scherer (2008): Phasers: a unified deadlock-free construct for collective and point-to-point synchronization. In: ICS'08. ACM, pp. 277–288, doi:10.1145/1375527.1375568.
  14. Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi & Cormac Flanagan (2012): Sound Predictive Race Detection in Polynomial Time. In: POPL'12. ACM, pp. 387–400, doi:10.1145/2103656.2103702.
  15. Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye & Vijay Saraswat (2013): Checking Race Freedom of Clocked X10 Programs. CoRR abs/1311.4305. Available at

Comments and questions to:
For website issues: