{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T09:24:36Z","timestamp":1781947476688,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":119,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T00:00:00Z","timestamp":1683504000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"IITP","award":["2020-0-00209"],"award-info":[{"award-number":["2020-0-00209"]}]},{"name":"IITP","award":["2021-0-00871"],"award-info":[{"award-number":["2021-0-00871"]}]},{"name":"ERC","award":["NRF-2020R1A2C2005479"],"award-info":[{"award-number":["NRF-2020R1A2C2005479"]}]},{"name":"ERC","award":["NRF-2018R1A5A1059921"],"award-info":[{"award-number":["NRF-2018R1A5A1059921"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,8]]},"DOI":"10.1145\/3552326.3567486","type":"proceedings-article","created":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:33:02Z","timestamp":1683307982000},"page":"94-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Diagnosing Kernel Concurrency Failures with AITIA"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7344-0830","authenticated-orcid":false,"given":"Dae R.","family":"Jeong","sequence":"first","affiliation":[{"name":"KAIST, Daejeon, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8373-1594","authenticated-orcid":false,"given":"Minkyu","family":"Jung","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8019-2844","authenticated-orcid":false,"given":"Yoochan","family":"Lee","sequence":"additional","affiliation":[{"name":"Seoul National University, Daejeon, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7746-0572","authenticated-orcid":false,"given":"Byoungyoung","family":"Lee","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9128-2415","authenticated-orcid":false,"given":"Insik","family":"Shin","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5602-2397","authenticated-orcid":false,"given":"Youngjin","family":"Kwon","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,5,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Sloc Cloc and Code (scc) 2020. https:\/\/github.com\/boyter\/scc\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/634636.586101"},{"key":"e_1_3_2_1_3_1","volume-title":"Assembly instruction level reverse execution for debugging. ACM Transactions on Software Engineering and Methodology (TOSEM), 13(2):149--198","author":"Akgul T.","year":"2004","unstructured":"T. Akgul and V. J. Mooney III. Assembly instruction level reverse execution for debugging. ACM Transactions on Software Engineering and Methodology (TOSEM), 13(2):149--198, 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999456"},{"key":"e_1_3_2_1_5_1","volume-title":"CVE-2017-2636: exploit the race condition in the n_hdlc Linux kernel driver bypassing SMEP","author":"Popov Alexander","year":"2020","unstructured":"Alexander Popov. CVE-2017-2636: exploit the race condition in the n_hdlc Linux kernel driver bypassing SMEP, 2020. https:\/\/a13xp0p0v.github.io\/2017\/03\/24\/CVE-2017-2636.html."},{"key":"e_1_3_2_1_6_1","volume-title":"Heraklion","author":"Amit N.","year":"2020","unstructured":"N. Amit, A. Tai, and M. Wei. Don't shoot down tlb shootdowns! In Proceedings of the 15th European Conference on Computer Systems (EuroSys), Heraklion, Crete, Greece, Apr. 2020."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451128"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541973"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/3358807.3358830"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/312009.312079"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 29th USENIX Security Symposium (Security), BOSTON, MA","author":"Chen H.","year":"2020","unstructured":"H. Chen, S. Guo, Y. Xue, Y. Sui, C. Zhang, Y. Li, H. Wang, and Y. Liu. {MUZZ}: Thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs. In Proceedings of the 29th USENIX Security Symposium (Security), BOSTON, MA, Aug. 2020."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070506"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380140602"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884844"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI), CARLSBAD, CA","author":"Cui W.","year":"2018","unstructured":"W. Cui, X. Ge, B. Kasikci, B. Niu, U. Sharma, R. Wang, and I. Yun. Rept: Reverse debugging of failures in deployed software. In Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI), CARLSBAD, CA, Oct. 2018."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.30"},{"key":"e_1_3_2_1_18_1","unstructured":"Dirty Cow. Dirty Cow 2016. https:\/\/dirtycow.ninja\/."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346273"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924943.1924954"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Fonseca P.","year":"2014","unstructured":"P. Fonseca, R. Rodrigues, and B. B. Brandenburg. Ski: Exposing kernel concurrency bugs through systematic schedule exploration. In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Broomfield, Colorado, Oct. 2014."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483549"},{"key":"e_1_3_2_1_26_1","unstructured":"Google. Syzkaller 2020. https:\/\/github.com\/google\/syzkaller."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Guo Z.","year":"2008","unstructured":"Z. Guo, X. Wang, J. Tang, X. Liu, Z. Xu, M. Wu, M. F. Kaashoek, and Z. Zhang. R2: An application-level kernel for record and replay. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI), San Diego, CA, Dec. 2008."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592800"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2014.6853229"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.08.063"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the 21st International Conference on Compiler Construction (CC)","author":"Hou C.","year":"2001","unstructured":"C. Hou, G. Vulov, D. Quinlan, D. Jefferson, R. Fujimoto, and R. Vuduc. A new method for program inversion. In Proceedings of the 21st International Conference on Compiler Construction (CC), Tallinn, Estonia, Apr. 2001."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2022.24296"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869481"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815412"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132767"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811039.1811057"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043589"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the 30th USENIX Security Symposium (Security)","author":"Lee Y.","year":"2021","unstructured":"Y. Lee, C. Min, and B. Lee. {ExpRace}: Exploiting kernel races through raising interrupts. In Proceedings of the 30th USENIX Security Symposium (Security), Virtual, Aug. 2021."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"e_1_3_2_1_44_1","volume-title":"The kernel concurrency sanitizer (kcsan)","year":"2019","unstructured":"Linux. The kernel concurrency sanitizer (kcsan), 2019. https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kcsan.html."},{"key":"e_1_3_2_1_45_1","volume-title":"md: fix a warning caused by a race between concurrent md_ioctl()s","year":"2020","unstructured":"Linux. md: fix a warning caused by a race between concurrent md_ioctl()s, 2020. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=c731b84b51bf7fe83448bea8f56a6d55006b0615."},{"key":"e_1_3_2_1_46_1","volume-title":"ftrace - Function Tracer","year":"2020","unstructured":"Linux. ftrace - Function Tracer, 2020. https:\/\/www.kernel.org\/doc\/html\/latest\/trace\/ftrace.html."},{"key":"e_1_3_2_1_47_1","volume-title":"The Kernel Address Sanitizer (KASAN)","year":"2020","unstructured":"Linux. The Kernel Address Sanitizer (KASAN), 2020. https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kasan.html."},{"key":"e_1_3_2_1_48_1","volume-title":"kernel: add kcov code coverage","year":"2020","unstructured":"Linux. kernel: add kcov code coverage, 2020. https:\/\/lwn.net\/Articles\/671640\/."},{"key":"e_1_3_2_1_49_1","volume-title":"Explanation of the Linux-Kernel Memory Consistency Model","year":"2020","unstructured":"Linux. Explanation of the Linux-Kernel Memory Consistency Model, 2020. https:\/\/github.com\/torvalds\/linux\/blob\/master\/tools\/memory-model\/Documentation\/explanation.txt."},{"key":"e_1_3_2_1_50_1","volume-title":"fix locking in bdev_del_partition (2020-09-01)","year":"2020","unstructured":"Linux. fix locking in bdev_del_partition (2020-09-01), 2020. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=08fc1ab6d748ab1a690fd483f41e2938984ce353."},{"key":"e_1_3_2_1_51_1","volume-title":"Concurrency Managed Workqueue (cmwq)","year":"2020","unstructured":"Linux. Concurrency Managed Workqueue (cmwq), 2020. https:\/\/www.kernel.org\/doc\/html\/latest\/core-api\/workqueue.html."},{"key":"e_1_3_2_1_52_1","volume-title":"WARNING in schedule_bh","year":"2021","unstructured":"Linux. WARNING in schedule_bh, 2021. https:\/\/lore.kernel.org\/lkml\/YbbKf6fU7y3GGZum@archdragon\/."},{"key":"e_1_3_2_1_53_1","volume-title":"add sysfs_lock to synchronize sysfs code paths (2021-03-29)","year":"2021","unstructured":"Linux. add sysfs_lock to synchronize sysfs code paths (2021-03-29), 2021. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=4e9c93af7279b059faf5bb1897ee90512b258a12."},{"key":"e_1_3_2_1_54_1","volume-title":"fix uaf for rx_kref of j1939_priv (2021-09-26)","year":"2021","unstructured":"Linux. fix uaf for rx_kref of j1939_priv (2021-09-26), 2021. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=d9d52a3ebd284882f5562c88e55991add5d01586."},{"key":"e_1_3_2_1_55_1","volume-title":"Bluetooth: fix dangling sco_conn and use-after-free in sco_sock_timeout","year":"2022","unstructured":"Linux. Bluetooth: fix dangling sco_conn and use-after-free in sco_sock_timeout, 2022. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=7aa1e7d15f8a5b65f67bacb100d8fc033b21efa2."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.105"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192380"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294272"},{"key":"e_1_3_2_1_59_1","first-page":"1060","volume-title":"Detecting concurrency bugs from the perspectives of synchronization intentions","author":"Lu S.","year":"2011","unstructured":"S. Lu, S. Park, and Y. Zhou. Detecting concurrency bugs from the perspectives of synchronization intentions. volume 23, pages 1060--1072. IEEE, 2011."},{"key":"e_1_3_2_1_60_1","first-page":"586","volume-title":"Concurrency debugging with differential schedule projections","author":"Machado N.","year":"2015","unstructured":"N. Machado, B. Lucia, and L. Rodrigues. Concurrency debugging with differential schedule projections. volume 50, pages 586--595. ACM New York, NY, USA, 2015."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851141.2851149"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093336.3037751"},{"key":"e_1_3_2_1_63_1","first-page":"509","volume-title":"Parallel and Distributed Computing and Systems","author":"McKenney P. E.","year":"1998","unstructured":"P. E. McKenney and J. D. Slingwine. Read-copy update: Using execution history to solve concurrency problems. In Parallel and Distributed Computing and Systems, pages 509--518, 1998."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304047"},{"key":"e_1_3_2_1_65_1","volume-title":"Time travel debugging","author":"Microsoft Corporation","year":"2020","unstructured":"Microsoft Corporation. Time travel debugging, 2020. https:\/\/docs.microsoft.com\/en-us\/windows-hardware\/drivers\/debugger\/time-travel-debugging-overview."},{"key":"e_1_3_2_1_66_1","unstructured":"MITRE. CVE-2016-10200 2016. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-10200."},{"key":"e_1_3_2_1_67_1","unstructured":"MITRE. CVE-2016-8655 2016. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-8655."},{"key":"e_1_3_2_1_68_1","unstructured":"MITRE. CVE-2017-10661 2017. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-10661."},{"key":"e_1_3_2_1_69_1","unstructured":"MITRE. CVE-2017-15649 2017. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-15649."},{"key":"e_1_3_2_1_70_1","unstructured":"MITRE. CVE-2017-2636 2017. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-2636."},{"key":"e_1_3_2_1_71_1","unstructured":"MITRE. CVE-2017-2671 2017. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-2671."},{"key":"e_1_3_2_1_72_1","unstructured":"MITRE. CVE-2017-7533 2017. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-7533."},{"key":"e_1_3_2_1_73_1","unstructured":"MITRE. CVE-2018-12232 2018. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2018-12232."},{"key":"e_1_3_2_1_74_1","unstructured":"MITRE. CVE-2019-11486 2019. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2019-11486."},{"key":"e_1_3_2_1_75_1","unstructured":"MITRE. CVE-2019-6974 2019. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2019-6974."},{"key":"e_1_3_2_1_76_1","unstructured":"MITRE. CVE-2020-8832 2020. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2020-8832."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/1394608.1382146"},{"key":"e_1_3_2_1_78_1","volume-title":"Mozilla rr","author":"Mozilla Corporation","year":"2020","unstructured":"Mozilla Corporation. Mozilla rr, 2020. https:\/\/rr-project.org."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250785"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508256"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806838"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1523"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/2155620.2155646"},{"key":"e_1_3_2_1_86_1","volume-title":"Proceedings of the 2016 USENIX Annual Technical Conference (ATC)","author":"Ren S.","year":"2016","unstructured":"S. Ren, L. Tan, C. Li, Z. Xiao, and W. Song. Samsara: Efficient deterministic replay in multiprocessor environments with hardware virtualization extensions. In Proceedings of the 2016 USENIX Annual Technical Conference (ATC), Denver, CO, June 2016."},{"key":"e_1_3_2_1_87_1","volume-title":"Recplay: a fully integrated practical record\/replay system. ACM Transactions on Computer Systems (TOCS), 17(2):133--152","author":"Ronsse M.","year":"1999","unstructured":"M. Ronsse and K. De Bosschere. Recplay: a fully integrated practical record\/replay system. ACM Transactions on Computer Systems (TOCS), 17(2):133--152, 1999."},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/1791194.1791203"},{"key":"e_1_3_2_1_89_1","volume-title":"Proceedings of the 2012 USENIX Annual Technical Conference (ATC)","author":"Serebryany K.","year":"2012","unstructured":"K. Serebryany, D. Bruening, A. Potapenko, and D. Vyukov. Addresssanitizer: A fast address sanity checker. In Proceedings of the 2012 USENIX Annual Technical Conference (ATC), Boston, MA, June 2012."},{"key":"e_1_3_2_1_90_1","volume-title":"KASAN: use-after-free Read in pppol2tp_-connect","year":"2018","unstructured":"Syzkaller. KASAN: use-after-free Read in pppol2tp_-connect, 2018. https:\/\/syzkaller.appspot.com\/bug?id=63fac1a987fb08f242a98a35578b3eb14c7a9a93."},{"key":"e_1_3_2_1_91_1","volume-title":"KASAN: use-after-free Write in irq_bypass_-register_consumer","year":"2018","unstructured":"Syzkaller. KASAN: use-after-free Write in irq_bypass_-register_consumer, 2018. https:\/\/syzkaller.appspot.com\/bug?id=45591ae3053c59fb50169401fb61cb596735f9d1."},{"key":"e_1_3_2_1_92_1","volume-title":"KASAN: use-after-free Read in pppol2tp_-connect","year":"2018","unstructured":"Syzkaller. KASAN: use-after-free Read in pppol2tp_-connect, 2018. https:\/\/syzkaller.appspot.com\/bug?id=ddc83e209f712ce63078e146f7c0fe63e1edbc2f."},{"key":"e_1_3_2_1_93_1","volume-title":"KASAN: use-after-free Read in rxrpc_-queue_local","year":"2019","unstructured":"Syzkaller. KASAN: use-after-free Read in rxrpc_-queue_local, 2019. https:\/\/syzkaller.appspot.com\/bug?id=a0e85017c37a10447d1729523e7ba4fda8ef3f4a."},{"key":"e_1_3_2_1_94_1","volume-title":"general protection fault in dev_map_hash_up-date_elem","year":"2019","unstructured":"Syzkaller. general protection fault in dev_map_hash_up-date_elem, 2019. https:\/\/syzkaller.appspot.com\/bug?id=051976ec3138aa9e5ffbc0c1afd02e3f6bea2c68."},{"key":"e_1_3_2_1_95_1","volume-title":"general protection fault in packet_lookup_-frame","year":"2019","unstructured":"Syzkaller. general protection fault in packet_lookup_-frame, 2019. https:\/\/syzkaller.appspot.com\/bug?id=def39b541a4d5fdd258ec710d2a159010c8601f3."},{"key":"e_1_3_2_1_96_1","volume-title":"KASAN: use-after-free Read in delete_-partition","year":"2020","unstructured":"Syzkaller. KASAN: use-after-free Read in delete_-partition, 2020. https:\/\/syzkaller.appspot.com\/bug?id=a09edb22abb4af520fef12024cc9f860c4307c8f."},{"key":"e_1_3_2_1_97_1","volume-title":"memory leak in do_seccomp","year":"2020","unstructured":"Syzkaller. memory leak in do_seccomp, 2020. https:\/\/git.kernel.org\/pub\/scm\/linux\/kernel\/git\/torvalds\/linux.git\/commit\/?id=a566a9012acd7c9a4be7e30dc7acb7a811ec2260."},{"key":"e_1_3_2_1_98_1","volume-title":"WARNING: refcount bug in j1939_net-dev_start","year":"2021","unstructured":"Syzkaller. WARNING: refcount bug in j1939_net-dev_start, 2021. https:\/\/syzkaller.appspot.com\/bug?id=573a8a7b9071e7549e4f6dc77599564187e677fc."},{"key":"e_1_3_2_1_99_1","volume-title":"CVE - The MITRE Corporation","author":"The MITRE Corporation","year":"2020","unstructured":"The MITRE Corporation. CVE - The MITRE Corporation, 2020. https:\/\/cve.mitre.org\/."},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294275"},{"key":"e_1_3_2_1_101_1","volume-title":"UndoDB: The interactive reverse debugger for C\/C++ on Linux and Android","year":"2020","unstructured":"Undo. UndoDB: The interactive reverse debugger for C\/C++ on Linux and Android., 2020. https:\/\/undo.io."},{"key":"e_1_3_2_1_102_1","first-page":"64","volume-title":"Proceedings of the seventh international conference on Parallel and Distributed Computing Systems","author":"Valois J. D.","year":"1994","unstructured":"J. D. Valois. Implementing lock-free queues. In Proceedings of the seventh international conference on Parallel and Distributed Computing Systems, pages 64--69, 1994."},{"key":"e_1_3_2_1_103_1","volume-title":"Doubleplay: parallelizing sequential logging and replay. ACM Transactions on Computer Systems (TOCS), 30(1):3","author":"Veeraraghavan K.","year":"2012","unstructured":"K. Veeraraghavan, D. Lee, B. Wester, J. Ouyang, P. M. Chen, J. Flinn, and S. Narayanasamy. Doubleplay: parallelizing sequential logging and replay. ACM Transactions on Computer Systems (TOCS), 30(1):3, 2012."},{"key":"e_1_3_2_1_104_1","unstructured":"D. A. Wheeler. Sloccount 2020. https:\/\/dwheeler.com\/sloccount\/."},{"key":"e_1_3_2_1_105_1","volume-title":"Root cause analysis: A tool for total quality management","author":"Wilson P. F.","year":"1993","unstructured":"P. F. Wilson. Root cause analysis: A tool for total quality management. ASQ Quality Press, 1993."},{"key":"e_1_3_2_1_106_1","volume-title":"Proceedings of the 26th USENIX Security Symposium (Security)","author":"Xu J.","year":"2017","unstructured":"J. Xu, D. Mu, X. Xing, P. Liu, P. Chen, and B. Mao. Postmortem program analysis with hardware-enhanced post-crash artifacts. In Proceedings of the 26th USENIX Security Symposium (Security), Vancouver, BC, Canada, Aug. 2017."},{"key":"e_1_3_2_1_107_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00078"},{"key":"e_1_3_2_1_108_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"e_1_3_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025121"},{"key":"e_1_3_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736038"},{"key":"e_1_3_2_1_111_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"e_1_3_2_1_112_1","volume-title":"14th USENIX Workshop on Hot Topics in Operating Systems (HotOS) (HotOS XIV), Santa Ana Pueblo, NM","author":"Zamfir C.","year":"2014","unstructured":"C. Zamfir, B. Kasikci, J. Kinder, E. Bugnion, and G. Candea. Automated debugging for arbitrarily long executions. In 14th USENIX Workshop on Hot Topics in Operating Systems (HotOS) (HotOS XIV), Santa Ana Pueblo, NM, May 2014."},{"key":"e_1_3_2_1_113_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737956"},{"key":"e_1_3_2_1_114_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872384"},{"key":"e_1_3_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093336.3037708"},{"key":"e_1_3_2_1_116_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132768"},{"key":"e_1_3_2_1_117_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359650"},{"key":"e_1_3_2_1_118_1","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Zhao X.","year":"2014","unstructured":"X. Zhao, Y. Zhang, D. Lion, M. F. Ullah, Y. Luo, D. Yuan, and M. Stumm. lprof: A non-intrusive request flow profiler for distributed systems. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14), Broomfield, CO, 2014."},{"key":"e_1_3_2_1_119_1","volume-title":"Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Zhao X.","year":"2016","unstructured":"X. Zhao, K. Rodrigues, Y. Luo, D. Yuan, and M. Stumm. Non-intrusive performance profiling for entire software stacks based on the flow reconstruction principle. In Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Savannah, GA, Nov. 2016."}],"event":{"name":"EuroSys '23: Eighteenth European Conference on Computer Systems","location":"Rome Italy","acronym":"EuroSys '23","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Eighteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3567486","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3552326.3567486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:43:36Z","timestamp":1750272216000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3567486"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,8]]},"references-count":119,"alternative-id":["10.1145\/3552326.3567486","10.1145\/3552326"],"URL":"https:\/\/doi.org\/10.1145\/3552326.3567486","relation":{},"subject":[],"published":{"date-parts":[[2023,5,8]]},"assertion":[{"value":"2023-05-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}