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.
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.
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.
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.
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.
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.
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.
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.
Pallavi Maiya, Aditya Kanade & Rupak Majumdar (2014):
Race Detection for Android Applications.
In: PLDI '14.
ACM,
pp. 316–325,
doi:10.1145/2594291.2594311.
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.
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.
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.
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.
Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye & Vijay Saraswat (2013):
Checking Race Freedom of Clocked X10 Programs.
CoRR abs/1311.4305.
Available at http://arxiv.org/abs/1311.4305.