{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T13:04:54Z","timestamp":1785416694118,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,13]]},"DOI":"10.1145\/3678720.3685316","type":"proceedings-article","created":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:01:57Z","timestamp":1726210917000},"page":"16-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Reversible Debugger for MPI Applications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-9978-7793","authenticated-orcid":false,"given":"Mihkel","family":"Tiks","sequence":"first","affiliation":[{"name":"University of Tartu, Tartu, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3890-1555","authenticated-orcid":false,"given":"Ott-Kaarel","family":"Martens","sequence":"additional","affiliation":[{"name":"University of Tartu, Tartu, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1902-9383","authenticated-orcid":false,"given":"Eero","family":"Vainikko","sequence":"additional","affiliation":[{"name":"University of Tartu, Tartu, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5990-4157","authenticated-orcid":false,"given":"Stefan","family":"Kuhn","sequence":"additional","affiliation":[{"name":"University of Tartu, Tartu, Estonia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,9,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"accessed","author":"Limited Arm","year":"2024","unstructured":"Arm Limited. accessed February 14, 2024. DEVELOPER STORE. https:\/\/store.developer.arm.com\/store\/high-performance-computing-hpc-tools\/arm-ddt."},{"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","volume-title":"accessed","author":"CRIU.","year":"2024","unstructured":"CRIU. accessed February 14, 2024. Checkpoint\/Restore In Userspace. https:\/\/criu.org\/Main_Page"},{"key":"e_1_3_2_1_4_1","volume-title":"accessed","author":"Eager Michael J.","year":"2024","unstructured":"Michael J. Eager. accessed February 14, 2024. Introduction to the DWARF Debugging Format. https:\/\/dwarfstd.org\/doc\/Debugging"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/568522.568525"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/68210.69226"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2011.366"},{"key":"e_1_3_2_1_8_1","volume-title":"Fundamental Approaches to Software Engineering","author":"Giachino Elena","unstructured":"Elena Giachino, Ivan Lanese, and Claudio Antares Mezzina. 2014. Causal-Consistent Reversible Debugging. In Fundamental Approaches to Software Engineering, Stefania Gnesi and Arend Rensink (Eds.). Springer, 370\u2013384. isbn:978-3-642-54804-8"},{"key":"e_1_3_2_1_9_1","volume-title":"RC","author":"Hoey James","year":"2019","unstructured":"James Hoey and Irek Ulidowski. 2019. Reversible Imperative Parallel Programs and Debugging. In RC 2019, Michael Kirkedal Thomsen and Mathias Soeken (Eds.). Springer, 108\u2013127. isbn:978-3-030-21500-2"},{"key":"e_1_3_2_1_10_1","volume-title":"accessed","author":"Kerrisk Michael","year":"2024","unstructured":"Michael Kerrisk. accessed February 14, 2024. ptrace(2) \u2014 Linux manual page. https:\/\/man7.org\/linux\/man-pages\/man2\/ptrace.2.html"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.53.0183"},{"key":"e_1_3_2_1_12_1","volume-title":"CauDEr: A Causal-Consistent Reversible Debugger for Erlang","author":"Lanese Ivan","unstructured":"Ivan Lanese, Naoki Nishida, Adri\u00e1n Palacios, and Germ\u00e1n Vidal. 2018. CauDEr: A Causal-Consistent Reversible Debugger for Erlang. In Functional and Logic Programming, John P. Gallagher and Martin Sulzmann (Eds.). Springer, 247\u2013263. isbn:978-3-319-90686-7"},{"key":"e_1_3_2_1_13_1","unstructured":"Perforce Software Inc. accessed February 14 2024. The Most Advanced Debugger for HPC Computing. TotalView by Perforce. https:\/\/totalview.io\/."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Kalyan S. Perumalla. 2013. Introduction to Reversible Computing. CRC.","DOI":"10.1201\/b15719"},{"key":"e_1_3_2_1_15_1","volume-title":"accessed","author":"Project Go","year":"2024","unstructured":"Go Project. accessed February 14, 2024. The Go programming language. https:\/\/go.dev\/"},{"key":"e_1_3_2_1_16_1","volume-title":"accessed","author":"Reber Adrian","year":"2024","unstructured":"Adrian Reber. accessed February 14, 2024. Allow CRIU to be used as non-root with CAP_CHECKPOINT_RESTORE or CAP_SYS_ADMIN. https:\/\/github.com\/checkpoint-restore\/criu\/pull\/1155"},{"key":"e_1_3_2_1_17_1","volume-title":"accessed","year":"2024","unstructured":"rr. accessed February 14, 2024. rr: lightweight recording & deterministic debugging. https:\/\/rr-project.org\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00354-018-0038-2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549706065481"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","unstructured":"Aleksandar To\u0161i\u0107. 2023. Run-time application migration using checkpoint\/restore in userspace. arxiv:2307.12113 [cs.DC] 10.48550\/arXiv.2307.12113","DOI":"10.48550\/arXiv.2307.12113"},{"key":"e_1_3_2_1_21_1","volume-title":"Ulrik Pagh Schultz","author":"Ulidowski Irek","year":"2020","unstructured":"Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, and Carla Ferreira (Eds.). 2020. Reversible Computation: Extending Horizons of Computing. Selected Results of the COST Action IC1405 (=Lecture Notes in Computer Science 12070). Springer."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244404"}],"event":{"name":"DEBT '24: 2nd ACM International Workshop on Future Debugging Techniques","location":"Vienna Austria","acronym":"DEBT '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678720.3685316","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3678720.3685316","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:56Z","timestamp":1750295396000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678720.3685316"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,13]]},"references-count":22,"alternative-id":["10.1145\/3678720.3685316","10.1145\/3678720"],"URL":"https:\/\/doi.org\/10.1145\/3678720.3685316","relation":{},"subject":[],"published":{"date-parts":[[2024,9,13]]},"assertion":[{"value":"2024-09-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}