{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T15:21:13Z","timestamp":1783610473430,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T00:00:00Z","timestamp":1635206400000},"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":[[2021,10,26]]},"DOI":"10.1145\/3477132.3483547","type":"proceedings-article","created":{"date-parts":[[2021,10,19]],"date-time":"2021-10-19T15:59:18Z","timestamp":1634659158000},"page":"344-358","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":66,"title":["HEALER"],"prefix":"10.1145","author":[{"given":"Hao","family":"Sun","sequence":"first","affiliation":[{"name":"KLISS, BNRist, School of Software, Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yuheng","family":"Shen","sequence":"additional","affiliation":[{"name":"KLISS, BNRist, School of Software, Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cong","family":"Wang","sequence":"additional","affiliation":[{"name":"KLISS, BNRist, School of Software, Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianzhong","family":"Liu","sequence":"additional","affiliation":[{"name":"KLISS, BNRist, School of Software, Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"KLISS, BNRist, School of Software, Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ting","family":"Chen","sequence":"additional","affiliation":[{"name":"Center for Cybersecurity, University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aiguo","family":"Cui","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-8655","year":"2016","unstructured":"CVE-2016-8655. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-8655 , 2016 . CVE-2016-8655. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-8655, 2016."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-17712","year":"2017","unstructured":"CVE-2017-17712. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-17712 , 2017 . CVE-2017-17712. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-17712, 2017."},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-2636","year":"2017","unstructured":"CVE-2017-2636. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-2636 , 2017 . CVE-2017-2636. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-2636, 2017."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"2329","DOI":"10.1145\/3133956.3134020","volume-title":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security","author":"B\u00f6hme Marcel","year":"2017","unstructured":"Marcel B\u00f6hme , Van-Thuan Pham , Manh-Dung Nguyen , and Abhik Roychoudhury . Directed greybox fuzzing. In David Evans, Tal Maklin, and Dongyan Xu, editors , Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security , pages 2329 -- 2344 , United States of America , 2017 . Association for Computing Machinery (ACM). Marcel B\u00f6hme, Van-Thuan Pham, Manh-Dung Nguyen, and Abhik Roychoudhury. Directed greybox fuzzing. In David Evans, Tal Maklin, and Dongyan Xu, editors, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, pages 2329--2344, United States of America, 2017. Association for Computing Machinery (ACM)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2785841"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAI.2017.8252193"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363225"},{"key":"e_1_3_2_1_8_1","first-page":"1967","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Chen Yuanliang","year":"2019","unstructured":"Yuanliang Chen , Yu Jiang , Fuchen Ma , Jie Liang , Mingzhe Wang , Chijin Zhou , Xun Jiao , and Zhuo Su. Enfuzz : Ensemble fuzzing with seed synchronization among diverse fuzzers . In 28th USENIX Security Symposium (USENIX Security 19) , pages 1967 -- 1983 , 2019 . Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao, and Zhuo Su. Enfuzz: Ensemble fuzzing with seed synchronization among diverse fuzzers. In 28th USENIX Security Symposium (USENIX Security 19), pages 1967--1983, 2019."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134069"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3341175"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00040"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375607"},{"key":"e_1_3_2_1_13_1","first-page":"151","volume-title":"NDSS","volume":"8","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid , Michael Y Levin , David A Molnar , Automated whitebox fuzz testing . In NDSS , volume 8 , pages 151 -- 166 , 2008 . Patrice Godefroid, Michael Y Levin, David A Molnar, et al. Automated whitebox fuzz testing. In NDSS, volume 8, pages 151--166, 2008."},{"key":"e_1_3_2_1_14_1","unstructured":"Google. The kernel address sanitizer. https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kasan.html.  Google. The kernel address sanitizer. https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kasan.html."},{"key":"e_1_3_2_1_15_1","unstructured":"Google. The kernel concurrency sanitizer. https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kcsan.html.  Google. The kernel concurrency sanitizer. https:\/\/www.kernel.org\/doc\/html\/latest\/dev-tools\/kcsan.html."},{"key":"e_1_3_2_1_16_1","first-page":"1931","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"G\u00fcler Emre","year":"2019","unstructured":"Emre G\u00fcler , Cornelius Aschermann , Ali Abbasi , and Thorsten Holz . Antifuzz : impeding fuzzing audits of binary executables . In 28th USENIX Security Symposium (USENIX Security 19) , pages 1931 -- 1947 , 2019 . Emre G\u00fcler, Cornelius Aschermann, Ali Abbasi, and Thorsten Holz. Antifuzz: impeding fuzzing audits of binary executables. In 28th USENIX Security Symposium (USENIX Security 19), pages 1931--1947, 2019."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134103"},{"key":"e_1_3_2_1_18_1","volume-title":"https:\/\/github.com\/nccgroup\/TriforceAFL","author":"Hertz Jesse","year":"2016","unstructured":"Jesse Hertz . https:\/\/github.com\/nccgroup\/TriforceAFL , 2016 . Jesse Hertz. https:\/\/github.com\/nccgroup\/TriforceAFL, 2016."},{"key":"e_1_3_2_1_19_1","volume-title":"https:\/\/github.com\/nccgroup\/TriforceLinuxSyscallFuzzer","author":"Hertz Jesse","year":"2016","unstructured":"Jesse Hertz . https:\/\/github.com\/nccgroup\/TriforceLinuxSyscallFuzzer , 2016 . Jesse Hertz. https:\/\/github.com\/nccgroup\/TriforceLinuxSyscallFuzzer, 2016."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"e_1_3_2_1_21_1","volume-title":"Trinity: Linux system call fuzzer. https:\/\/github.com\/kernelslacker\/trinity","author":"Jones Dave","year":"2012","unstructured":"Dave Jones . Trinity: Linux system call fuzzer. https:\/\/github.com\/kernelslacker\/trinity , 2012 . Dave Jones. Trinity: Linux system call fuzzer. https:\/\/github.com\/kernelslacker\/trinity, 2012."},{"key":"e_1_3_2_1_22_1","first-page":"1913","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Jung Jinho","year":"2019","unstructured":"Jinho Jung , Hong Hu , David Solodukhin , Daniel Pagan , Kyu Hyung Lee , and Taesoo Kim . Fuzzification : anti-fuzzing techniques . In 28th USENIX Security Symposium (USENIX Security 19) , pages 1913 -- 1930 , 2019 . Jinho Jung, Hong Hu, David Solodukhin, Daniel Pagan, Kyu Hyung Lee, and Taesoo Kim. Fuzzification: anti-fuzzing techniques. In 28th USENIX Security Symposium (USENIX Security 19), pages 1913--1930, 2019."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359662"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2834476"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2019.00018"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3275525"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2018.8330260"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSC.2019.00089"},{"key":"e_1_3_2_1_29_1","volume-title":"Polar: Function code aware fuzz testing of ics protocol. ACM Transactions on Embedded Computing Systems (TECS), 18(5s):93","author":"Luo Zhengxiong","year":"2019","unstructured":"Zhengxiong Luo , Feilong Zuo , Yu Jiang , Jian Gao , Xun Jiao , and Jiaguang Sun . Polar: Function code aware fuzz testing of ics protocol. ACM Transactions on Embedded Computing Systems (TECS), 18(5s):93 , 2019 . Zhengxiong Luo, Feilong Zuo, Yu Jiang, Jian Gao, Xun Jiao, and Jiaguang Sun. Polar: Function code aware fuzz testing of ics protocol. ACM Transactions on Embedded Computing Systems (TECS), 18(5s):93, 2019."},{"key":"e_1_3_2_1_30_1","first-page":"10","article-title":"The art, science, and engineering of fuzzing: A survey","author":"Manes Valentin","year":"2019","unstructured":"Valentin Manes , HyungSeok Han , Choongwoo Han , sang cha, Manuel Egele , Edward Schwartz , and Maverick Woo . The art, science, and engineering of fuzzing: A survey . IEEE Transactions on Software Engineering, PP:1--1 , 10 2019 . Valentin Manes, HyungSeok Han, Choongwoo Han, sang cha, Manuel Egele, Edward Schwartz, and Maverick Woo. The art, science, and engineering of fuzzing: A survey. IEEE Transactions on Software Engineering, PP:1--1, 10 2019.","journal-title":"IEEE Transactions on Software Engineering, PP:1--1"},{"key":"e_1_3_2_1_31_1","volume-title":"Pearson Education","author":"Michael Sutton Pedram Amini","year":"2007","unstructured":"Pedram Amini Michael Sutton , Adam Greene . Fuzzing : Brute Force Vulnerability Discovery . Pearson Education , 2007 . Pedram Amini Michael Sutton, Adam Greene. Fuzzing: Brute Force Vulnerability Discovery. Pearson Education, 2007."},{"key":"e_1_3_2_1_32_1","first-page":"729","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Pailoor Shankara","year":"2018","unstructured":"Shankara Pailoor , Andrew Aday , and Suman Jana . Moonshine : Optimizing OS fuzzer seed selection with trace distillation . In 27th USENIX Security Symposium (USENIX Security 18) , pages 729 -- 743 , Baltimore, MD , August 2018 . USENIX Association. Shankara Pailoor, Andrew Aday, and Suman Jana. Moonshine: Optimizing OS fuzzer seed selection with trace distillation. In 27th USENIX Security Symposium (USENIX Security 18), pages 729--743, Baltimore, MD, August 2018. USENIX Association."},{"key":"e_1_3_2_1_33_1","first-page":"167","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Schumilo Sergej","year":"2017","unstructured":"Sergej Schumilo , Cornelius Aschermann , Robert Gawlik , Sebastian Schinzel , and Thorsten Holz . kafl : Hardware-assisted feedback fuzzing for {OS } kernels . In 26th USENIX Security Symposium (USENIX Security 17) , pages 167 -- 182 , 2017 . Sergej Schumilo, Cornelius Aschermann, Robert Gawlik, Sebastian Schinzel, and Thorsten Holz. kafl: Hardware-assisted feedback fuzzing for {OS } kernels. In 26th USENIX Security Symposium (USENIX Security 17), pages 167--182, 2017."},{"key":"e_1_3_2_1_34_1","unstructured":"Bull SGI OSDL. Linux test project. http:\/\/linux-test-project.github.io\/.  Bull SGI OSDL. Linux test project. http:\/\/linux-test-project.github.io\/."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340460"},{"key":"e_1_3_2_1_36_1","volume-title":"Syzkaller: an unsupervised coverage-guided kernel fuzzer. https:\/\/github.com\/google\/syzkaller","author":"Vyukov Dmitry","year":"2015","unstructured":"Dmitry Vyukov and Andrey Konovalov . Syzkaller: an unsupervised coverage-guided kernel fuzzer. https:\/\/github.com\/google\/syzkaller , 2015 . Dmitry Vyukov and Andrey Konovalov. Syzkaller: an unsupervised coverage-guided kernel fuzzer. https:\/\/github.com\/google\/syzkaller, 2015."},{"key":"e_1_3_2_1_37_1","volume-title":"https:\/\/syzkaller. appspot.com\/upstream\/fixed","author":"Vyukov Dmitry","year":"2020","unstructured":"Dmitry Vyukov and Andrey Konovalov. Syzbot . https:\/\/syzkaller. appspot.com\/upstream\/fixed , 2020 . Dmitry Vyukov and Andrey Konovalov. Syzbot. https:\/\/syzkaller. appspot.com\/upstream\/fixed, 2020."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00078"},{"key":"e_1_3_2_1_39_1","unstructured":"Michal Zalewski. American fuzzy lop (2.52b). https:\/\/lcamtuf.coredump.cx\/afl.  Michal Zalewski. American fuzzy lop (2.52b). https:\/\/lcamtuf.coredump.cx\/afl."},{"key":"e_1_3_2_1_40_1","first-page":"1099","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Zheng Yaowen","year":"2019","unstructured":"Yaowen Zheng , Ali Davanian , Heng Yin , Chengyu Song , Hongsong Zhu , and Limin Sun . Firm-afl : high-throughput greybox fuzzing of iot firmware via augmented process emulation . In 28th USENIX Security Symposium (USENIX Security 19) , pages 1099 -- 1114 , 2019 . Yaowen Zheng, Ali Davanian, Heng Yin, Chengyu Song, Hongsong Zhu, and Limin Sun. Firm-afl: high-throughput greybox fuzzing of iot firmware via augmented process emulation. In 28th USENIX Security Symposium (USENIX Security 19), pages 1099--1114, 2019."}],"event":{"name":"SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles","location":"Virtual Event Germany","acronym":"SOSP '21","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477132.3483547","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477132.3483547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:49:15Z","timestamp":1750193355000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477132.3483547"}},"subtitle":["Relation Learning Guided Kernel Fuzzing"],"short-title":[],"issued":{"date-parts":[[2021,10,26]]},"references-count":40,"alternative-id":["10.1145\/3477132.3483547","10.1145\/3477132"],"URL":"https:\/\/doi.org\/10.1145\/3477132.3483547","relation":{},"subject":[],"published":{"date-parts":[[2021,10,26]]},"assertion":[{"value":"2021-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}