{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T00:23:48Z","timestamp":1726273428444},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","funder":[{"name":"Eesti Teadusagentuur","award":["TEM-TA119"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,13]]},"DOI":"10.1145\/3678720.3685320","type":"proceedings-article","created":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:01:57Z","timestamp":1726210917000},"page":"32-33","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Abstract Debugging with GobPie"],"prefix":"10.1145","author":[{"ORCID":"http:\/\/orcid.org\/0009-0008-3725-4131","authenticated-orcid":false,"given":"Karoliine","family":"Holter","sequence":"first","affiliation":[{"name":"University of Tartu, Tartu, Estonia"}]},{"ORCID":"http:\/\/orcid.org\/0009-0006-0682-5929","authenticated-orcid":false,"given":"Juhan Oskar","family":"Hennoste","sequence":"additional","affiliation":[{"name":"University of Tartu, Tartu, Estonia"}]},{"ORCID":"http:\/\/orcid.org\/0000-0003-4553-1350","authenticated-orcid":false,"given":"Simmo","family":"Saan","sequence":"additional","affiliation":[{"name":"University of Tartu, Tartu, Estonia"}]},{"ORCID":"http:\/\/orcid.org\/0000-0001-8278-5400","authenticated-orcid":false,"given":"Patrick","family":"Lam","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}]},{"ORCID":"http:\/\/orcid.org\/0000-0003-4336-7980","authenticated-orcid":false,"given":"Vesal","family":"Vojdani","sequence":"additional","affiliation":[{"name":"University of Tartu, Tartu, Estonia"}]}],"member":"320","published-online":{"date-parts":[[2024,9,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183470"},{"key":"e_1_3_2_1_2_1","unstructured":"Julian Erhard Simmo Saan Sarah Tilscher Michael Schwarz Karoliine Holter Vesal Vojdani and Helmut Seidl. 2022. Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap. arxiv:2209.10445."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.338.11"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!","author":"Holter Karoliine","year":"2024","unstructured":"Karoliine Holter, Juhan Oskar Hennoste, Patrick Lam, Simmo Saan, and Vesal Vojdani. 2024. Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results. In Proceedings of the 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2024). ACM. To appear"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3605155.3605861"},{"key":"e_1_3_2_1_6_1","unstructured":"Markus Alexander Kuppe. 2021. TLA+ for Visual Studio Code: Add TLC Debugger. https:\/\/github.com\/tlaplus\/vscode-tlaplus\/pull\/214"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2019.21"},{"key":"e_1_3_2_1_8_1","unstructured":"Rapha\u00ebl Monat Abdelraouf Ouadjaout and Antoine Min\u00e9. 2024. Easing Maintenance of Academic Static Analyzers. arxiv:2407.12499."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88806-0_18"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3623476.3623512"}],"event":{"name":"DEBT '24: 2nd ACM International Workshop on Future Debugging Techniques","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"location":"Vienna Austria","acronym":"DEBT '24"},"container-title":["Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3678720.3685320","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:02:09Z","timestamp":1726210929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3678720.3685320"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,13]]},"references-count":10,"alternative-id":["10.1145\/3678720.3685320","10.1145\/3678720"],"URL":"https:\/\/doi.org\/10.1145\/3678720.3685320","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"}}]}}