{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T12:29:49Z","timestamp":1770726589967,"version":"3.49.0"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Office of Naval Research ONR","award":["N68335-17-C-0558"],"award-info":[{"award-number":["N68335-17-C-0558"]}]},{"name":"NSF","award":["ACI-1440800"],"award-info":[{"award-number":["ACI-1440800"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,9,1]]},"DOI":"10.1109\/tse.2021.3095716","type":"journal-article","created":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T19:42:55Z","timestamp":1625773375000},"page":"3485-3505","source":"Crossref","is-referenced-by-count":14,"title":["Trimmer: An Automated System for Configuration-Based Software Debloating"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7479-7567","authenticated-orcid":false,"given":"Aatira Anum","family":"Ahmad","sequence":"first","affiliation":[{"name":"Department of Computer Science, Lahore University of Management Sciences, Lahore, Punjab, Pakistan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9979-3252","authenticated-orcid":false,"given":"Abdul Rafae","family":"Noor","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Lahore University of Management Sciences, Lahore, Punjab, Pakistan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9496-9028","authenticated-orcid":false,"given":"Hashim","family":"Sharif","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Illinois at Urbana-Champaign, Champaign, IL, USA"}]},{"given":"Usama","family":"Hameed","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Lahore University of Management Sciences, Lahore, Punjab, Pakistan"}]},{"given":"Shoaib","family":"Asif","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Lahore University of Management Sciences, Lahore, Punjab, Pakistan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1328-1916","authenticated-orcid":false,"given":"Mubashir","family":"Anwar","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Lahore University of Management Sciences, Lahore, Punjab, Pakistan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3940-2467","authenticated-orcid":false,"given":"Ashish","family":"Gehani","sequence":"additional","affiliation":[{"name":"Computer Science Laboratory, SRI International, Menlo Park, CA, USA"}]},{"given":"Fareed","family":"Zaffar","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Lahore University of Management Sciences, Lahore, Punjab, Pakistan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6674-7727","authenticated-orcid":false,"given":"Junaid Haroon","family":"Siddiqui","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Lahore University of Management Sciences, Lahore, Punjab, Pakistan"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3273045.3273050"},{"key":"ref2","first-page":"1","article-title":"Attack surface metrics and automated compile-time os kernel tailoring","volume-title":"Proc. 20th Netw. Distrib. Syst. Secur. Symp.","author":"Kurmus"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882448"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2011.293"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1998.679507"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.28"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1377492.1377497"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695751"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3141235.3141241"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106271"},{"key":"ref11","first-page":"869","article-title":"Debloating software through piece-wise compilation and loading","volume-title":"Proc. 27th USENIX Secur. Symp.","author":"Quach"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243838"},{"key":"ref13","article-title":"Is less really more? Towards better metrics for measuring security improvements realized through software debloating","volume-title":"Proc. 12th USENIX Workshop Cyber Secur. Experimentation Test","author":"Brown"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238160"},{"key":"ref15","volume-title":"The Art of Lean Software Development: A Practical And Incremental Approach","author":"Hibbs","year":"2009"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277185"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47018-2_16"},{"key":"ref19","volume-title":"Partial Evaluation and Automatic Program Generation","author":"Jones","year":"1993"},{"key":"ref20","volume-title":"Engineering a Compiler","author":"Cooper","year":"2011"},{"key":"ref23","first-page":"1","article-title":"Kafka: A distributed messaging system for log processing","volume-title":"Proc. 6th Workshop Netw. Meets Databases","volume":"11","author":"Kreps"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996722"},{"key":"ref27","article-title":"thttpd - Tiny\/turbo\/throttling httpserver.","author":"Poskanzer","year":"2020"},{"key":"ref29","article-title":"Adaptively compressing IoT data on the resource-constrained edge","volume-title":"Proc. 3rd USENIX Workshop Hot Topics Edge Comput.","author":"Lu"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2011.37"},{"key":"ref32","first-page":"737","article-title":"Yices 2.2","volume-title":"Proc. Int. Conf. Comput. Aided Verification","author":"Dutertre"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_7"},{"key":"ref34","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. 8th USENIX Symp. Oper. Syst. Des. Implementation","author":"Cadar"},{"key":"ref36","article-title":"Program analysis and specialization for the C programming language","author":"Andersen","year":"1994"},{"key":"ref37","first-page":"619","article-title":"Early detection of configuration errors to reduce failure damage","volume-title":"Proc. 12th USENIX Symp. Oper. Syst. Des. Implementation","author":"Xu"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3141235.3141242"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315313"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1966913.1966919"},{"key":"ref43","first-page":"26","article-title":"make world","volume-title":"Proc. 13th USENIX Workshop Hot Topics Oper. Syst.","author":"Smowton"},{"key":"ref45","first-page":"1749","article-title":"Temporal system call specialization for attack surface reduction","volume-title":"Proc. 29th USENIX Secur. Symp.","author":"Ghavamnia"},{"key":"ref46","first-page":"1733","article-title":"RAZOR: A framework for post-deployment software debloating","volume-title":"Proc. 28th USENIX Secur. Symp.","author":"Qian"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386017"},{"key":"ref48","article-title":"Breaking payloads with runtime code stripping and image freezing","volume-title":"Black Hat USA","author":"Mulliner","year":"2015"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3359789.3359823"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3358222"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29962-0_5"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2756048"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.07.020"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9894039\/09478582.pdf?arnumber=9478582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T23:26:33Z","timestamp":1705015593000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9478582\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,1]]},"references-count":43,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2021.3095716","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,1]]}}}