Dynamic Deadlock Verification for General Barrier Synchronisation
- Submitting institution
-
University of Hertfordshire
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 20209861
- Type
- D - Journal article
- DOI
-
10.1145/3229060
- Title of journal
- ACM Transactions on Programming Languages and Systems (TOPLAS)
- Article number
- 1
- First page
- 1
- Volume
- 41
- Issue
- 1
- ISSN
- 0164-0925
- Open access status
- Compliant
- Month of publication
- December
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper has 727 downloads since being publishing open access in Dec 2018
[1]. As of Dec 2020, it is the 5th most downloaded TOPLAS paper within the last 5 years (out of 88) [2], and the 2nd in the last 2 (out of 41) [3]. It is the culmination of initial directions presented at PPoPP'15 [4], where it was accepted one of 23/135 submissions (17%) [5]. Our techniques are applied in subsequent works [6,7], and by other researchers, e.g., for control reachability [8]. [1] https://dl.acm.org/doi/10.1145/3229060
[2] https://dl.acm.org/action/doSearch?SeriesKey=loplas&sortBy=downloaded&Ppub=%5B20151210+TO+20201210%5D&queryID=49%2F2092422658&startPage=0&pageSize=20
[3] https://dl.acm.org/action/doSearch?SeriesKey=loplas&sortBy=downloaded&pageSize=20&startPage=&Ppub=%5B20181210%20TO%2020201210%5D&queryID=49/2092422658
[4] https://dl.acm.org/doi/10.1145/2858788.2688519
[5] https://dl.acm.org/action/showFmPdf?doi=10.1145%2F2858788
[6] https://dl.acm.org/doi/10.1145/3143359
[7] https://dl.acm.org/doi/10.1145/3293883.3295724
[8] https://ieeexplore.ieee.org/document/8102243
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -