{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T03:03:05Z","timestamp":1730343785771,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.23919\/fmcad.2018.8603020","type":"proceedings-article","created":{"date-parts":[[2019,1,9]],"date-time":"2019-01-09T01:33:52Z","timestamp":1546997632000},"page":"1-9","source":"Crossref","is-referenced-by-count":5,"title":["Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms"],"prefix":"10.23919","author":[{"given":"Thomas","family":"Pani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Weissenbacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Zuleger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"342","volume":"1703","author":"mcmillan","year":"1999","journal-title":"CHARME"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9400-6"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30232-2_7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(1:20)2015"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_23"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0111-7"},{"key":"ref14","first-page":"16","article-title":"Proving that non-blocking algorithms don’t block","author":"gotsman","year":"2009","journal-title":"POPL"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2676724.2693179"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542493"},{"key":"ref17","first-page":"321","article-title":"Specification and design of (parallel) programs","author":"jones","year":"1983","journal-title":"IFIP Congress"},{"key":"ref18","article-title":"Systems programming: Coping with parallelism","author":"treiber","year":"1986","journal-title":"IBM Almaden Research Center Tech Rep RJ 5118"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66706-5_9"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28717-6_1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2866575"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9389-x"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15769-1_8"},{"key":"ref6","first-page":"64","article-title":"Automated resource analysis with coq proof objects","author":"carbonneaux","year":"2017","journal-title":"CAV"},{"year":"0","key":"ref29","article-title":"Coachman"},{"key":"ref5","first-page":"275","article-title":"Resource analysis of complex programs with cost equations","volume":"8858","author":"flores-montoya","year":"2014","journal-title":"APLAS"},{"journal-title":"The Art of Multiprocessor Programming","year":"2008","author":"herlihy","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9402-4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9174-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/248052.248106"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806630"},{"key":"ref20","first-page":"262","article-title":"Thread-modular verification for shared-memory programs","volume":"2305","author":"flanagan","year":"2002","journal-title":"ESOP"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250765"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211617"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11319-2_25"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_37"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73721-8_10"},{"key":"ref25","first-page":"398","article-title":"Static analysis of run-time errors in embedded critical parallel C programs","volume":"6602","author":"min\u00e9","year":"2011","journal-title":"ESOP"}],"event":{"name":"2018 Formal Methods in Computer Aided Design (FMCAD)","start":{"date-parts":[[2018,10,30]]},"location":"Austin, TX","end":{"date-parts":[[2018,11,2]]}},"container-title":["2018 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8585253\/8602989\/08603020.pdf?arnumber=8603020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T01:16:33Z","timestamp":1643159793000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8603020\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":33,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2018.8603020","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}