{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:26:27Z","timestamp":1756311987553,"version":"3.37.3"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2020,8,1]]},"DOI":"10.1109\/tpds.2020.2980265","type":"journal-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T19:56:22Z","timestamp":1584129382000},"page":"1912-1924","source":"Crossref","is-referenced-by-count":3,"title":["T-BASIR: Finding Shutdown Bugs for Cloud-Based Applications in Cloud Spot Markets"],"prefix":"10.1109","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6794-3677","authenticated-orcid":false,"given":"Abdullah","family":"Alourani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2451-7306","authenticated-orcid":false,"given":"Ajay D.","family":"Kshemkalyani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8364-595X","authenticated-orcid":false,"given":"Mark","family":"Grechanik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Data loss on XFS file system","year":"2020","author":"lebedev","key":"ref39"},{"article-title":"Data loss on atom editor","year":"2020","author":"musubi","key":"ref38"},{"key":"ref33","first-page":"161","article-title":"From uncertainty to belief: Inferring the specification within","author":"kremenek","year":"2006","journal-title":"Proc of the 7th Symp on Operating systems design and implementation"},{"year":"2020","key":"ref32","article-title":"Findbugs documents and publications"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.66"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081755"},{"year":"2020","key":"ref37","article-title":"Ex file system corruption"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2004.38"},{"key":"ref35","article-title":"Spot characterization: What are the right features to model","author":"liang","year":"2016","journal-title":"Proc Int Workshop Syst Analytics Characterization"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2372251.2372285"},{"year":"2020","key":"ref10"},{"article-title":"Data corruption on docker container","year":"2020","author":"patry","key":"ref40"},{"year":"2020","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2019.00050"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2012.6195567"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126953"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2012.106"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2806777.2806851"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2904111.2904114"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2012.59"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/UCC.2011.37"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070510"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2014.2382099"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.72"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741953"},{"article-title":"Move the InnoDB doublewrite buffer to flat files","year":"2020","author":"m\u00e4kel\u00e4","key":"ref6"},{"year":"2020","key":"ref29","article-title":"An extensible cross-language static code analyzer"},{"article-title":"Fix hanging shutdown: Waiting for active calls to complete","year":"2020","author":"burleson","key":"ref5"},{"key":"ref8","first-page":"33","article-title":"Finding crash-consistency bugs with bounded black-box crash testing","author":"mohan","year":"2018","journal-title":"Proc 12th USENIX Symp Operating Syst Des Implementation"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3267809.3267821"},{"year":"2020","key":"ref2","article-title":"Amazon EC2 spot instances"},{"article-title":"The Linux kernel documentation","year":"2020","author":"keniston","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99241-9_7"},{"article-title":"Libunwind documentation","year":"2020","author":"watson","key":"ref46"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064182"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.37"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3127479.3132017"},{"key":"ref47","first-page":"479","article-title":"Fuss, futexes and furwocks: Fast userlevel locking in Linux","author":"franke","year":"2002","journal-title":"Proc AUUG2K Conf"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2010.35"},{"article-title":"Database corruption on docker","year":"2020","author":"fay","key":"ref42"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3164538"},{"article-title":"SQLite file corruption","year":"2020","author":"duddridge","key":"ref41"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2012.134"},{"article-title":"File system corruption after power outage or system crash","year":"2020","author":"frampton","key":"ref44"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/586094.586097"},{"year":"2020","key":"ref43","article-title":"LevelDB database corruption"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3078505.3078511"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/71\/9036996\/09035645.pdf?arnumber=9035645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:40:37Z","timestamp":1651070437000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9035645\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,1]]},"references-count":47,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2020.2980265","relation":{},"ISSN":["1045-9219","1558-2183","2161-9883"],"issn-type":[{"type":"print","value":"1045-9219"},{"type":"electronic","value":"1558-2183"},{"type":"electronic","value":"2161-9883"}],"subject":[],"published":{"date-parts":[[2020,8,1]]}}}