{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T01:06:37Z","timestamp":1780707997900,"version":"3.54.1"},"reference-count":77,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2020,5,27]],"date-time":"2020-05-27T00:00:00Z","timestamp":1590537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"crossref","award":["N00014-17-S-B010"],"award-info":[{"award-number":["N00014-17-S-B010"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Meas. Anal. Comput. Syst."],"published-print":{"date-parts":[[2020,5,27]]},"abstract":"<jats:p>This paper presents a study on the practicality of operating system (OS) kernel debloating---reducing kernel code that is not needed by the target applications---in real-world systems. Despite their significant benefits regarding security (attack surface reduction) and performance (fast boot times and reduced memory footprints), the state-of-the-art OS kernel debloating techniques are seldom adopted in practice, especially in production systems. We identify the limitations of existing kernel debloating techniques that hinder their practical adoption, including both accidental and essential limitations. To understand these limitations, we build an advanced debloating framework named \\tool which enables us to conduct a number of experiments on different types of OS kernels (including Linux and the L4 microkernel) with a wide variety of applications (including HTTPD, Memcached, MySQL, NGINX, PHP and Redis). Our experimental results reveal the challenges and opportunities towards making kernel debloating techniques practical for real-world systems. The main goal of this paper is to share these insights and our experiences to shed light on addressing the limitations of kernel debloating in future research and development efforts.<\/jats:p>","DOI":"10.1145\/3379469","type":"journal-article","created":{"date-parts":[[2020,5,28]],"date-time":"2020-05-28T04:29:21Z","timestamp":1590640161000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Set the Configuration for the Heart of the OS"],"prefix":"10.1145","volume":"4","author":[{"given":"Hsuan-Chi","family":"Kuo","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jianyan","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sibin","family":"Mohan","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tianyin","family":"Xu","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,5,27]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Amazon Linux 2. https:\/\/aws.amazon.com\/amazon-linux-2.  Amazon Linux 2. https:\/\/aws.amazon.com\/amazon-linux-2."},{"key":"e_1_2_1_2_1","unstructured":"Apache-Test. http:\/\/perl.apache.org\/Apache-Test\/.  Apache-Test. http:\/\/perl.apache.org\/Apache-Test\/."},{"key":"e_1_2_1_3_1","unstructured":"FIASCO\n   : The L4Re Microkernel. http:\/\/os.inf.tu-dresden.de\/fiasco.  FIASCO : The L4Re Microkernel. http:\/\/os.inf.tu-dresden.de\/fiasco."},{"key":"e_1_2_1_4_1","unstructured":"LAMP. http:\/\/ampps.com\/lamp.  LAMP. http:\/\/ampps.com\/lamp."},{"key":"e_1_2_1_5_1","unstructured":"Memcached Test. https:\/\/github.com\/memcached\/memcached\/tree\/master\/t.  Memcached Test. https:\/\/github.com\/memcached\/memcached\/tree\/master\/t."},{"key":"e_1_2_1_6_1","unstructured":"nginx-tests. https:\/\/github.com\/nginx\/nginx-tests.  nginx-tests. https:\/\/github.com\/nginx\/nginx-tests."},{"key":"e_1_2_1_7_1","unstructured":"PHP Test. https:\/\/github.com\/php\/php-src\/tree\/master\/tests.  PHP Test. https:\/\/github.com\/php\/php-src\/tree\/master\/tests."},{"key":"e_1_2_1_8_1","unstructured":"QEMU - the FAST! processor emulator. https:\/\/www.qemu.org.  QEMU - the FAST! processor emulator. https:\/\/www.qemu.org."},{"key":"e_1_2_1_9_1","unstructured":"Redis Test. https:\/\/github.com\/antirez\/redis\/tree\/unstable\/tests.  Redis Test. https:\/\/github.com\/antirez\/redis\/tree\/unstable\/tests."},{"key":"e_1_2_1_10_1","unstructured":"the cloud market. https:\/\/thecloudmarket.com\/stats#\/by_platform_definition.  the cloud market. https:\/\/thecloudmarket.com\/stats#\/by_platform_definition."},{"key":"e_1_2_1_11_1","unstructured":"The MySQL Test Suite. https:\/\/dev.mysql.com\/doc\/refman\/5.7\/en\/mysql-test-suite.html.  The MySQL Test Suite. https:\/\/dev.mysql.com\/doc\/refman\/5.7\/en\/mysql-test-suite.html."},{"key":"e_1_2_1_12_1","volume-title":"https:\/\/www.freebsd.org\/doc\/en_US.ISO8859--1\/books\/handbook\/kernelconfig-config.html","author":"Kernel Configuring","year":"2019","unstructured":"Configuring the FreeBSD Kernel . https:\/\/www.freebsd.org\/doc\/en_US.ISO8859--1\/books\/handbook\/kernelconfig-config.html , 2019 . Configuring the FreeBSD Kernel. https:\/\/www.freebsd.org\/doc\/en_US.ISO8859--1\/books\/handbook\/kernelconfig-config.html, 2019."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642990"},{"key":"e_1_2_1_14_1","volume-title":"ACM Transactions on Software Engineering and Methodology (TOSEM'18)","author":"Abal Iago","year":"2018","unstructured":"Iago Abal , Jean Melo , Stefan Stnciulescu , Claus Brabrand , M\u00e1rcio Ribeiro , and Andrzej Wasowski . Variability Bugs in Highly Configurable Systems: A Qualitative Analysis . In ACM Transactions on Software Engineering and Methodology (TOSEM'18) , 2018 . Iago Abal, Jean Melo, Stefan Stnciulescu, Claus Brabrand, M\u00e1rcio Ribeiro, and Andrzej Wasowski. Variability Bugs in Highly Configurable Systems: A Qualitative Analysis. In ACM Transactions on Software Engineering and Methodology (TOSEM'18), 2018."},{"key":"e_1_2_1_16_1","volume-title":"INRIA","author":"Acher Mathieu","year":"2019","unstructured":"Mathieu Acher , Hugo Martin , Juliana Alves Pereira , Arnaud Blouin , Djamel Eddine Khelladi , and Jean-Marc J\u00e9z\u00e9quel . Learning From Thousands of Build Failures of Linux Kernel Configurations. Technical report , INRIA , June 2019 . Mathieu Acher, Hugo Martin, Juliana Alves Pereira, Arnaud Blouin, Djamel Eddine Khelladi, and Jean-Marc J\u00e9z\u00e9quel. Learning From Thousands of Build Failures of Linux Kernel Configurations. Technical report, INRIA, June 2019."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the 1st Workshop on SoftwAre debLoating And Delayering","author":"Alharthi Mansour","year":"2018","unstructured":"Mansour Alharthi , Hong Hu , Hyungon Moon , and Taesoo Kim . On the Effectiveness of Kernel Debloating via Compile-time Configuration . In Proceedings of the 1st Workshop on SoftwAre debLoating And Delayering , Amsterdam, Netherlands , July 2018 . Mansour Alharthi, Hong Hu, Hyungon Moon, and Taesoo Kim. On the Effectiveness of Kernel Debloating via Compile-time Configuration. In Proceedings of the 1st Workshop on SoftwAre debLoating And Delayering, Amsterdam, Netherlands, July 2018."},{"key":"e_1_2_1_18_1","volume-title":"Ambient Occlusion Benchmark. https:\/\/github.com\/gnzlbg\/aobench","year":"2019","unstructured":"aobench. Ambient Occlusion Benchmark. https:\/\/github.com\/gnzlbg\/aobench , 2019 . aobench. Ambient Occlusion Benchmark. https:\/\/github.com\/gnzlbg\/aobench, 2019."},{"key":"e_1_2_1_19_1","first-page":"4","author":"Biere Armin","year":"2008","unstructured":"Armin Biere . Picosat essentials. JSAT , 4 , 2008 . Armin Biere. Picosat essentials. JSAT, 4, 2008.","journal-title":"JSAT"},{"key":"e_1_2_1_20_1","volume-title":"Back in Microservice. In Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC '18)","author":"Boucher Sol","year":"2018","unstructured":"Sol Boucher , Anuj Kalia , David G. Andersen , and Michael Kaminsky . Putting the \"Micro\" Back in Microservice. In Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC '18) , Boston, MA, USA , July 2018 . Sol Boucher, Anuj Kalia, David G. Andersen, and Michael Kaminsky. Putting the \"Micro\" Back in Microservice. In Proceedings of the 2018 USENIX Annual Technical Conference (USENIX ATC '18), Boston, MA, USA, July 2018."},{"key":"e_1_2_1_21_1","volume-title":"Burns and David Oppenheimer. Design Patterns for Container-based Distributed Systems. In Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud'16)","author":"Brendan","year":"2016","unstructured":"Brendan Burns and David Oppenheimer. Design Patterns for Container-based Distributed Systems. In Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud'16) , Denver, CO, USA , June 2016 . Brendan Burns and David Oppenheimer. Design Patterns for Container-based Distributed Systems. In Proceedings of the 8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud'16), Denver, CO, USA, June 2016."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08) , San Diego, CA, USA , December 2008 . Cristian Cadar, Daniel Dunbar, and Dawson Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08), San Diego, CA, USA, December 2008."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3273045.3273048"},{"key":"e_1_2_1_25_1","volume-title":"September","author":"Corbet Jonathan","year":"2016","unstructured":"Jonathan Corbet . A different approach to kernel configuration. https:\/\/lwn.net\/Articles\/733405\/ , September 2016 . Jonathan Corbet. A different approach to kernel configuration. https:\/\/lwn.net\/Articles\/733405\/, September 2016."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362544"},{"key":"e_1_2_1_27_1","volume-title":"April","author":"Emmanoulopoulou Alexia","year":"2016","unstructured":"Alexia Emmanoulopoulou . infographic: How many people use Ubuntu? https:\/\/blog.ubuntu.com\/2016\/04\/07\/ubuntu-is-everywhere , April 2016 . Alexia Emmanoulopoulou. infographic: How many people use Ubuntu? https:\/\/blog.ubuntu.com\/2016\/04\/07\/ubuntu-is-everywhere, April 2016."},{"key":"e_1_2_1_28_1","volume-title":"James O'Toole Jr. Exokernel: An Operating System Architecture for Application-level Resource Management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP'95)","author":"Engler Dawson R.","year":"1995","unstructured":"Dawson R. Engler , M. Frans Kaashoek , and James O'Toole Jr. Exokernel: An Operating System Architecture for Application-level Resource Management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP'95) , Copper Mountain, Colorado, USA , 1995 . Dawson R. Engler, M. Frans Kaashoek, and James O'Toole Jr. Exokernel: An Operating System Architecture for Application-level Resource Management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP'95), Copper Mountain, Colorado, USA, 1995."},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the 2003 Linux Symposium","author":"Germaschewski Kai","year":"2003","unstructured":"Kai Germaschewski and Sam Ravnborg . Kernel configuration and building in Linux 2.5 . In Proceedings of the 2003 Linux Symposium , Ottawa, Ontario, Canada , July 2003 . Kai Germaschewski and Sam Ravnborg. Kernel configuration and building in Linux 2.5. In Proceedings of the 2003 Linux Symposium, Ottawa, Ontario, Canada, July 2003."},{"key":"e_1_2_1_30_1","volume-title":"Koushik Sen. DART: Directed Automated Random Testing. In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'05)","author":"Godefroid Patrice","year":"2005","unstructured":"Patrice Godefroid , Nils Klarlund , and Koushik Sen. DART: Directed Automated Random Testing. In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'05) , Chicago, IL, USA , June 2005 . Patrice Godefroid, Nils Klarlund, and Koushik Sen. DART: Directed Automated Random Testing. In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'05), Chicago, IL, USA, June 2005."},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 8th Biennial Conference on Innovative Data Systems Research (CIDR'19)","author":"Hellerstein Joseph M.","year":"2019","unstructured":"Joseph M. Hellerstein , Jose Faleiro , Joseph E. Gonzalez , Johann Schleier-Smith , Vikram Sreekanti , Alexey Tumanov , and Chenggang Wu. Serverless Computing : One Step Forward, Two Steps Back . In Proceedings of the 8th Biennial Conference on Innovative Data Systems Research (CIDR'19) , Asilomar, California, USA , January 2019 . Joseph M. Hellerstein, Jose Faleiro, Joseph E. Gonzalez, Johann Schleier-Smith, Vikram Sreekanti, Alexey Tumanov, and Chenggang Wu. Serverless Computing: One Step Forward, Two Steps Back. In Proceedings of the 8th Biennial Conference on Innovative Data Systems Research (CIDR'19), Asilomar, California, USA, January 2019."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243838"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110164"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340459"},{"key":"e_1_2_1_35_1","volume-title":"January","author":"Janakiram MSV","year":"2016","unstructured":"MSV Janakiram . 10 Reasons Why Ubuntu Is Killing It In The Cloud. https:\/\/www.forbes.com\/sites\/janakirammsv\/2016\/01\/12\/10-reasons-why-ubuntu-is-killing-it-in-the-cloud , January 2016 . MSV Janakiram. 10 Reasons Why Ubuntu Is Killing It In The Cloud. https:\/\/www.forbes.com\/sites\/janakirammsv\/2016\/01\/12\/10-reasons-why-ubuntu-is-killing-it-in-the-cloud, January 2016."},{"key":"e_1_2_1_36_1","volume-title":"Peng Liu. JRed: Program Customization and Bloatware Mitigation Based on Static Analysis. In 2016 IEEE 40th Annual Computer Software and Applications Conference","author":"Jiang Yufei","year":"2016","unstructured":"Yufei Jiang , Dinghao Wu , and Peng Liu. JRed: Program Customization and Bloatware Mitigation Based on Static Analysis. In 2016 IEEE 40th Annual Computer Software and Applications Conference , 2016 . Yufei Jiang, Dinghao Wu, and Peng Liu. JRed: Program Customization and Bloatware Mitigation Based on Static Analysis. In 2016 IEEE 40th Annual Computer Software and Applications Conference, 2016."},{"key":"e_1_2_1_37_1","volume-title":"University of California","author":"Jonas Eric","year":"2019","unstructured":"Eric Jonas , Johann Schleier-Smith , Vikram Sreekanti , Chia-Che Tsai , Anurag Khandelwal , Qifan Pu , Vaishaal Shankar , Joao Menezes Carreira , Karl Krauth , Neeraja Yadwadkar , Joseph Gonzalez , Raluca Ada Popa , Ion Stoica , and David A. Patterson . Cloud Programming Simplified: A Berkeley View on Serverless Computing. Technical Report UCB\/EECS-2019--3, EECS Department , University of California , Berkeley , Feb 2019 . Eric Jonas, Johann Schleier-Smith, Vikram Sreekanti, Chia-Che Tsai, Anurag Khandelwal, Qifan Pu, Vaishaal Shankar, Joao Menezes Carreira, Karl Krauth, Neeraja Yadwadkar, Joseph Gonzalez, Raluca Ada Popa, Ion Stoica, and David A. Patterson. Cloud Programming Simplified: A Berkeley View on Serverless Computing. Technical Report UCB\/EECS-2019--3, EECS Department, University of California, Berkeley, Feb 2019."},{"key":"e_1_2_1_38_1","volume-title":"The Linux Foundation Open Source Summit North America","author":"Kang Junghwan","year":"2017","unstructured":"Junghwan Kang . A Practical Approach of Tailoring Linux Kernel . In The Linux Foundation Open Source Summit North America , Los Angeles, CA , September 2017 . Junghwan Kang. A Practical Approach of Tailoring Linux Kernel. In The Linux Foundation Open Source Summit North America, Los Angeles, CA, September 2017."},{"key":"e_1_2_1_39_1","volume-title":"BC","author":"Kang Junghwan","year":"2018","unstructured":"Junghwan Kang . An Empirical Study of an Advanced Kernel Tailoring Framework. In The Linux Foundation Open Source Summit, Vancouver , BC , Canada , August 2018 . Junghwan Kang. An Empirical Study of an Advanced Kernel Tailoring Framework. In The Linux Foundation Open Source Summit, Vancouver, BC, Canada, August 2018."},{"key":"e_1_2_1_40_1","volume-title":"August","author":"Kang Junghwan","year":"2018","unstructured":"Junghwan Kang . Linux Kernel Tailoring Framework. https:\/\/github.com\/ultract\/linux-kernel-tailoring-framework , August 2018 . Junghwan Kang. Linux Kernel Tailoring Framework. https:\/\/github.com\/ultract\/linux-kernel-tailoring-framework, August 2018."},{"key":"e_1_2_1_41_1","volume-title":"Rump Kernels: No OS? No Problem! ;login:, 39(5):11--17","author":"Kantee Antti","year":"2014","unstructured":"Antti Kantee and Justin Cormack . Rump Kernels: No OS? No Problem! ;login:, 39(5):11--17 , 2014 . Antti Kantee and Justin Cormack. Rump Kernels: No OS? No Problem! ;login:, 39(5):11--17, 2014."},{"key":"e_1_2_1_42_1","volume-title":"https:\/\/www.kernel.org\/doc\/Documentation\/kbuild\/kconfig-language.txt","year":"2018","unstructured":"kernel.org. Kconfig. https:\/\/www.kernel.org\/doc\/Documentation\/kbuild\/kconfig-language.txt , 2018 . kernel.org. Kconfig. https:\/\/www.kernel.org\/doc\/Documentation\/kbuild\/kconfig-language.txt, 2018."},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the 2014 USENIX Annual Technical Conference (USENIX ATC'14)","author":"Kivity Avi","year":"2014","unstructured":"Avi Kivity , Dor Laor , Glauber Costa , Pekka Enberg , Nadav Har'El , Don Marti , and Vlad Zolotarov . OSV -- Optimizing the Operating System for Virtual Machines . In Proceedings of the 2014 USENIX Annual Technical Conference (USENIX ATC'14) , Philadelphia, PA, USA , June 2014 . Avi Kivity, Dor Laor, Glauber Costa, Pekka Enberg, Nadav Har'El, Don Marti, and Vlad Zolotarov. OSV -- Optimizing the Operating System for Virtual Machines. In Proceedings of the 2014 USENIX Annual Technical Conference (USENIX ATC'14), Philadelphia, PA, USA, June 2014."},{"key":"e_1_2_1_44_1","volume-title":"Michael Hicks. Evaluating Fuzz Testing. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS'18)","author":"Klees George","year":"2018","unstructured":"George Klees , Andrew Ruef , Benji Cooper , Shiyi Wei , and Michael Hicks. Evaluating Fuzz Testing. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS'18) , Toronto, Canada , 2018 . George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, and Michael Hicks. Evaluating Fuzz Testing. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS'18), Toronto, Canada, 2018."},{"key":"e_1_2_1_45_1","volume-title":"March","author":"Kuo Hsuan-Chi","year":"2019","unstructured":"Hsuan-Chi Kuo , Akshith Gunasekaran , Yeongjin Jang , Sibin Mohan , Rakesh B. Bobba , David Lie , and Jesse Walker . MultiK: A Framework for Orchestrating Multiple Specialized Kernels. arXiv:1903.06889 , March 2019 . Hsuan-Chi Kuo, Akshith Gunasekaran, Yeongjin Jang, Sibin Mohan, Rakesh B. Bobba, David Lie, and Jesse Walker. MultiK: A Framework for Orchestrating Multiple Specialized Kernels. arXiv:1903.06889, March 2019."},{"key":"e_1_2_1_46_1","volume-title":"Kapitza. Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring. In Proceedings of the 20th Annual Network and Distributed System Security Symposium (NDSS'13)","author":"Kurmus Anil","year":"2013","unstructured":"Anil Kurmus , Reinhard Tartler , Daniela Dorneanu , Bernhard Heinloth , Valentin Rothberg , Andreas Ruprecht , Wolfgang Schr\u00f6 der- Preikschat , Daniel Lohmann , and R\u00fc diger Kapitza. Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring. In Proceedings of the 20th Annual Network and Distributed System Security Symposium (NDSS'13) , San Diego, CA, USA , February 2013 . Anil Kurmus, Reinhard Tartler, Daniela Dorneanu, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Wolfgang Schr\u00f6 der-Preikschat, Daniel Lohmann, and R\u00fc diger Kapitza. Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring. In Proceedings of the 20th Annual Network and Distributed System Security Symposium (NDSS'13), San Diego, CA, USA, February 2013."},{"key":"e_1_2_1_47_1","volume-title":"Jim-Min Lin. Linux Kernel Customization for Embedded Systems By Using Call Graph Approach. In Proceedings of the 2003 Asia and South Pacific Design Automation Conference (ASP-DAC'03)","author":"Lee Che-Tai","year":"2003","unstructured":"Che-Tai Lee , Zeng-Wei Hong , and Jim-Min Lin. Linux Kernel Customization for Embedded Systems By Using Call Graph Approach. In Proceedings of the 2003 Asia and South Pacific Design Automation Conference (ASP-DAC'03) , Kitakyushu, Japan , January 2003 . Che-Tai Lee, Zeng-Wei Hong, and Jim-Min Lin. Linux Kernel Customization for Embedded Systems By Using Call Graph Approach. In Proceedings of the 2003 Asia and South Pacific Design Automation Conference (ASP-DAC'03), Kitakyushu, Japan, January 2003."},{"issue":"6","key":"e_1_2_1_48_1","volume":"20","author":"Lee Chi-Tai","year":"2004","unstructured":"Chi-Tai Lee , Jim-Min Lin , Zeng-Wei Hong , and Wei-Tsong Lee. An Application-Oriented Linux Kernel Customization for Embedded Systems. Journal of Information Science and Engineering , 20 ( 6 ), 2004 . Chi-Tai Lee, Jim-Min Lin, Zeng-Wei Hong, and Wei-Tsong Lee. An Application-Oriented Linux Kernel Customization for Embedded Systems. Journal of Information Science and Engineering, 20(6), 2004.","journal-title":"Journal of Information Science and Engineering"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451167"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541883.2541895"},{"key":"e_1_2_1_51_1","volume-title":"addr2line(1). https:\/\/linux.die.net\/man\/1\/addr2line","author":"Linux","year":"2019","unstructured":"Linux man page. addr2line(1). https:\/\/linux.die.net\/man\/1\/addr2line , 2019 . Linux man page. addr2line(1). https:\/\/linux.die.net\/man\/1\/addr2line, 2019."},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132763"},{"key":"e_1_2_1_53_1","volume-title":"Manuel Egele, Edward J. Schwartz, and Maverick Woo. The Art, Science, and Engineering of Fuzzing: A Survey. arXiv:1812.00140","author":"Man\u00e9s Valentin J.M.","year":"2019","unstructured":"Valentin J.M. Man\u00e9s , HyungSeok Han , Choongwoo Han , Sang Kil Cha , Manuel Egele, Edward J. Schwartz, and Maverick Woo. The Art, Science, and Engineering of Fuzzing: A Survey. arXiv:1812.00140 , April 2019 . Valentin J.M. Man\u00e9s, HyungSeok Han, Choongwoo Han, Sang Kil Cha, Manuel Egele, Edward J. Schwartz, and Maverick Woo. The Art, Science, and Engineering of Fuzzing: A Survey. arXiv:1812.00140, April 2019."},{"key":"e_1_2_1_54_1","volume-title":"Krzysztof Czarnecki. Mining Configuration Constraints: Static Analyses and Empirical Results. In Proceedings of the 36th International Conference on Software Engineering (ICSE'14)","author":"Nadi Sarah","year":"2014","unstructured":"Sarah Nadi , Thorsten Berger , Christian K\"astner, and Krzysztof Czarnecki. Mining Configuration Constraints: Static Analyses and Empirical Results. In Proceedings of the 36th International Conference on Software Engineering (ICSE'14) , Hyderabad, India , 2014 . Sarah Nadi, Thorsten Berger, Christian K\"astner, and Krzysztof Czarnecki. Mining Configuration Constraints: Static Analyses and Empirical Results. In Proceedings of the 36th International Conference on Software Engineering (ICSE'14), Hyderabad, India, 2014."},{"key":"e_1_2_1_55_1","volume-title":"Binoy Ravindran. A Binary-Compatible Unikernel. In Proceedings of the 15th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments (VEE'19)","author":"Olivier Pierre","year":"2019","unstructured":"Pierre Olivier , Daniel Chiba , Stefan Lankes , Changwoo Min , and Binoy Ravindran. A Binary-Compatible Unikernel. In Proceedings of the 15th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments (VEE'19) , Providence, Rhode Island, USA , April 2019 . Pierre Olivier, Daniel Chiba, Stefan Lankes, Changwoo Min, and Binoy Ravindran. A Binary-Compatible Unikernel. In Proceedings of the 15th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments (VEE'19), Providence, Rhode Island, USA, April 2019."},{"key":"e_1_2_1_56_1","volume-title":"A Study of Feature Scattering in the Linux Kernel","author":"Passos Leonardo","year":"2018","unstructured":"Leonardo Passos , Rodrigo Queiroz , Mukelabai Mukelabai , Thorsten Berger , Sven Apel , Krzysztof Czarnecki , and Jesus Padilla . A Study of Feature Scattering in the Linux Kernel . In IEEE Transactions on Software Engineering (TSE) , 2018 . Leonardo Passos, Rodrigo Queiroz, Mukelabai Mukelabai, Thorsten Berger, Sven Apel, Krzysztof Czarnecki, and Jesus Padilla. A Study of Feature Scattering in the Linux Kernel. In IEEE Transactions on Software Engineering (TSE), 2018."},{"key":"e_1_2_1_57_1","volume-title":"LWN: Shrinking the kernel with a hammer. https:\/\/lwn.net\/Articles\/748198\/","author":"Pitre Nicolas","year":"2018","unstructured":"Nicolas Pitre . LWN: Shrinking the kernel with a hammer. https:\/\/lwn.net\/Articles\/748198\/ , 2018 . Nicolas Pitre. LWN: Shrinking the kernel with a hammer. https:\/\/lwn.net\/Articles\/748198\/, 2018."},{"key":"e_1_2_1_58_1","volume-title":"LWN: Shrinking the kernel with an axe. https:\/\/lwn.net\/Articles\/746780\/","author":"Pitre Nicolas","year":"2018","unstructured":"Nicolas Pitre . LWN: Shrinking the kernel with an axe. https:\/\/lwn.net\/Articles\/746780\/ , 2018 . Nicolas Pitre. LWN: Shrinking the kernel with an axe. https:\/\/lwn.net\/Articles\/746780\/, 2018."},{"key":"e_1_2_1_59_1","volume-title":"LWN: Shrinking the kernel with link-time garbage collection. https:\/\/lwn.net\/Articles\/741494\/","author":"Pitre Nicolas","year":"2018","unstructured":"Nicolas Pitre . LWN: Shrinking the kernel with link-time garbage collection. https:\/\/lwn.net\/Articles\/741494\/ , 2018 . Nicolas Pitre. LWN: Shrinking the kernel with link-time garbage collection. https:\/\/lwn.net\/Articles\/741494\/, 2018."},{"key":"e_1_2_1_60_1","volume-title":"LWN: Shrinking the kernel with link-time optimization. https:\/\/lwn.net\/Articles\/744507\/","author":"Pitre Nicolas","year":"2018","unstructured":"Nicolas Pitre . LWN: Shrinking the kernel with link-time optimization. https:\/\/lwn.net\/Articles\/744507\/ , 2018 . Nicolas Pitre. LWN: Shrinking the kernel with link-time optimization. https:\/\/lwn.net\/Articles\/744507\/, 2018."},{"key":"e_1_2_1_61_1","volume-title":"Wenke Lee. RAZOR: A Framework for Post-deployment Software Debloating. In Proceedings of the 28th USENIX Security Symposium","author":"Qian Chenxiong","year":"2019","unstructured":"Chenxiong Qian , Hong Hu , Mansour Alharthi , Pak Ho Chung , Taesoo Kim , and Wenke Lee. RAZOR: A Framework for Post-deployment Software Debloating. In Proceedings of the 28th USENIX Security Symposium , Santa Clara, CA, USA , August 2019 . Chenxiong Qian, Hong Hu, Mansour Alharthi, Pak Ho Chung, Taesoo Kim, and Wenke Lee. RAZOR: A Framework for Post-deployment Software Debloating. In Proceedings of the 28th USENIX Security Symposium, Santa Clara, CA, USA, August 2019."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.5555\/3277203.3277269"},{"key":"e_1_2_1_63_1","volume-title":"Patrick McDaniel. Cimplifier: Automatically Debloating Containers. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC\/FSE 2017","author":"Rastogi Vaibhav","year":"2017","unstructured":"Vaibhav Rastogi , Drew Davidson , Lorenzo De Carli , Somesh Jha , and Patrick McDaniel. Cimplifier: Automatically Debloating Containers. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC\/FSE 2017 ), Paderborn, Germany , 2017 . Vaibhav Rastogi, Drew Davidson, Lorenzo De Carli, Somesh Jha, and Patrick McDaniel. Cimplifier: Automatically Debloating Containers. In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC\/FSE 2017), Paderborn, Germany, 2017."},{"key":"e_1_2_1_64_1","volume-title":"February","author":"Savage Neil","year":"2018","unstructured":"Neil Savage . Going Serverless . Communications of the ACM, 61(2) , February 2018 . Neil Savage. Going Serverless. Communications of the ACM, 61(2), February 2018."},{"key":"e_1_2_1_65_1","volume-title":"July","author":"Savoia Alberto","year":"2010","unstructured":"Alberto Savoia . Code coverage goal: 80% and no less! https:\/\/testing.googleblog.com\/2010\/07\/code-coverage-goal-80-and-no-less.html , July 2010 . Alberto Savoia. Code coverage goal: 80% and no less! https:\/\/testing.googleblog.com\/2010\/07\/code-coverage-goal-80-and-no-less.html, July 2010."},{"key":"e_1_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA482657"},{"key":"e_1_2_1_67_1","volume-title":"Fareed Zaffar. TRIMMER: Application Specialization for Code Debloating. In Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering (ASE '18)","author":"Sharif Hashim","year":"2018","unstructured":"Hashim Sharif , Muhammad Abubakar , Ashish Gehani , and Fareed Zaffar. TRIMMER: Application Specialization for Code Debloating. In Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering (ASE '18) , Montpellier, France , September 2018 . Hashim Sharif, Muhammad Abubakar, Ashish Gehani, and Fareed Zaffar. TRIMMER: Application Specialization for Code Debloating. In Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering (ASE '18), Montpellier, France, September 2018."},{"key":"e_1_2_1_68_1","volume-title":"Formal Semantics of the Kconfig Language. Technical report, Electrical and Computer Engineering","author":"She Steven","year":"2010","unstructured":"Steven She and Thorsten Berger . Formal Semantics of the Kconfig Language. Technical report, Electrical and Computer Engineering , University of Waterloo , Canada, January 2010 . Technical Note. Steven She and Thorsten Berger. Formal Semantics of the Kconfig Language. Technical report, Electrical and Computer Engineering, University of Waterloo, Canada, January 2010. Technical Note."},{"key":"e_1_2_1_69_1","volume-title":"Kapitza. EsseOS: Haskell-based Tailored Services for the Cloud. In Proceedings of the 12th International Workshop on Adaptive and Reflective Middleware (ARM'13)","author":"Stengel Klaus","year":"2013","unstructured":"Klaus Stengel , Florian Schmaus , and R\u00fc diger Kapitza. EsseOS: Haskell-based Tailored Services for the Cloud. In Proceedings of the 12th International Workshop on Adaptive and Reflective Middleware (ARM'13) , Beijing, China , December 2013 . Klaus Stengel, Florian Schmaus, and R\u00fc diger Kapitza. EsseOS: Haskell-based Tailored Services for the Cloud. In Proceedings of the 12th International Workshop on Adaptive and Reflective Middleware (ARM'13), Beijing, China, December 2013."},{"key":"e_1_2_1_70_1","volume-title":"Zhendong Su. Perses: Syntax-guided Program Reduction. In In Proceedings of the 40th International Conference on Software Engineering (ASE'18)","author":"Sun Chengnian","year":"2018","unstructured":"Chengnian Sun , Yuanbo Li , Qirun Zhang , Tianxiao Gu , and Zhendong Su. Perses: Syntax-guided Program Reduction. In In Proceedings of the 40th International Conference on Software Engineering (ASE'18) , 2018 . Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, and Zhendong Su. Perses: Syntax-guided Program Reduction. In In Proceedings of the 40th International Conference on Software Engineering (ASE'18), 2018."},{"key":"e_1_2_1_71_1","volume-title":"Proceedings of the 8th USENIX Conference on Hot Topics in System Dependability (HotDep'12)","author":"Tartler Reinhard","year":"2012","unstructured":"Reinhard Tartler , Anil Kurmus , Bernhard Heinloth , Valentin Rothberg , Andreas Ruprecht , Daniela Dorneanu , R\u00fcdiger Kapitza , Wolfgang Schr\u00f6der-Preikschat , and Daniel Lohmann . Automatic OS Kernel TCB Reduction by Leveraging Compile-time Configurability . In Proceedings of the 8th USENIX Conference on Hot Topics in System Dependability (HotDep'12) , Hollywood, CA , 2012 . Reinhard Tartler, Anil Kurmus, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Daniela Dorneanu, R\u00fcdiger Kapitza, Wolfgang Schr\u00f6der-Preikschat, and Daniel Lohmann. Automatic OS Kernel TCB Reduction by Leveraging Compile-time Configurability. In Proceedings of the 8th USENIX Conference on Hot Topics in System Dependability (HotDep'12), Hollywood, CA, 2012."},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592812"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901318.2901341"},{"key":"e_1_2_1_75_1","volume-title":"The eCos component writer's guide. Available: ecos. sourceware. org\/ecos\/docs-latest\/cdl-guide\/cdlguide. html","author":"Veer Bart","year":"2000","unstructured":"Bart Veer and John Dallaway . The eCos component writer's guide. Available: ecos. sourceware. org\/ecos\/docs-latest\/cdl-guide\/cdlguide. html , 2000 . Bart Veer and John Dallaway. The eCos component writer's guide. Available: ecos. sourceware. org\/ecos\/docs-latest\/cdl-guide\/cdlguide. html, 2000."},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786852"},{"key":"e_1_2_1_77_1","volume-title":"January","author":"Xu Tianyin","year":"2016","unstructured":"Tianyin Xu , Vineet Pandey , and Scott Klemmer . An HCI View of Configuration Problems. arXiv:1601.01747 , January 2016 . Tianyin Xu, Vineet Pandey, and Scott Klemmer. An HCI View of Configuration Problems. arXiv:1601.01747, January 2016."},{"key":"e_1_2_1_78_1","volume-title":"July","author":"Xu Tianyin","year":"2015","unstructured":"Tianyin Xu and Yuanyuan Zhou . Systems Approaches to Tackling Configuration Errors: A Survey. ACM Computing Surveys (CSUR), 47(4) , July 2015 . Tianyin Xu and Yuanyuan Zhou. Systems Approaches to Tackling Configuration Errors: A Survey. ACM Computing Surveys (CSUR), 47(4), July 2015."}],"container-title":["Proceedings of the ACM on Measurement and Analysis of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3379469","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3379469","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3379469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:22Z","timestamp":1750197742000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3379469"}},"subtitle":["On the Practicality of Operating System Kernel Debloating"],"short-title":[],"issued":{"date-parts":[[2020,5,27]]},"references-count":77,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,5,27]]}},"alternative-id":["10.1145\/3379469"],"URL":"https:\/\/doi.org\/10.1145\/3379469","relation":{},"ISSN":["2476-1249"],"issn-type":[{"value":"2476-1249","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,27]]},"assertion":[{"value":"2020-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}