{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:24:48Z","timestamp":1725762288325},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/memcod.2016.7797754","type":"proceedings-article","created":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T21:54:22Z","timestamp":1483048462000},"page":"115-124","source":"Crossref","is-referenced-by-count":2,"title":["Accelerating schedule space exploration of multi-threaded programs with GPUs"],"prefix":"10.1109","author":[{"given":"Prakhar","family":"Banga","sequence":"first","affiliation":[]},{"given":"Atul","family":"Pai","sequence":"additional","affiliation":[]},{"given":"Subhajit","family":"Roy","sequence":"additional","affiliation":[]},{"given":"Mainak","family":"Chaudhuri","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"ref11","article-title":"Multicore acceleration of priority-based schedulers for concurrency bug detection","author":"santosh","year":"2012","journal-title":"PLDI"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642957"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2007.346181"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321679"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"journal-title":"Efficient Dynamic Verification of Concurrent Programs","year":"2009","author":"yang","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483764"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1454115.1454128"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926432"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"ref7","article-title":"Cal-fuzzer: An extensible active testing framework for concurrent programs","author":"pallavi","year":"2009","journal-title":"CAV"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2009.50"},{"journal-title":"CIL - Infrastructure for C Program Analysis and Transformation","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"}],"event":{"name":"2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2016,11,18]]},"location":"Kanpur, India","end":{"date-parts":[[2016,11,20]]}},"container-title":["2016 ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786794\/7797738\/07797754.pdf?arnumber=7797754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T01:53:26Z","timestamp":1506995606000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7797754\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/memcod.2016.7797754","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}