{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:47:45Z","timestamp":1776782865118,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"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":[[2018,9,3]]},"DOI":"10.1145\/3238147.3238160","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"329-339","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":68,"title":["TRIMMER: application specialization for code debloating"],"prefix":"10.1145","author":[{"given":"Hashim","family":"Sharif","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Abubakar","sequence":"additional","affiliation":[{"name":"Lahore University of Management Sciences, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashish","family":"Gehani","sequence":"additional","affiliation":[{"name":"SRI International, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fareed","family":"Zaffar","sequence":"additional","affiliation":[{"name":"Lahore University of Management Sciences, Pakistan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102120.1102165"},{"key":"e_1_3_2_1_2_1","volume-title":"Principles, Techniques","author":"Aho A. V.","year":"1986","unstructured":"Aho , A. V. , Sethi , R. , and Ullman , J. D . Compilers , Principles, Techniques . Addison Wesley Boston , 1986 . Aho, A. V., Sethi, R., and Ullman, J. D. Compilers, Principles, Techniques. Addison Wesley Boston, 1986."},{"key":"e_1_3_2_1_3_1","unstructured":"Aleph O. Smashing the stack for fun and profit. http:\/\/www. shmoo. com\/phrack\/Phrack49\/p49-14 (1996).  Aleph O. Smashing the stack for fun and profit. http:\/\/www. shmoo. com\/phrack\/Phrack49\/p49-14 (1996)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/HiPC.2013.6799131"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.28"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039252.2039253"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"e_1_3_2_1_9_1","first-page":"43","volume-title":"Sixth Workshop on Computer Architecture Evaluation using Commercial Workloads (CAECW)","author":"Binkert N. L.","year":"2003","unstructured":"Binkert , N. L. , Hallnor , E. G. , and Reinhardt , S. K . Network-oriented fullsystem simulation using m5 . In Sixth Workshop on Computer Architecture Evaluation using Commercial Workloads (CAECW) ( 2003 ), pp. 36\u2013 43 . Binkert, N. L., Hallnor, E. G., and Reinhardt, S. K. Network-oriented fullsystem simulation using m5. In Sixth Workshop on Computer Architecture Evaluation using Commercial Workloads (CAECW) (2003), pp. 36\u201343."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966913.1966919"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/861655"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_16"},{"key":"e_1_3_2_1_13_1","first-page":"224","volume-title":"Proceedings of the 8th USENIX conference on Operating Systems Design and Implementation (OSDI)","volume":"8","author":"Cadar C.","year":"2008","unstructured":"Cadar , C. , Dunbar , D. , Engler , D. R. , : 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) ( 2008 ), vol. 8 , pp. 209\u2013 224 . Cadar, C., Dunbar, D., Engler, D. R., et al. 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) (2008), vol. 8, pp. 209\u2013224."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2011.70"},{"key":"e_1_3_2_1_15_1","first-page":"92","volume-title":"International Conference on Theory and Applications of Satisfiability Testing","author":"Clarke E.","year":"2003","unstructured":"Clarke , E. , Talupur , M. , Veith , H. , and Wang , D . SAT based predicate abstraction for hardware verification . In International Conference on Theory and Applications of Satisfiability Testing ( 2003 ), Springer , pp. 78\u2013 92 . Clarke, E., Talupur, M., Veith, H., and Wang, D. SAT based predicate abstraction for hardware verification. In International Conference on Theory and Applications of Satisfiability Testing (2003), Springer, pp. 78\u201392."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/289121.289140"},{"key":"e_1_3_2_1_17_1","volume-title":"Engineering a Compiler","author":"Cooper K.","year":"2011","unstructured":"Cooper , K. , and Torczon , L . Engineering a Compiler . Elsevier , 2011 . Cooper, K., and Torczon, L. Engineering a Compiler. Elsevier, 2011."},{"key":"e_1_3_2_1_18_1","first-page":"411","volume-title":"Partial Evaluation","author":"Danvy O.","year":"1999","unstructured":"Danvy , O. Type-directed partial evaluation . In Partial Evaluation . Springer , 1999 , pp. 367\u2013 411 . Danvy, O. Type-directed partial evaluation. In Partial Evaluation. Springer, 1999, pp. 367\u2013411."},{"key":"e_1_3_2_1_19_1","first-page":"416","volume-title":"USENIX Security Symposium","author":"Davi L.","year":"2014","unstructured":"Davi , L. , Sadeghi , A.-R. , Lehmann , D. , and Monrose , F . Stitching the gadgets: On the ineffectiveness of coarse-grained control-flow integrity protection . In USENIX Security Symposium ( 2014 ), pp. 401\u2013 416 . Davi, L., Sadeghi, A.-R., Lehmann, D., and Monrose, F. Stitching the gadgets: On the ineffectiveness of coarse-grained control-flow integrity protection. In USENIX Security Symposium (2014), pp. 401\u2013416."},{"key":"e_1_3_2_1_20_1","volume-title":"ReCon 2014 Conference","author":"Dinaburg A.","year":"2014","unstructured":"Dinaburg , A. , and Ruef , A . Mcsema: Static translation of x86 instructions to LLVM . In ReCon 2014 Conference , Montreal, Canada ( 2014 ). Dinaburg, A., and Ruef, A. Mcsema: Static translation of x86 instructions to LLVM. In ReCon 2014 Conference, Montreal, Canada (2014)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_49"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770351.1770421"},{"key":"e_1_3_2_1_23_1","first-page":"10","volume-title":"Innovative Parallel Computing (InPar)","author":"Grauer-Gray S.","year":"2012","unstructured":"Grauer-Gray , S. , Xu , L. , Searles , R. , Ayalasomayajula , S. , and Cavazos , J . Auto-tuning a high-level language targeted to GPU codes . In Innovative Parallel Computing (InPar) ( 2012 ), IEEE , pp. 1\u2013 10 . Grauer-Gray, S., Xu, L., Searles, R., Ayalasomayajula, S., and Cavazos, J. Auto-tuning a high-level language targeted to GPU codes. In Innovative Parallel Computing (InPar) (2012), IEEE, pp. 1\u201310."},{"key":"e_1_3_2_1_24_1","volume-title":"The art of lean software development: a practical and incremental approach. \" O\u2019Reilly Media","author":"Hibbs C.","year":"2009","unstructured":"Hibbs , C. , Jewett , S. , and Sullivan , M . The art of lean software development: a practical and incremental approach. \" O\u2019Reilly Media , Inc .\", 2009 . Hibbs, C., Jewett, S., and Sullivan, M. The art of lean software development: a practical and incremental approach. \" O\u2019Reilly Media, Inc.\", 2009."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.39"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6494997"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_53"},{"key":"e_1_3_2_1_28_1","volume-title":"Peter Sestoft","author":"Jones N. D.","year":"1993","unstructured":"Jones , N. D. , Gomard , C. K. , and Sestoft , P . Partial evaluation and automatic program generation . Peter Sestoft , 1993 . Jones, N. D., Gomard, C. K., and Sestoft, P. Partial evaluation and automatic program generation. Peter Sestoft, 1993."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2011.37"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273440.1250715"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33365-1_13"},{"key":"e_1_3_2_1_32_1","first-page":"2","article-title":"Automated software diversity. Synthesis Lectures on Information Security, Privacy, &","volume":"10","author":"Larsen P.","year":"2015","unstructured":"Larsen , P. , Brunthaler , S. , Davi , L. , Sadeghi , A.-R. , and Franz , M . Automated software diversity. Synthesis Lectures on Information Security, Privacy, & Trust 10 , 2 ( 2015 ), 1\u201388. Larsen, P., Brunthaler, S., Davi, L., Sadeghi, A.-R., and Franz, M. Automated software diversity. Synthesis Lectures on Information Security, Privacy, & Trust 10, 2 (2015), 1\u201388.","journal-title":"Trust"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1506409.1506425"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_35_1","first-page":"6","article-title":"-T. An application-oriented Linux kernel customization for embedded systems","volume":"20","author":"Lee C.-T.","year":"2004","unstructured":"Lee , C.-T. , Lin , J.-M. , Hong , Z.-W. , and Lee , W . -T. An application-oriented Linux kernel customization for embedded systems . J. Inf. Sci. Eng. 20 , 6 ( 2004 ), 1093\u20131107. Lee, C.-T., Lin, J.-M., Hong, Z.-W., and Lee, W.-T. An application-oriented Linux kernel customization for embedded systems. J. Inf. Sci. Eng. 20, 6 (2004), 1093\u20131107.","journal-title":"J. Inf. Sci. Eng."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277185"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.515"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041552.2041563"},{"key":"e_1_3_2_1_39_1","volume-title":"Crowd sourcing based privacy threat analysis and alerting. Cryptography, Cyber Security and Information Warfare (3rd CryCybIW)","author":"Madia A.","year":"2016","unstructured":"Madia , A. , Nikoletseas , S. , Stamatiou , Y. , Tsolovos , D. , and Vlachos , V . Crowd sourcing based privacy threat analysis and alerting. Cryptography, Cyber Security and Information Warfare (3rd CryCybIW) ( 2016 ). Madia, A., Nikoletseas, S., Stamatiou, Y., Tsolovos, D., and Vlachos, V. Crowd sourcing based privacy threat analysis and alerting. Cryptography, Cyber Security and Information Warfare (3rd CryCybIW) (2016)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695751"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/377769.377778"},{"key":"e_1_3_2_1_42_1","first-page":"82","volume-title":"USENIX Security Symposium","volume":"9","author":"Molnar D.","year":"2009","unstructured":"Molnar , D. , Li , X. C. , and Wagner , D . Dynamic test generation to find integer bugs in x86 binary Linux programs . In USENIX Security Symposium ( 2009 ), vol. 9 , pp. 67\u2013 82 . Molnar, D., Li, X. C., and Wagner, D. Dynamic test generation to find integer bugs in x86 binary Linux programs. In USENIX Security Symposium (2009), vol. 9, pp. 67\u201382."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106271"},{"key":"e_1_3_2_1_44_1","unstructured":"Salwan J. Ropgadget tool. http:\/\/shell-storm.org\/project\/ROPgadget\/ 2012.  Salwan J. Ropgadget tool. http:\/\/shell-storm.org\/project\/ROPgadget\/ 2012."},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings USENIX Symposium on Mobile & Location-indendent Computing","volume":"9","author":"Schilit B. N.","year":"1993","unstructured":"Schilit , B. N. , Theimer , M. M. , and Welch , B. B . Customizing mobile applications . In Proceedings USENIX Symposium on Mobile & Location-indendent Computing ( 1993 ), vol. 9 . Schilit, B. N., Theimer, M. M., and Welch, B. B. Customizing mobile applications. In Proceedings USENIX Symposium on Mobile & Location-indendent Computing (1993), vol. 9."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315313"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/646186.683237"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/1991596.1991631"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.45"},{"key":"e_1_3_2_1_50_1","volume-title":"Everything curl. https:\/\/legacy.gitbook.com\/book\/bagder\/ everything-curl\/","author":"Stenberg D.","year":"2017","unstructured":"Stenberg , D. Everything curl. https:\/\/legacy.gitbook.com\/book\/bagder\/ everything-curl\/ , 2017 . Stenberg, D. Everything curl. https:\/\/legacy.gitbook.com\/book\/bagder\/ everything-curl\/, 2017."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161054"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882448"}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","location":"Montpellier France","acronym":"ASE '18","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238160","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:35Z","timestamp":1750210775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238160"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":52,"alternative-id":["10.1145\/3238147.3238160","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3238160","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}