{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:48:45Z","timestamp":1747892925374,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/dsn.2012.6263953","type":"proceedings-article","created":{"date-parts":[[2012,8,16]],"date-time":"2012-08-16T16:04:08Z","timestamp":1345133048000},"page":"1-12","source":"Crossref","is-referenced-by-count":7,"title":["Lightweight cooperative logging for fault replication in concurrent programs"],"prefix":"10.1109","author":[{"given":"Nuno","family":"Machado","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Romano","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Rodrigues","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/781147.781148"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2007.4336225"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065013"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213511"},{"key":"15","first-page":"123","article-title":"Delorean: Recording and deterministically replaying shared-memory multiprocessor execution efficiently","volume":"2008","author":"montesinos","year":"0","journal-title":"IEEE ISCA"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508254"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.16"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"12","first-page":"29","article-title":"Flashback: A lightweight extension for rollback and deterministic replay for software debugging","author":"srinivasan","year":"2004","journal-title":"USENIX Annual Technical Conference"},{"key":"21","first-page":"221","article-title":"A study of the internal and external effects of concurrency bugs","author":"fonseca","year":"2010","journal-title":"IEEE DSN"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.22"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869481"},{"key":"2","first-page":"669","article-title":"Realising the benefits of formal methods","volume":"13","author":"hall","year":"2007","journal-title":"Journal of Universal Computer Science"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181314"},{"key":"10","first-page":"20","article-title":"Hardware and software approaches for deterministic multiprocessor replay of concurrent programs","volume":"13","author":"pokam","year":"2009","journal-title":"Intel Technology Journal"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/281035.281041"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1002\/spe.579"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346273"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882323"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"}],"event":{"name":"2012 42nd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)","start":{"date-parts":[[2012,6,25]]},"location":"Boston, MA, USA","end":{"date-parts":[[2012,6,28]]}},"container-title":["IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6253623\/6263904\/06263953.pdf?arnumber=6263953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:53:22Z","timestamp":1490115202000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6263953\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/dsn.2012.6263953","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}