{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T15:30:32Z","timestamp":1773588632642,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,22]]},"DOI":"10.1145\/3779212.3790196","type":"proceedings-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:55:26Z","timestamp":1773150926000},"page":"1333-1348","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Optimizer-Friendly Instrumentation for Event Quantification with PRUE Algorithm"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5093-8262","authenticated-orcid":false,"given":"Hao","family":"Ling","sequence":"first","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5985-6610","authenticated-orcid":false,"given":"Yiyuan","family":"Guo","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6417-1034","authenticated-orcid":false,"given":"Charles","family":"Zhang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, China"}]}],"member":"320","published-online":{"date-parts":[[2026,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AFLplusplus. 2025. afl-clang-lto - collision free instrumentation at link time. https:\/\/github.com\/AFLplusplus\/AFLplusplus\/blob\/7d77cbd89e29c290c6b110a556bed3c778788610\/instrumentation\/README.lto.md?plain=1#L7."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598128"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1996.566449"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/183432.183527"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 29th Annual ACM\/IEEE International Symposium on Microarchitecture","author":"Ball Thomas","unstructured":"Thomas Ball and James R. Larus. 1996 b. Efficient path profiling. In Proceedings of the 29th Annual ACM\/IEEE International Symposium on Microarchitecture (Paris, France) (MICRO 29). IEEE Computer Society, USA, 46\u201357. https:\/\/dl.acm.org\/doi\/10.5555\/243846.243857."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591473"},{"key":"e_1_3_2_1_7_1","first-page":"51","volume-title":"Triangulating Python Performance Issues with SCALENE. In 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)","author":"Berger Emery D.","year":"2023","unstructured":"Emery D. Berger, Sam Stern, and Juan Altmayer Pizzorno. 2023. Triangulating Python Performance Issues with SCALENE. In 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). USENIX Association, Boston, MA, 51-64. https:\/\/www.usenix.org\/conference\/osdi23\/presentation\/berger"},{"key":"e_1_3_2_1_8_1","unstructured":"DynamoRIO. 2025. DynamoRIO: Dynamic Instrumentation Tool Platform. https:\/\/dynamorio.org\/."},{"key":"e_1_3_2_1_9_1","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Fioraldi Andrea","year":"2020","unstructured":"Andrea Fioraldi, Dominik Maier, Heiko Ei\u00dffeldt, and Marc Heuse. 2020. AFL : Combining Incremental Steps of Fuzzing Research. In 14th USENIX Workshop on Offensive Technologies (WOOT 20). USENIX Association. https:\/\/www.usenix.org\/conference\/woot20\/presentation\/fioraldi"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3640537.3641569"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231133"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3410220.3456276"},{"key":"e_1_3_2_1_13_1","unstructured":"Intel. 2025. Pin - A Dynamic Binary Instrumentation Tool. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/articles\/tool\/pin-a-dynamic-binary-instrumentation-tool.html."},{"key":"e_1_3_2_1_14_1","unstructured":"Jeff Preshing. 2012. Memory Ordering at Compile Time. https:\/\/preshing.com\/20120625\/memory-ordering-at-compile-time\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1958.10501452"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319348"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00063"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Cecilia Conde Kind Michael Canesche and Fernando Magno Quintao Pereira. 2022. Jotai: a Methodology for the Generation of Executable C Benchmarks. Technical Report 02-2022. Universidade Federal de Minas Gerais. https:\/\/doi.org\/10.1016\/j.cola.2025.101368.","DOI":"10.1016\/j.cola.2025.101368"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01951942"},{"key":"e_1_3_2_1_20_1","volume-title":"LLVM: An infrastructure for multi-stage optimization","author":"Lattner Chris Arthur","year":"2002","unstructured":"Chris Arthur Lattner. 2002. LLVM: An infrastructure for multi-stage optimization. http:\/\/llvm.org."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00100"},{"key":"e_1_3_2_1_22_1","unstructured":"LLVM. [n. d.] a. Critical Edge Elimination Pass. https:\/\/llvm.org\/doxygen\/BreakCriticalEdges_8cpp_source.html."},{"key":"e_1_3_2_1_23_1","unstructured":"LLVM. [n. d.] b. LLVM Loop Terminology. https:\/\/llvm.org\/docs\/LoopTerminology.html."},{"key":"e_1_3_2_1_24_1","unstructured":"LLVM Project. 2024a. LLVM\/Mem2Reg.cpp. https:\/\/llvm.org\/doxygen\/Mem2Reg_8cpp_source.html."},{"key":"e_1_3_2_1_25_1","unstructured":"LLVM Project. 2024b. SanitizerCoverage. https:\/\/clang.llvm.org\/docs\/SanitizerCoverage.html."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2013.21"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00069"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2019.8661201"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446804.3446843"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134073"},{"key":"e_1_3_2_1_31_1","unstructured":"PGOInstrumentation. 2025. PGOInstrumentation.cpp. https:\/\/llvm.org\/doxygen\/PGOInstrumentation_8cpp_source.html."},{"key":"e_1_3_2_1_32_1","unstructured":"PROJECT NISSE. [n.d.]. Ball Larus edge profiling with loop optimization. https:\/\/github.com\/lac-dcc\/Nisse."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2907"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45237-7_29"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","unstructured":"Kosta Serebryany. 2016. Continuous Fuzzing with libFuzzer and AddressSanitizer. In 2016 IEEE Cybersecurity Development (SecDev). 157-157. doi:10.1109\/SecDev.2016.043","DOI":"10.1109\/SecDev.2016.043"},{"key":"e_1_3_2_1_36_1","volume-title":"OSS-Fuzz - Googletextquoterights continuous fuzzing service for open source software","author":"Serebryany Kostya","unstructured":"Kostya Serebryany. 2017. OSS-Fuzz - Googletextquoterights continuous fuzzing service for open source software. USENIX Association, Vancouver, BC. https:\/\/www.usenix.org\/conference\/usenixsecurity17\/technical-sessions\/presentation\/serebryany."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575727"},{"key":"e_1_3_2_1_38_1","unstructured":"The Intrinsics.td of LLVM project. 2025. LLVM project. https:\/\/github.com\/llvm\/llvm-project\/blob\/main\/llvm\/include\/llvm\/IR\/Intrinsics.td#L945."},{"key":"e_1_3_2_1_39_1","unstructured":"The LLVM Project. 2024. LLVM Language Reference Manual. https:\/\/llvm.org\/docs\/LangRef.html#noalias."},{"key":"e_1_3_2_1_40_1","first-page":"147","volume-title":"RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. In 2021 USENIX Annual Technical Conference (USENIX ATC 21)","author":"Wang Mingzhe","year":"2021","unstructured":"Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, and Jiaguang Sun. 2021. RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. In 2021 USENIX Annual Technical Conference (USENIX ATC 21). USENIX Association, 147-159. https:\/\/www.usenix.org\/conference\/atc21\/presentation\/wang-mingzhe"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523428"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","unstructured":"Yanhao Wang Xiangkun Jia Yuwei Liu Kyle Zeng Tiffany Bao Dinghao Wu and Purui Su. 2020. Not All Coverage Measurements Are Equal: Fuzzing by Coverage Accounting for Input Prioritization.. In NDSS. https:\/\/doi.org\/10.14722\/ndss.2020.24422","DOI":"10.14722\/ndss.2020.24422"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837619"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3616636"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416572"}],"event":{"name":"ASPLOS '26: 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Pittsburgh PA USA","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGPLAN ACM Special Interest Group on Programming Languages","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2"],"original-title":[],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T13:59:23Z","timestamp":1773583163000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3779212.3790196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,22]]},"references-count":45,"alternative-id":["10.1145\/3779212.3790196","10.1145\/3779212"],"URL":"https:\/\/doi.org\/10.1145\/3779212.3790196","relation":{},"subject":[],"published":{"date-parts":[[2026,3,22]]},"assertion":[{"value":"2026-03-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}