{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:43:29Z","timestamp":1725770609266},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.23919\/fmcad.2018.8602999","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":["Automatic Synchronization for GPU Kernels"],"prefix":"10.23919","author":[{"given":"Sourav","family":"Anand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nadia","family":"Polikarpova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706338"},{"key":"ref11","article-title":"Efficient synthesis for concurrency by semantics-preserving transformations","author":"cern\u00fd","year":"2013","journal-title":"CAV"},{"key":"ref12","article-title":"Regression-free synthesis for concurrency","author":"cerny","year":"2014","journal-title":"CAV"},{"key":"ref13","article-title":"From non-preemptive to preemptive scheduling using synchronization synthesis","author":"cern\u00fd","year":"2015","journal-title":"CAV"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677008"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_16"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926359"},{"year":"2018","key":"ref17","article-title":"TensorFlow documentation"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254110"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145844"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2743017"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.03.013"},{"key":"ref8","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"TACAS"},{"key":"ref7","article-title":"?z - an optimizing SMT solver","author":"bj\u00f8rner","year":"2015","journal-title":"TACAS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882320"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384625"},{"key":"ref9","article-title":"Design and synthesis of synchronization skeletons using branching-time temporal logic","author":"clarke","year":"1981","journal-title":"J Logic Program"}],"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\/08602999.pdf?arnumber=8602999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T22:00:20Z","timestamp":1643148020000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8602999\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2018.8602999","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}