{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:18Z","timestamp":1772164038864,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,1,24]],"date-time":"2015-01-24T00:00:00Z","timestamp":1422057600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000921","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","award":["1201"],"award-info":[{"award-number":["1201"]}],"id":[{"id":"10.13039\/501100000921","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K034413\/1,EP\/K011715\/1,EP\/L00058X\/1"],"award-info":[{"award-number":["EP\/K034413\/1,EP\/K011715\/1,EP\/L00058X\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["FP7-612985"],"award-info":[{"award-number":["FP7-612985"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,1,24]]},"DOI":"10.1145\/2688500.2688519","type":"proceedings-article","created":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T09:12:26Z","timestamp":1422436346000},"page":"150-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Dynamic deadlock verification for general barrier synchronisation"],"prefix":"10.1145","author":[{"given":"Tiago","family":"Cogumbreiro","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Raymond","family":"Hu","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Francisco","family":"Martins","sequence":"additional","affiliation":[{"name":"University of Lisbon, Portugal"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]}],"member":"320","published-online":{"date-parts":[[2015,1,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229428.1229471"},{"key":"e_1_3_2_1_2_1","first-page":"154","volume-title":"ICDCN\u201911","author":"Agarwal S."},{"key":"e_1_3_2_1_3_1","volume-title":"bitbucket.org\/cogumbreiro\/armus\/wiki\/ PPoPP15"},{"key":"e_1_3_2_1_4_1","first-page":"95","volume-title":"ACSC\u201913","author":"Atkins D."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11602569_48"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-998-1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093157.2093165"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","first-page":"44","volume-title":"COORDINATION\u201913","author":"Cogumbreiro T."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555248"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/838237.838618"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297033"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.81"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542275.1542319"},{"key":"e_1_3_2_1_15_1","first-page":"11","volume-title":"SC\u201912","author":"Hilbrich T."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/356603.356607"},{"key":"e_1_3_2_1_17_1","unstructured":"Java 7 Phaser API. docs.oracle.com\/javase\/7\/docs\/api\/ java\/util\/concurrent\/Phaser.html.  Java 7 Phaser API. docs.oracle.com\/javase\/7\/docs\/api\/ java\/util\/concurrent\/Phaser.html."},{"key":"e_1_3_2_1_18_1","unstructured":"JGraphT homepage. jgrapht.org.  JGraphT homepage. jgrapht.org."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/356586.356588"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/45075.46163"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPDP.1990.143519"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_23_1","series-title":"LNCS","first-page":"248","volume-title":"ICFEM\u201913","author":"Le D.-K."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693459"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640106"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1188455.1188677"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC.2010.30"},{"key":"e_1_3_2_1_28_1","unstructured":"Message Passing Interface (MPI) homepage. mpi-forum.org.  Message Passing Interface (MPI) homepage. mpi-forum.org."},{"key":"e_1_3_2_1_29_1","first-page":"46","volume-title":"ICPP\u201990","author":"O\u2019Keefe M. T."},{"key":"e_1_3_2_1_30_1","unstructured":"OpenMP homepage. openmp.org.  OpenMP homepage. openmp.org."},{"key":"e_1_3_2_1_31_1","unstructured":"Redis homepage. redis.io.  Redis homepage. redis.io."},{"key":"e_1_3_2_1_32_1","first-page":"15","volume-title":"PGAS\u201913","author":"Roy I."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_28"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375527.1375568"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161071"},{"key":"e_1_3_2_1_36_1","volume-title":"Phaser beams: Integrating stream parallelism with task parallelism. Presented at the X10\u201911","author":"Shirako J.","year":"2011"},{"key":"e_1_3_2_1_37_1","first-page":"12","volume-title":"IPDPS\u201910","author":"Shirako J."},{"key":"e_1_3_2_1_38_1","series-title":"LNCS","first-page":"137","volume-title":"IWOMP\u201911","author":"Shirako J."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/582034.582042"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232645"},{"key":"e_1_3_2_1_42_1","unstructured":"UPC homepage. upc-lang.org.  UPC homepage. upc-lang.org."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00722-4_5"},{"key":"e_1_3_2_1_45_1","unstructured":"X10 homepage. x10-lang.org.  X10 homepage. x10-lang.org."},{"key":"e_1_3_2_1_46_1","volume-title":"www.cs.columbia.edu\/~martha\/courses\/4130\/au13\/","year":"2013"}],"event":{"name":"PPoPP '15: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"San Francisco CA USA","acronym":"PPoPP '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2688500.2688519","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2688500.2688519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:55:45Z","timestamp":1750258545000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2688500.2688519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,24]]},"references-count":44,"alternative-id":["10.1145\/2688500.2688519","10.1145\/2688500"],"URL":"https:\/\/doi.org\/10.1145\/2688500.2688519","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2858788.2688519","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,1,24]]},"assertion":[{"value":"2015-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}