{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T20:07:39Z","timestamp":1789416459672,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T00:00:00Z","timestamp":1790553600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Czech Ministry of Education, Youth and Sports","award":["LL2325"],"award-info":[{"award-number":["LL2325"]}]},{"name":"Czech Science Foundation","award":["23-06506S"],"award-info":[{"award-number":["23-06506S"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,9,29]]},"DOI":"10.1145\/3831586.3838152","type":"proceedings-article","created":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T19:46:21Z","timestamp":1789415181000},"page":"94-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["ACF: Infrastructure for Debugging Long-Running Systems with Tracing and Unit Test Execution"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-4183-341X","authenticated-orcid":false,"given":"Roman","family":"Va\u0161ut","sequence":"first","affiliation":[{"name":"Charles University, Prague, Czech Republic"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0714-7446","authenticated-orcid":false,"given":"Pavel","family":"Par\u00edzek","sequence":"additional","affiliation":[{"name":"Charles University, Prague, Czech Republic"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,9,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00208"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001447"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2363469"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062522"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3415299"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00128"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568273"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23702-7_15"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384649"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00181"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882302"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00125"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606581"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931049"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510155"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180242"},{"key":"e_1_3_2_1_18_1","volume-title":"IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities. In The Thirteenth International Conference on Learning Representations, ICLR 2025","author":"Li Ziyang","year":"2025","unstructured":"Ziyang Li, Saikat Dutta, and Mayur Naik. 2025. IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities. In The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025. OpenReview.net. https:\/\/openreview.net\/forum?id=9LdJDU7E91"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.62"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3769082"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3512759"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.27"},{"key":"e_1_3_2_1_25_1","volume-title":"Effective Debugging: 66 Specific Ways to Debug Software and Systems","author":"Spinellis Diomidis","unstructured":"Diomidis Spinellis. 2016. Effective Debugging: 66 Specific Ways to Debug Software and Systems. Addison-Wesley Professional."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00129"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884834"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2803206"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695529"},{"key":"e_1_3_2_1_30_1","volume-title":"Why Programs Fail - A Guide to Systematic Debugging","author":"Zeller Andreas","unstructured":"Andreas Zeller. 2009. Why Programs Fail - A Guide to Systematic Debugging, 2nd Edition. Academic Press. http:\/\/store.elsevier.com\/product.jsp?isbn=9780123745156&pagename=search","edition":"2"}],"event":{"name":"SOSP '26: ACM SIGOPS 32nd Symposium on Operating Systems Principles","location":"Prague Czech Republic","acronym":"PLOS '26","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX"]},"container-title":["Proceedings of the 14th Workshop on Programming Languages and Operating Systems"],"original-title":[],"deposited":{"date-parts":[[2026,9,14]],"date-time":"2026-09-14T19:46:27Z","timestamp":1789415187000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3831586.3838152"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9,28]]},"references-count":30,"alternative-id":["10.1145\/3831586.3838152","10.1145\/3831586"],"URL":"https:\/\/doi.org\/10.1145\/3831586.3838152","relation":{},"subject":[],"published":{"date-parts":[[2026,9,28]]},"assertion":[{"value":"2026-09-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}