{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:41Z","timestamp":1750307141321,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,23]],"date-time":"2011-10-23T00:00:00Z","timestamp":1319328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,23]]},"DOI":"10.1145\/2039239.2039251","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T12:23:06Z","timestamp":1319545386000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["URDB"],"prefix":"10.1145","author":[{"given":"Ana-Maria","family":"Visan","sequence":"first","affiliation":[{"name":"Northeastern University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kapil","family":"Arya","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gene","family":"Cooperman","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tyler","family":"Denniston","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"DMTCP: Transparent checkpointing for cluster computations and the desktop","author":"Ansel J.","year":"2009","unstructured":"J. Ansel , K. Arya , and G. Cooperman . DMTCP: Transparent checkpointing for cluster computations and the desktop , 2009 . J. Ansel, K. Arya, and G. Cooperman. DMTCP: Transparent checkpointing for cluster computations and the desktop, 2009."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349339"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/69215.69226"},{"key":"e_1_3_2_1_4_1","unstructured":"GDB team. GDB and reverse debugging. http:\/\/www.gnu.org\/software\/gdb\/news\/reversible.html.  GDB team. GDB and reverse debugging. http:\/\/www.gnu.org\/software\/gdb\/news\/reversible.html."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1476936.1476952"},{"key":"e_1_3_2_1_6_1","volume-title":"USENIX","author":"King S. T.","year":"2005","unstructured":"S. T. King , G. W. Dunlap , and P. M. C. V. Corporation ). Debugging operating systems with time-traveling virtual machines . In USENIX , 2005 . S. T. King, G. W. Dunlap, and P. M. C. V. Corporation). Debugging operating systems with time-traveling virtual machines. In USENIX, 2005."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519087"},{"key":"e_1_3_2_1_8_1","volume-title":"The Objective Caml system: release 3.11","author":"Leroy X.","year":"2008","unstructured":"X. Leroy , D. Doligez , J. Garrigue , D. R\u00e9my , and J. Vouillon . The Objective Caml system: release 3.11 ; documentation and user's manual, 2008 . http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/. X. Leroy, D. Doligez, J. Garrigue, D. R\u00e9my, and J. Vouillon. The Objective Caml system: release 3.11; documentation and user's manual, 2008. http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/."},{"key":"e_1_3_2_1_9_1","volume-title":"Virtual machine-based replay debugging","author":"Lewis E. C.","year":"2008","unstructured":"E. C. Lewis , P. Dhamdhere , and E. X. Chen . Virtual machine-based replay debugging , 2008 . Google Tech Talks : http:\/\/www.youtube.com\/watch?v=RvMlihjqlhY. E. C. Lewis, P. Dhamdhere, and E. X. Chen. Virtual machine-based replay debugging, 2008. Google Tech Talks: http:\/\/www.youtube.com\/watch?v=RvMlihjqlhY."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2009.169"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297067"},{"key":"e_1_3_2_1_12_1","volume-title":"USENIX ATC","author":"Srinivasan S. M.","year":"2004","unstructured":"S. M. Srinivasan , S. Kandula , C. R. Andrews , and Y. Zhou . Flashback: a lightweight extension for rollback and deterministic replay for software debugging . In USENIX ATC , 2004 . S. M. Srinivasan, S. Kandula, C. R. Andrews, and Y. Zhou. Flashback: a lightweight extension for rollback and deterministic replay for software debugging. In USENIX ATC, 2004."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91564"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001313"},{"key":"e_1_3_2_1_15_1","unstructured":"TotalView team. TotalView debugger. http:\/\/www.roguewave.com\/products\/totalview-family\/totalview.aspx.  TotalView team. TotalView debugger. http:\/\/www.roguewave.com\/products\/totalview-family\/totalview.aspx."},{"key":"e_1_3_2_1_16_1","unstructured":"A. M. Visan A. Polyakov P. S. Solanki K. Arya T. Denniston and G. Cooperman. Temporal debugging using URDB. arXiv:0910.5046v1 {cs.OS} http:\/\/arxiv.org\/abs\/0910.5046 2009.  A. M. Visan A. Polyakov P. S. Solanki K. Arya T. Denniston and G. Cooperman. Temporal debugging using URDB. arXiv:0910.5046v1 {cs.OS} http:\/\/arxiv.org\/abs\/0910.5046 2009."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/362342.362360"}],"event":{"name":"SOSP '11: ACM SIGOPS 23nd Symposium on Operating Systems Principles","sponsor":["INESC Systems and Computer Engineering Institute","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Cascais Portugal","acronym":"SOSP '11"},"container-title":["Proceedings of the 6th Workshop on Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2039239.2039251","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2039239.2039251","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:53Z","timestamp":1750240133000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2039239.2039251"}},"subtitle":["a universal reversible debugger based on decomposing debugging histories"],"short-title":[],"issued":{"date-parts":[[2011,10,23]]},"references-count":17,"alternative-id":["10.1145\/2039239.2039251","10.1145\/2039239"],"URL":"https:\/\/doi.org\/10.1145\/2039239.2039251","relation":{},"subject":[],"published":{"date-parts":[[2011,10,23]]},"assertion":[{"value":"2011-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}