@inproceedings(cai:conlock,
 author       = {Yan Cai and Shangru Wu and W. K. Chan},
 year         = {2014},
 title        = {{ConLock}: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs},
 booktitle    = {ICSE'14},
 publisher    = {ACM},
 pages        = {491--502},
 doi          = {10.1145/2568225.2568312},
)
@inproceedings(charles.etal:x10,
 author       = {Philippe Charles and Christian Grothoff and Vijay Saraswat and Christopher Donawa and Allan Kielstra and Kemal Ebcioglu and Christoph von Praun and Vivek Sarkar},
 year         = {2005},
 title        = {{X10}: an object-oriented approach to non-uniform cluster computing},
 booktitle    = {OOPSLA'05},
 publisher    = {ACM},
 pages        = {519--538},
 doi          = {10.1145/1103845.1094852},
)
@misc(hj-coq,
 author       = {Tiago Cogumbreiro},
 year         = {2016},
 title        = {{Habanero} {Coq} formalization project},
 url          = {https://github.com/cogumbreiro/habanero-coq/tree/places16},
)
@inproceedings(cogumbreiro:armus,
 author       = {Tiago Cogumbreiro and Raymond Hu and Francisco Martins and Nobuko Yoshida},
 year         = {2015},
 title        = {Dynamic Deadlock Verification for General Barrier Synchronisation},
 booktitle    = {PPoPP'15},
 publisher    = {ACM},
 pages        = {150--160},
 doi          = {10.1145/2688500.2688519},
)
@incollection(crafa:semantics-res-x10,
 author       = {Silvia Crafa and David Cunningham and Vijay Saraswat and Avraham Shinnar and Olivier Tardieu},
 year         = {2014},
 title        = {Semantics of (Resilient) X10},
 editor       = {Richard Jones},
 booktitle    = {ECOOP'14},
 series       = {LNCS},
 volume       = {8586},
 publisher    = {Springer},
 pages        = {670--696},
 doi          = {10.1007/978-3-662-44202-9\_27},
)
@inproceedings(duesterwald:conc-analysis,
 author       = {Evelyn Duesterwald and Mary Lou Soffa},
 year         = {1991},
 title        = {Concurrency Analysis in the Presence of Procedures Using a Data-flow Framework},
 booktitle    = {TAV'91},
 publisher    = {ACM},
 pages        = {36--48},
 doi          = {10.1145/120807.120811},
)
@inproceedings(elmas:goldilocks,
 author       = {Tayfun Elmas and Shaz Qadeer and Serdar Tasiran},
 year         = {2006},
 title        = {Goldilocks: Efficiently Computing the Happens-before Relation Using Locksets},
 booktitle    = {FATES'06/RV'06},
 publisher    = {Springer},
 pages        = {193--208},
 doi          = {10.1007/11940197\_13},
)
@inproceedings(joshi:mhp-dyn-barriers,
 author       = {Saurabh Joshi and Rudrapatna K. Shyamasundar and Sanjeev K. Aggarwal},
 year         = {2012},
 title        = {A New Method of {MHP} Analysis for Languages with Dynamic Barriers},
 booktitle    = {IPDPSW'12},
 publisher    = {IEEE},
 pages        = {519--528},
 doi          = {10.1109/IPDPSW.2012.70},
)
@article(lamport:time-clocks,
 author       = {Leslie Lamport},
 year         = {1978},
 title        = {Time, Clocks, and the Ordering of Events in a Distributed System},
 journal      = {Communications of the ACM},
 volume       = {21},
 number       = {7},
 pages        = {558--565},
 doi          = {10.1145/359545.359563},
)
@inproceedings(maiya:android-race,
 author       = {Pallavi Maiya and Aditya Kanade and Rupak Majumdar},
 year         = {2014},
 title        = {Race Detection for Android Applications},
 booktitle    = {PLDI '14},
 publisher    = {ACM},
 pages        = {316--325},
 doi          = {10.1145/2594291.2594311},
)
@article(schwarz:detecting-causal-rel,
 author       = {Reinhard Schwarz and Friedemann Mattern},
 year         = {1994},
 title        = {Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail},
 journal      = {Distributed Computing},
 volume       = {7},
 number       = {3},
 pages        = {149--174},
 doi          = {10.1007/BF02277859},
)
@inproceedings(sharma:prod-cons-gpu,
 author       = {Rahul Sharma and Michael Bauer and Alex Aiken},
 year         = {2015},
 title        = {Verification of Producer-consumer Synchronization in GPU Programs},
 booktitle    = {PLDI'15},
 publisher    = {ACM},
 pages        = {88--98},
 doi          = {10.1145/2737924.2737962},
)
@inproceedings(shirako.peixotto.etal:phasers,
 author       = {Jun Shirako and David M. Peixotto and Vivek Sarkar and William N. Scherer},
 year         = {2008},
 title        = {Phasers: a unified deadlock-free construct for collective and point-to-point synchronization},
 booktitle    = {ICS'08},
 publisher    = {ACM},
 pages        = {277--288},
 doi          = {10.1145/1375527.1375568},
)
@inproceedings(smaragdakis:race-detection-poly,
 author       = {Yannis Smaragdakis and Jacob Evans and Caitlin Sadowski and Jaeheon Yi and Cormac Flanagan},
 year         = {2012},
 title        = {Sound Predictive Race Detection in Polynomial Time},
 booktitle    = {POPL'12},
 publisher    = {ACM},
 pages        = {387--400},
 doi          = {10.1145/2103656.2103702},
)
@article(tomofumi:clock-race-freedom,
 author       = {Tomofumi Yuki and Paul Feautrier and Sanjay V. Rajopadhye and Vijay Saraswat},
 year         = {2013},
 title        = {Checking Race Freedom of Clocked {X10} Programs},
 journal      = {CoRR},
 volume       = {abs/1311.4305},
 url          = {http://arxiv.org/abs/1311.4305},
)