{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:43:10Z","timestamp":1772044990104,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"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":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598098","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"816-828","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration"],"prefix":"10.1145","author":[{"given":"Yiyu","family":"Zhang","sequence":"first","affiliation":[{"name":"Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianyi","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zewen","family":"Sun","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhe","family":"Chen","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiang","family":"Zuo","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2022. LLVM LoopInfo Class Reference. https:\/\/llvm.org\/doxygen\/classllvm_1_1LoopInfo.html Accessed: 2022-3-1 \t\t\t\t  2022. LLVM LoopInfo Class Reference. https:\/\/llvm.org\/doxygen\/classllvm_1_1LoopInfo.html Accessed: 2022-3-1"},{"key":"e_1_3_2_1_2_1","unstructured":"2022. LLVM TargetTransformInfo Class Reference. https:\/\/llvm.org\/doxygen\/classllvm_1_1TargetTransformInfo.html Accessed: 2022-3-1 \t\t\t\t  2022. LLVM TargetTransformInfo Class Reference. https:\/\/llvm.org\/doxygen\/classllvm_1_1TargetTransformInfo.html Accessed: 2022-3-1"},{"key":"e_1_3_2_1_3_1","volume-title":"USENIX Security Symposium. 10","author":"Akritidis Periklis","year":"2009","unstructured":"Periklis Akritidis , Manuel Costa , Miguel Castro , and Steven Hand . 2009 . Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors .. In USENIX Security Symposium. 10 . Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand. 2009. Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors.. In USENIX Security Symposium. 10."},{"key":"e_1_3_2_1_4_1","unstructured":"Lars Ole Andersen. 1994. Program analysis and specialization for the C programming language. Ph. D. Dissertation. Citeseer. \t\t\t\t  Lars Ole Andersen. 1994. Program analysis and specialization for the C programming language. Ph. D. Dissertation. Citeseer."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 351\u2013367","author":"Apostolakis Sotiris","year":"2020","unstructured":"Sotiris Apostolakis , Ziyang Xu , Greg Chan , Simone Campanoni , and David I August . 2020 . Perspective: A sensible approach to speculative automatic parallelization . In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 351\u2013367 . Sotiris Apostolakis, Ziyang Xu, Greg Chan, Simone Campanoni, and David I August. 2020. Perspective: A sensible approach to speculative automatic parallelization. In Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems. 351\u2013367."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01722-3","volume-title":"The datacenter as a computer: An introduction to the design of warehouse-scale machines. Synthesis lectures on computer architecture, 4, 1","author":"Barroso Luiz Andr\u00e9","year":"2009","unstructured":"Luiz Andr\u00e9 Barroso and Urs H\u00f6lzle . 2009. The datacenter as a computer: An introduction to the design of warehouse-scale machines. Synthesis lectures on computer architecture, 4, 1 ( 2009 ), 1\u2013108. Luiz Andr\u00e9 Barroso and Urs H\u00f6lzle. 2009. The datacenter as a computer: An introduction to the design of warehouse-scale machines. Synthesis lectures on computer architecture, 4, 1 (2009), 1\u2013108."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181319"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1394608.1382153"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330581"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of the Int. Conf. on Parallel Processing","author":"Cytron Ron","year":"1986","unstructured":"Ron Cytron . 1986 . Doacross: Beyond vectorization for multiprocessors . In Proc. of the Int. Conf. on Parallel Processing , 1986. Ron Cytron. 1986. Doacross: Beyond vectorization for multiprocessors. In Proc. of the Int. Conf. on Parallel Processing, 1986."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892212"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192388"},{"key":"e_1_3_2_1_13_1","unstructured":"Archibald Samuel Elliott Andrew Ruef Michael Hicks and David Tarditi. 2018. Checked C: Making C safe by extension. In 2018 IEEE Cybersecurity Development (SecDev). 53\u201360. \t\t\t\t  Archibald Samuel Elliott Andrew Ruef Michael Hicks and David Tarditi. 2018. Checked C: Making C safe by extension. In 2018 IEEE Cybersecurity Development (SecDev). 53\u201360."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_15_1","volume-title":"European Symposium on Algorithms. 677\u2013688","author":"Georgiadis Loukas","year":"2004","unstructured":"Loukas Georgiadis , Renato F Werneck , Robert E Tarjan , Spyridon Triantafyllis , and David I August . 2004 . Finding dominators in practice . In European Symposium on Algorithms. 677\u2013688 . Loukas Georgiadis, Renato F Werneck, Robert E Tarjan, Spyridon Triantafyllis, and David I August. 2004. Finding dominators in practice. In European Symposium on Algorithms. 677\u2013688."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1735970.1736050"},{"key":"e_1_3_2_1_17_1","unstructured":"Google. 2020. The memory safety report of the Chromium project. https:\/\/www.chromium.org\/Home\/chromium-security\/memory-safety Accessed: 2022-3-1 \t\t\t\t  Google. 2020. The memory safety report of the Chromium project. https:\/\/www.chromium.org\/Home\/chromium-security\/memory-safety Accessed: 2022-3-1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259034"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the","author":"Hastings Reed","year":"1992","unstructured":"Reed Hastings and Bob Joyce . 1992 . Purify: A tool for detecting memory leaks and access errors in C and C++ programs . In Proceedings of the Winter 1992 USENIX Conference. 125\u2013138. Reed Hastings and Bob Joyce. 1992. Purify: A tool for detecting memory leaks and access errors in C and C++ programs. In Proceedings of the Winter 1992 USENIX Conference. 125\u2013138."},{"key":"e_1_3_2_1_20_1","volume-title":"USENIX Annual Technical Conference, General Track. 275\u2013288","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , J Gregory Morrisett , Dan Grossman , Michael W Hicks , James Cheney , and Yanling Wang . 2002 . Cyclone: a safe dialect of C .. In USENIX Annual Technical Conference, General Track. 275\u2013288 . Trevor Jim, J Gregory Morrisett, Dan Grossman, Michael W Hicks, James Cheney, and Yanling Wang. 2002. Cyclone: a safe dialect of C.. In USENIX Annual Technical Conference, General Track. 275\u2013288."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254107"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460434"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541228.2541237"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. 1635\u20131648","author":"Liu Daiping","year":"2018","unstructured":"Daiping Liu , Mingwei Zhang , and Haining Wang . 2018 . A robust and efficient defense against use-after-free exploits via concurrent pointer sweeping . In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. 1635\u20131648 . Daiping Liu, Mingwei Zhang, and Haining Wang. 2018. A robust and efficient defense against use-after-free exploits via concurrent pointer sweeping. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. 1635\u20131648."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694382"},{"key":"e_1_3_2_1_27_1","volume-title":"NOELLE Offers Empowering LLVM Extensions. In International Symposium on Code Generation and Optimization, 2022. CGO 2022..","author":"Matni Angelo","year":"2022","unstructured":"Angelo Matni , Enrico Armenio Deiana , Yian Su , Lukas Gross , Souradip Ghosh , Sotiris Apostolakis , Ziyang Xu , Zujun Tan , Ishita Chaturvedi , David I. August , and Simone Campanoni . 2022 . NOELLE Offers Empowering LLVM Extensions. In International Symposium on Code Generation and Optimization, 2022. CGO 2022.. Angelo Matni, Enrico Armenio Deiana, Yian Su, Lukas Gross, Souradip Ghosh, Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Ishita Chaturvedi, David I. August, and Simone Campanoni. 2022. NOELLE Offers Empowering LLVM Extensions. In International Symposium on Code Generation and Optimization, 2022. CGO 2022.."},{"key":"e_1_3_2_1_28_1","unstructured":"Matt Miller. 2019. MSRC security report. https:\/\/github.com\/microsoft\/MSRC-Security-Research\/tree\/master\/presentations\/2019_02_BlueHatIL Accessed: 2022-3-1 \t\t\t\t  Matt Miller. 2019. MSRC security report. https:\/\/github.com\/microsoft\/MSRC-Security-Research\/tree\/master\/presentations\/2019_02_BlueHatIL Accessed: 2022-3-1"},{"key":"e_1_3_2_1_29_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Mu Dongliang","year":"2018","unstructured":"Dongliang Mu , Alejandro Cuevas , Limin Yang , Hang Hu , Xinyu Xing , Bing Mao , and Gang Wang . 2018 . Understanding the reproducibility of crowd-reported security vulnerabilities . In 27th USENIX Security Symposium (USENIX Security 18) . 919\u2013936. Dongliang Mu, Alejandro Cuevas, Limin Yang, Hang Hu, Xinyu Xing, Bing Mao, and Gang Wang. 2018. Understanding the reproducibility of crowd-reported security vulnerabilities. In 27th USENIX Security Symposium (USENIX Security 18). 919\u2013936."},{"key":"e_1_3_2_1_30_1","volume-title":"2012 39th Annual International Symposium on Computer Architecture (ISCA). 189\u2013200","author":"Nagarakatte Santosh","year":"2012","unstructured":"Santosh Nagarakatte , Milo MK Martin , and Steve Zdancewic . 2012 . Watchdog: Hardware for safe and secure manual memory management and full memory safety . In 2012 39th Annual International Symposium on Computer Architecture (ISCA). 189\u2013200 . Santosh Nagarakatte, Milo MK Martin, and Steve Zdancewic. 2012. Watchdog: Hardware for safe and secure manual memory management and full memory safety. In 2012 39th Annual International Symposium on Computer Architecture (ISCA). 189\u2013200."},{"key":"e_1_3_2_1_31_1","volume-title":"Milo MK Martin, and Steve Zdancewic","author":"Nagarakatte Santosh","year":"2015","unstructured":"Santosh Nagarakatte , Milo MK Martin, and Steve Zdancewic . 2015 . Everything you want to know about pointer-based checking. In 1st Summit on Advances in Programming Languages (SNAPL 2015). Santosh Nagarakatte, Milo MK Martin, and Steve Zdancewic. 2015. Everything you want to know about pointer-based checking. In 1st Summit on Advances in Programming Languages (SNAPL 2015)."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 35th Annual Computer Security Applications Conference. 612\u2013626","author":"Nam Myoung Jin","year":"2019","unstructured":"Myoung Jin Nam , Periklis Akritidis , and David J Greaves . 2019 . FRAMER: a tagged-pointer capability system with memory safety applications . In Proceedings of the 35th Annual Computer Security Applications Conference. 612\u2013626 . Myoung Jin Nam, Periklis Akritidis, and David J Greaves. 2019. FRAMER: a tagged-pointer capability system with memory safety applications. In Proceedings of the 35th Annual Computer Security Applications Conference. 612\u2013626."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346321"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3224423"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2005.13"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/250900.250910"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.14"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356074"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3018743.3018763"},{"key":"e_1_3_2_1_40_1","volume-title":"2012 USENIX Annual Technical Conference (USENIX ATC 12)","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitriy Vyukov . 2012 . AddressSanitizer: A fast address sanity checker . In 2012 USENIX Annual Technical Conference (USENIX ATC 12) . 309\u2013318. Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitriy Vyukov. 2012. AddressSanitizer: A fast address sanity checker. In 2012 USENIX Annual Technical Conference (USENIX ATC 12). 309\u2013318."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2016.2570538"},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the 48th Annual International Symposium on Computer Architecture (ISCA-48)","author":"Ziad M. Tarek Ibn","year":"2021","unstructured":"M. Tarek Ibn Ziad , Miguel A. Arroyo , Evgeny Manzhosov , Ryan Piersma , and Simha Sethumadhavan . 2021 . No-FAT: Architectural Support for Low Overhead Memory Safety Checks . In Proceedings of the 48th Annual International Symposium on Computer Architecture (ISCA-48) . Worldwide Event. 916\u2013929. M. Tarek Ibn Ziad, Miguel A. Arroyo, Evgeny Manzhosov, Ryan Piersma, and Simha Sethumadhavan. 2021. No-FAT: Architectural Support for Low Overhead Memory Safety Checks. In Proceedings of the 48th Annual International Symposium on Computer Architecture (ISCA-48). Worldwide Event. 916\u2013929."},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the fifteenth International Conference on Architectural support for programming languages and operating systems. 271\u2013284","author":"Vlachos Evangelos","year":"2010","unstructured":"Evangelos Vlachos , Michelle L Goodstein , Michael A Kozuch , Shimin Chen , Babak Falsafi , Phillip B Gibbons , and Todd C Mowry . 2010 . ParaLog: Enabling and accelerating online parallel monitoring of multithreaded applications . In Proceedings of the fifteenth International Conference on Architectural support for programming languages and operating systems. 271\u2013284 . Evangelos Vlachos, Michelle L Goodstein, Michael A Kozuch, Shimin Chen, Babak Falsafi, Phillip B Gibbons, and Todd C Mowry. 2010. ParaLog: Enabling and accelerating online parallel monitoring of multithreaded applications. In Proceedings of the fifteenth International Conference on Architectural support for programming languages and operating systems. 271\u2013284."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.58"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358288"},{"key":"e_1_3_2_1_46_1","volume-title":"IFIP International Conference on ICT Systems Security and Privacy Protection. 413\u2013426","author":"Xue Hongfa","year":"2017","unstructured":"Hongfa Xue , Yurong Chen , Fan Yao , Yongbo Li , Tian Lan , and Guru Venkataramani . 2017 . Simber: Eliminating redundant memory bound checks via statistical inference . In IFIP International Conference on ICT Systems Security and Privacy Protection. 413\u2013426 . Hongfa Xue, Yurong Chen, Fan Yao, Yongbo Li, Tian Lan, and Guru Venkataramani. 2017. Simber: Eliminating redundant memory bound checks via statistical inference. In IFIP International Conference on ICT Systems Security and Privacy Protection. 413\u2013426."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-3401-0"},{"key":"e_1_3_2_1_48_1","volume-title":"15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)","author":"Zhang Jiang","year":"2021","unstructured":"Jiang Zhang , Shuai Wang , Manuel Rigger , Pinjia He , and Zhendong Su . 2021 . SANRAZOR: Reducing Redundant Sanitizer Checks in C\/C++ Programs . In 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21) . USENIX Association, 479\u2013494. isbn:978-1-939133-22-9 https:\/\/www.usenix.org\/conference\/osdi21\/presentation\/zhang Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, and Zhendong Su. 2021. SANRAZOR: Reducing Redundant Sanitizer Checks in C\/C++ Programs. In 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21). USENIX Association, 479\u2013494. isbn:978-1-939133-22-9 https:\/\/www.usenix.org\/conference\/osdi21\/presentation\/zhang"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598098","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":48,"alternative-id":["10.1145\/3597926.3598098","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598098","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}