{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:49:31Z","timestamp":1730198971252,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115688","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T17:03:57Z","timestamp":1511456637000},"page":"776-781","source":"Crossref","is-referenced-by-count":4,"title":["Quick verification of concurrent programs by iteratively relaxed scheduling"],"prefix":"10.1109","author":[{"given":"Patrick","family":"Metzler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Habib","family":"Saissi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Bokor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neeraj","family":"Suri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The Llvm Compiler Infrastructure","year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043588"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679412"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736029"},{"key":"ref15","article-title":"Efficient system-enforced deterministic parallelism","author":"aviram","year":"2010","journal-title":"Symposium on Operating Systems Design and Implementation (OSDI)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985839"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_12"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/782814.782854"},{"key":"ref4","article-title":"Dynamic partial-order reduction for model checking software","author":"flanagan","year":"2005","journal-title":"Symposium on Principles of Programming Languages (POPL)"},{"key":"ref3","volume":"1032","author":"godefroid","year":"1996","journal-title":"Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem ser LNCS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535845"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522735"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043587"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050035"},{"key":"ref1","article-title":"The state explosion problem","volume":"1491","author":"valmari","year":"1996","journal-title":"Lectures on Petri Nets I Basic Models Advances in Petri Nets"},{"key":"ref9","article-title":"Trace theory","author":"mazurkiewicz","year":"1986","journal-title":"Advances in Petri Nets"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2017,10,30]]},"location":"Urbana, IL","end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115688.pdf?arnumber=8115688","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,11]],"date-time":"2018-01-11T18:56:52Z","timestamp":1515697012000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115688\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115688","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}