{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T10:09:02Z","timestamp":1781258942102,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,30]],"date-time":"2017-10-30T00:00:00Z","timestamp":1509321600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1441724"],"award-info":[{"award-number":["1441724"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,30]]},"DOI":"10.1145\/3139337.3139343","type":"proceedings-article","created":{"date-parts":[[2017,10,31]],"date-time":"2017-10-31T13:41:56Z","timestamp":1509457316000},"page":"37-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Compiler Optimizations with Retrofitting Transformations"],"prefix":"10.1145","author":[{"given":"Jay P.","family":"Lim","sequence":"first","affiliation":[{"name":"Rutgers University, Piscataway, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vinod","family":"Ganapathy","sequence":"additional","affiliation":[{"name":"Indian Institute of Science, Bangalore, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Santosh","family":"Nagarakatte","sequence":"additional","affiliation":[{"name":"Rutgers University, Piscataway, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2016. SoftBoundCETS shadow stack metadata propagation is wrong when llvm optimizations remove arguments. (2016). https:\/\/github.com\/santoshn\/softboundcets-34\/issues\/8.  2016. SoftBoundCETS shadow stack metadata propagation is wrong when llvm optimizations remove arguments. (2016). https:\/\/github.com\/santoshn\/softboundcets-34\/issues\/8."},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/github.com\/sandstorm-io\/capnproto\/blob\/master\/security-advisories\/2017-04-17-0-apple-clang-elides-bounds-check.md","year":"2017","unstructured":"2017. 2017\/04\/17 0 apple clang elides bounds check. ( 2017 ). https:\/\/github.com\/sandstorm-io\/capnproto\/blob\/master\/security-advisories\/2017-04-17-0-apple-clang-elides-bounds-check.md . 2017. 2017\/04\/17 0 apple clang elides bounds check. (2017). https:\/\/github.com\/sandstorm-io\/capnproto\/blob\/master\/security-advisories\/2017-04-17-0-apple-clang-elides-bounds-check.md."},{"key":"e_1_3_2_1_3_1","volume-title":"Control Flow Guard.","year":"2017","unstructured":"2017. Windows Dev Center , Control Flow Guard. ( 2017 ). https:\/\/msdn.microsoft.com\/en-us\/library\/windows\/desktop\/mt637065(v=vs.85).aspx. 2017. Windows Dev Center, Control Flow Guard. (2017). https:\/\/msdn.microsoft.com\/en-us\/library\/windows\/desktop\/mt637065(v=vs.85).aspx."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102120.1102165"},{"key":"e_1_3_2_1_5_1","volume-title":"USENIX Security Symposium.","author":"Akritidis Periklis","year":"2009","unstructured":"Periklis Akritidis , Manuel Costa , Miguel Castro , and Steven Hand . 2009 . Baggy bounds checking: An efficient and backwards-compatible defense against out-of-bounds errors . In USENIX Security Symposium. Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand. 2009. Baggy bounds checking: An efficient and backwards-compatible defense against out-of-bounds errors. In USENIX Security Symposium."},{"key":"e_1_3_2_1_6_1","volume-title":"Behavior-Based Malware Clustering. In Network and Distributed System Security Symposium (NDSS).","author":"Bayer Ulrich","year":"2009","unstructured":"Ulrich Bayer , Paolo Milani Comparetti , Clemens Hlauschek , Christopher Kruegel , and Engin Kirda . 2009 . Scalable , Behavior-Based Malware Clustering. In Network and Distributed System Security Symposium (NDSS). Ulrich Bayer, Paolo Milani Comparetti, Clemens Hlauschek, Christopher Kruegel, and Engin Kirda. 2009. Scalable, Behavior-Based Malware Clustering. In Network and Distributed System Security Symposium (NDSS)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430553.2430557"},{"key":"e_1_3_2_1_8_1","volume-title":"USENIX Security Symposium.","author":"Brumley David","year":"2007","unstructured":"David Brumley , Juan Caballero , Zhenkai Liang , James Newsome , and Dawn Song . 2007 . Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation . In USENIX Security Symposium. David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song. 2007. Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation. In USENIX Security Symposium."},{"key":"e_1_3_2_1_9_1","volume-title":"Carr and Mathias Payer","author":"Scott","year":"2017","unstructured":"Scott A. Carr and Mathias Payer . 2017 . DataShield: Configurable Data Confidentiality and Integrity. In ACM Sympsium on Information, Computer and Communications Security (ASIACCS) . Scott A. Carr and Mathias Payer. 2017. DataShield: Configurable Data Confidentiality and Integrity. In ACM Sympsium on Information, Computer and Communications Security (ASIACCS)."},{"key":"e_1_3_2_1_10_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Castro Miguel","year":"2006","unstructured":"Miguel Castro , Manuel Costa , and Tim Harris . 2006 . Securing software by enforcing data-flow integrity . In USENIX Symposium on Operating Systems Design and Implementation (OSDI). Miguel Castro, Manuel Costa, and Tim Harris. 2006. Securing software by enforcing data-flow integrity. In USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_11_1","volume-title":"USENIX Security Symposium.","author":"Christodorescu Mihai","year":"2003","unstructured":"Mihai Christodorescu and Somesh Jha . 2003 . Static Analysis of Executables to Detect Malicious Patterns . In USENIX Security Symposium. Mihai Christodorescu and Somesh Jha. 2003. Static Analysis of Executables to Detect Malicious Patterns. In USENIX Security Symposium."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2005.20"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781157"},{"key":"e_1_3_2_1_14_1","volume-title":"Network and Distributed System Security Symposium (NDSS).","author":"Davi Lucas","year":"2012","unstructured":"Lucas Davi , Ra Dmitrienko , Manuel Egele , Thomas Fischer , Thorsten Holz , Ralf Hund , Stefan N\u00fcrnberger , and Ahmad reza Sadeghi . 2012 . MoCFI: A framework to mitigate control-flow attacks on smartphones . In Network and Distributed System Security Symposium (NDSS). Lucas Davi, Ra Dmitrienko, Manuel Egele, Thomas Fischer, Thorsten Holz, Ralf Hund, Stefan N\u00fcrnberger, and Ahmad reza Sadeghi. 2012. MoCFI: A framework to mitigate control-flow attacks on smartphones. In Network and Distributed System Security Symposium (NDSS)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509550"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133999"},{"key":"e_1_3_2_1_19_1","volume-title":"IEEE Symposium on Security and Privacy Workshops.","author":"D'Silva Vijay","year":"2015","unstructured":"Vijay D'Silva , Mathias Payer , and Dawn Song . 2015 . The correctness-security gap in compiler optmization . In IEEE Symposium on Security and Privacy Workshops. Vijay D'Silva, Mathias Payer, and Dawn Song. 2015. The correctness-security gap in compiler optmization. In IEEE Symposium on Security and Privacy Workshops."},{"key":"e_1_3_2_1_20_1","volume-title":"SIG SIDAR Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA).","author":"Flake Halvar","year":"2004","unstructured":"Halvar Flake . 2004 . Structural comparison of executable objects . In SIG SIDAR Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA). Halvar Flake. 2004. Structural comparison of executable objects. In SIG SIDAR Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88625-9_16"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046742"},{"key":"e_1_3_2_1_23_1","volume-title":"USENIX Annual Technical Conference.","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , J. Greg Morrisett , Dan Grossman , Michael W. Hicks , James Cheney , and Yanling Wang . 2002 . Cyclone: A safe dialect of c . In USENIX Annual Technical Conference. Trevor Jim, J. Greg Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, and Yanling Wang. 2002. Cyclone: A safe dialect of c. In USENIX Annual Technical Conference."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2013.6624046"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568296"},{"key":"e_1_3_2_1_26_1","volume-title":"Code-Pointer Integrity. In USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Kuznetsov Volodymyr","year":"2014","unstructured":"Volodymyr Kuznetsov , Laszlo Szekeres , Mathias Payer , George Candea , R. Sekar , and Dawn Song . 2014 . Code-Pointer Integrity. In USENIX Symposium on Operating Systems Design and Implementation (OSDI). Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, and Dawn Song. 2014. Code-Pointer Integrity. In USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_54"},{"key":"e_1_3_2_1_28_1","volume-title":"Network and Distributed System Security Symposium (NDSS).","author":"Lin Zhiqiang","year":"2010","unstructured":"Zhiqiang Lin , Xiangyu Zhang , and Dongyan Xu . 2010 . Automatic Reverse Engineering of Data Structures from Binary Execution . In Network and Distributed System Security Symposium (NDSS). Zhiqiang Lin, Xiangyu Zhang, and Dongyan Xu. 2010. Automatic Reverse Engineering of Data Structures from Binary Execution. In Network and Distributed System Security Symposium (NDSS)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908081"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053014"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2007.4362621"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2366231.2337181"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2013.26"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544147"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of SNAPL: The Inaugural Summit On Advances in Programming Languages.","author":"Nagarakatte Santosh","year":"2015","unstructured":"Santosh Nagarakatte , Milo M. K. Martin , and Steve Zdancewic . 2015 . Everything you want to know about pointer-based checking . In Proceedings of SNAPL: The Inaugural Summit On Advances in Programming Languages. Santosh Nagarakatte, Milo M. K. Martin, and Steve Zdancewic. 2015. Everything you want to know about pointer-based checking. In Proceedings of SNAPL: The Inaugural Summit On Advances in Programming Languages."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806657"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594295"},{"key":"e_1_3_2_1_41_1","volume-title":"Proving the correctness of heuristically optimized code. Communications of the ACM (CACM)","author":"Samet Hanan","year":"1978","unstructured":"Hanan Samet . 1978. Proving the correctness of heuristically optimized code. Communications of the ACM (CACM) ( 1978 ). Hanan Samet. 1978. Proving the correctness of heuristically optimized code. Communications of the ACM (CACM) (1978)."},{"key":"e_1_3_2_1_42_1","volume-title":"AddressSanitizer: A Fast Address Sanity Checker. In USENIX Annual Technical Conference.","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitry Vyukov . 2012 . AddressSanitizer: A Fast Address Sanity Checker. In USENIX Annual Technical Conference. Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In USENIX Annual Technical Conference."},{"key":"e_1_3_2_1_43_1","volume-title":"USENIX Security Symposium.","author":"Seward Julian","year":"2005","unstructured":"Julian Seward and Nicholas Nethercote . 2005 . Using Valgrind to detect undefined value errors with bit-precision . In USENIX Security Symposium. Julian Seward and Nicholas Nethercote. 2005. Using Valgrind to detect undefined value errors with bit-precision. In USENIX Security Symposium."},{"key":"e_1_3_2_1_44_1","volume-title":"ACM Conference on Programming Language Design and Implementation (PLDI).","author":"Seward Julian","year":"2007","unstructured":"Julian Seward and Nicholas Nethercote . 2007 . Valgrind: a framework for heavyweight dynamic binary instrumentation . In ACM Conference on Programming Language Design and Implementation (PLDI). Julian Seward and Nicholas Nethercote. 2007. Valgrind: a framework for heavyweight dynamic binary instrumentation. In ACM Conference on Programming Language Design and Implementation (PLDI)."},{"key":"e_1_3_2_1_45_1","volume-title":"USENIX Security Symposium.","author":"Tice Caroline","year":"2014","unstructured":"Caroline Tice , Tom Roeder , Peter Collingbourne , Stephen Checkoway , \u00dalfar Erlingsson , Luis Lozano , and Geoff Pike . 2014 . Enforcing forward-edge controlflow integrity in GCC & LLVM . In USENIX Security Symposium. Caroline Tice, Tom Roeder, Peter Collingbourne, Stephen Checkoway, \u00dalfar Erlingsson, Luis Lozano, and Geoff Pike. 2014. Enforcing forward-edge controlflow integrity in GCC & LLVM. In USENIX Security Symposium."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.58"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522728"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375611"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029913"},{"key":"e_1_3_2_1_50_1","volume-title":"USENIX Security Symposium.","author":"Zeng Bin","year":"2013","unstructured":"Bin Zeng , Gang Tan , and \u00dalfar Erlingsson . 2013 . Strato: A retargetable framework for low-level inlined-reference monitors . In USENIX Security Symposium. Bin Zeng, Gang Tan, and \u00dalfar Erlingsson. 2013. Strato: A retargetable framework for low-level inlined-reference monitors. In USENIX Security Symposium."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516664"}],"event":{"name":"CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security","location":"Dallas Texas USA","acronym":"CCS '17","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3139337.3139343","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3139337.3139343","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3139337.3139343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:49Z","timestamp":1750212829000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3139337.3139343"}},"subtitle":["Is there a Semantic Mismatch?"],"short-title":[],"issued":{"date-parts":[[2017,10,30]]},"references-count":50,"alternative-id":["10.1145\/3139337.3139343","10.1145\/3139337"],"URL":"https:\/\/doi.org\/10.1145\/3139337.3139343","relation":{},"subject":[],"published":{"date-parts":[[2017,10,30]]},"assertion":[{"value":"2017-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}