{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:10:48Z","timestamp":1725700248582},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.23919\/fmcad.2017.8102245","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T16:49:00Z","timestamp":1510246140000},"page":"84-91","source":"Crossref","is-referenced-by-count":6,"title":["Lasso detection using partial-state caching"],"prefix":"10.23919","author":[{"given":"Rashmi","family":"Mudduluru","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pantazis","family":"Deligiannis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ankush","family":"Desai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akash","family":"Lal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaz","family":"Qadeer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"109","article-title":"On the verification of temporal properties","author":"godefroid","year":"1993","journal-title":"Protocol Specification Testing and Verification X"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_18"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"ref12"},{"key":"ref13","article-title":"Life, death, and the critical transition: Finding liveness bugs in systems code","author":"killian","year":"2007","journal-title":"Networked Systems Design and Implementation"},{"key":"ref14","article-title":"Lasso detection using partial-state caching. Technical Report MSR-TR-2017-37","author":"mudduluru","year":"2017","journal-title":"Microsoft Research"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375625"},{"journal-title":"P Safe asynchronous event-driven programming","year":"0","key":"ref16"},{"journal-title":"P# Safe asynchronous event-driven NET programming","year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/383059.383071"},{"key":"ref19","first-page":"213","article-title":"Modist: Transparent model checking of unmodified distributed systems","author":"yang","year":"2009","journal-title":"Networked Systems Design and Implementation (NSDI)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737996"},{"key":"ref3","first-page":"233","article-title":"Memory efficient algorithms for the verification of temporal properties","author":"courcoubetis","year":"1990","journal-title":"Computer Aided Verification (CAV)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462184"},{"key":"ref5","first-page":"249","article-title":"Uncovering bugs in distributed storage systems during testing (not in production!)","author":"deligiannis","year":"2016","journal-title":"Proc of File and Storage Technologies (FAST)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786861"},{"key":"ref7","article-title":"Iterative cycle detection via delaying explorers","author":"desai","year":"2015","journal-title":"Technical Report"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28644-8_1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_29"}],"event":{"name":"2017 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2017,10,2]]},"location":"Vienna","end":{"date-parts":[[2017,10,6]]}},"container-title":["2017 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8093672\/8102222\/08102245.pdf?arnumber=8102245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,11]],"date-time":"2017-12-11T17:41:15Z","timestamp":1513014075000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8102245\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2017.8102245","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}