{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T05:23:40Z","timestamp":1780550620597,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,3,19]],"date-time":"2018-03-19T00:00:00Z","timestamp":1521417600000},"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":["1514444"],"award-info":[{"award-number":["1514444"]}],"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":[[2018,3,19]]},"DOI":"10.1145\/3173162.3177160","type":"proceedings-article","created":{"date-parts":[[2018,3,22]],"date-time":"2018-03-22T11:15:40Z","timestamp":1521717340000},"page":"84-97","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Enhancing Cross-ISA DBT Through Automatically Learned Translation Rules"],"prefix":"10.1145","author":[{"given":"Wenwen","family":"Wang","sequence":"first","affiliation":[{"name":"University of Minnesota, Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen","family":"McCamant","sequence":"additional","affiliation":[{"name":"University of Minnesota, Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonia","family":"Zhai","sequence":"additional","affiliation":[{"name":"University of Minnesota, Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pen-Chung","family":"Yew","sequence":"additional","affiliation":[{"name":"University of Minnesota, Twin Cities, Minneapolis, MN, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,3,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Binary Translation Using Peephole Superoptimizers Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08)","author":"Bansal Sorav","year":"2008","unstructured":"Sorav Bansal and Alex Aiken . 2008 . Binary Translation Using Peephole Superoptimizers Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08) . USENIX Association, Berkeley, CA, USA, 177--192. http:\/\/dl.acm.org\/citation.cfm?id= 1855741.1855754 Sorav Bansal and Alex Aiken. 2008. Binary Translation Using Peephole Superoptimizers Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI'08). USENIX Association, Berkeley, CA, USA, 177--192. http:\/\/dl.acm.org\/citation.cfm?id=1855741.1855754"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Leonid Baraz Tevi Devor Orna Etzion Shalom Goldenberg Alex Skaletsky Yun Wang and Yigel Zemach. 2003. IA-32 Execution Layer: A Two-phase Dynamic Translator Designed to Support IA-32 Applications on Itanium\u00ae-based Systems Proceedings of the 36th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO 36). IEEE Computer Society Washington DC USA 191--201. http:\/\/dl.acm.org\/citation.cfm?id=956417.956550 Leonid Baraz Tevi Devor Orna Etzion Shalom Goldenberg Alex Skaletsky Yun Wang and Yigel Zemach. 2003. IA-32 Execution Layer: A Two-phase Dynamic Translator Designed to Support IA-32 Applications on Itanium\u00ae-based Systems Proceedings of the 36th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO 36). IEEE Computer Society Washington DC USA 191--201. http:\/\/dl.acm.org\/citation.cfm?id=956417.956550","DOI":"10.1109\/MICRO.2003.1253195"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247401"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808445"},{"key":"e_1_3_2_1_5_1","unstructured":"Derek L. Bruening. 2004. Efficient Transparent and Comprehensive Runtime Code Manipulation. Ph.D. Dissertation. Cambridge MA USA. AAI0807735. Derek L. Bruening. 2004. Efficient Transparent and Comprehensive Runtime Code Manipulation. Ph.D. Dissertation. Cambridge MA USA. AAI0807735."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 23rd International Conference on Computer Aided Verification (CAV'11)","author":"Brumley David","year":"2032","unstructured":"David Brumley , Ivan Jager , Thanassis Avgerinos , and Edward J. Schwartz . 2011. BAP: A Binary Analysis Platform . In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV'11) . Springer-Verlag, Berlin, Heidelberg, 463--469. http:\/\/dl.acm.org\/citation.cfm?id= 2032 305.2032342 David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz. 2011. BAP: A Binary Analysis Platform. In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV'11). Springer-Verlag, Berlin, Heidelberg, 463--469. http:\/\/dl.acm.org\/citation.cfm?id=2032305.2032342"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576195.2576201"},{"key":"e_1_3_2_1_8_1","volume-title":"Debug Info - Status and Directions. In European LLVM Conference. http:\/\/llvm.org\/devmtg\/2013-04\/christopher-slides.pdf","author":"Christopher Eric","year":"2013","unstructured":"Eric Christopher . 2013 . Debug Info - Status and Directions. In European LLVM Conference. http:\/\/llvm.org\/devmtg\/2013-04\/christopher-slides.pdf Eric Christopher. 2013. Debug Info - Status and Directions. In European LLVM Conference. http:\/\/llvm.org\/devmtg\/2013-04\/christopher-slides.pdf"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 2017 International Symposium on Code Generation and Optimization (CGO '17)","author":"Cota Emilio G.","unstructured":"Emilio G. Cota , Paolo Bonzini , Alex Benn\u00e9e , and Luca P. Carloni . 2017. Cross-ISA Machine Emulation for Multicores . In Proceedings of the 2017 International Symposium on Code Generation and Optimization (CGO '17) . IEEE Computer Society, Piscataway, NJ, USA, 210--220. http:\/\/dl.acm.org\/citation.cfm?id=3049832.3049855 Emilio G. Cota, Paolo Bonzini, Alex Benn\u00e9e, and Luca P. Carloni. 2017. Cross-ISA Machine Emulation for Multicores. In Proceedings of the 2017 International Symposium on Code Generation and Optimization (CGO '17). IEEE Computer Society, Piscataway, NJ, USA, 210--220. http:\/\/dl.acm.org\/citation.cfm?id=3049832.3049855"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3050748.3050756"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062371"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 19th International Conference on Computer Aided Verification (CAV'07)","author":"Ganesh Vijay","unstructured":"Vijay Ganesh and David L. Dill . 2007. A Decision Procedure for Bit-vectors and Arrays . Proceedings of the 19th International Conference on Computer Aided Verification (CAV'07) . Springer-Verlag, Berlin, Heidelberg, 519--531. http:\/\/dl.acm.org\/citation.cfm?id=1770351.1770421 Vijay Ganesh and David L. Dill. 2007. A Decision Procedure for Bit-vectors and Arrays. Proceedings of the 19th International Conference on Computer Aided Verification (CAV'07). Springer-Verlag, Berlin, Heidelberg, 519--531. http:\/\/dl.acm.org\/citation.cfm?id=1770351.1770421"},{"key":"e_1_3_2_1_13_1","volume-title":"January","author":"Project GNU","year":"2018","unstructured":"GNU Project . Accessed : January 2018 . The GNU Compiler Collection. (Accessed : January 2018). http:\/\/gcc.gnu.org GNU Project. Accessed: January 2018. The GNU Compiler Collection. (Accessed: January 2018). http:\/\/gcc.gnu.org"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872380"},{"key":"e_1_3_2_1_15_1","volume-title":"Optimizing Binary Translation of Dynamically Generated Code Proceedings of the 13th Annual IEEE\/ACM International Symposium on Code Generation and Optimization. (CGO '15)","author":"Hawkins Byron","year":"2015","unstructured":"Byron Hawkins , Brian Demsky , Derek Bruening , and Qin Zhao . 2015 . Optimizing Binary Translation of Dynamically Generated Code Proceedings of the 13th Annual IEEE\/ACM International Symposium on Code Generation and Optimization. (CGO '15) . IEEE Computer Society, Washington, DC, USA, 68--78. http:\/\/dl.acm.org\/citation.cfm?id=2738600.2738610 Byron Hawkins, Brian Demsky, Derek Bruening, and Qin Zhao. 2015. Optimizing Binary Translation of Dynamically Generated Code Proceedings of the 13th Annual IEEE\/ACM International Symposium on Code Generation and Optimization. (CGO '15). IEEE Computer Society, Washington, DC, USA, 68--78. http:\/\/dl.acm.org\/citation.cfm?id=2738600.2738610"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259030"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451512.2451519"},{"key":"e_1_3_2_1_18_1","unstructured":"Intel. 2003. IA-32 Intel\u00ae Architecture Software Developer's Manual. Intel. 2003. IA-32 Intel\u00ae Architecture Software Developer's Manual."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451512.2451516"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248422"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Chris Lattner and Vikram Adve. 2004. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization (CGO '04). IEEE Computer Society Washington DC USA 75--88. http:\/\/dl.acm.org\/citation.cfm?id=977395.977673 Chris Lattner and Vikram Adve. 2004. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization (CGO '04). IEEE Computer Society Washington DC USA 75--88. http:\/\/dl.acm.org\/citation.cfm?id=977395.977673","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750378"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151012"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2007.29"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2485922.2485963"},{"key":"e_1_3_2_1_28_1","volume-title":"ARM Architecture Reference Manual (bibinfoedition","author":"Seal David","unstructured":"David Seal . 2000. ARM Architecture Reference Manual (bibinfoedition 2 nd ed.). Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA . David Seal. 2000. ARM Architecture Reference Manual (bibinfoedition2nd ed.). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.","edition":"2"},{"key":"e_1_3_2_1_29_1","volume-title":"Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design)","author":"Smith Jim","year":"2005","unstructured":"Jim Smith and Ravi Nair . 2005 . Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design) . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA. Jim Smith and Ravi Nair. 2005. Virtual Machines: Versatile Platforms for Systems and Processes (The Morgan Kaufmann Series in Computer Architecture and Design). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24322-6_11"},{"key":"e_1_3_2_1_32_1","first-page":"2336","article-title":"A Pattern Translation Method for Flags in Binary Translation","volume":"51","author":"Wang Wenwen","year":"2014","unstructured":"Wenwen Wang , Chenggang Wu , Tongxin Bai , Zhenjiang Wang , Xiang Yuan , and Huimin Cui . 2014 . A Pattern Translation Method for Flags in Binary Translation . Journal of Computer Research and Development , Vol. 51 , 10 (2014), 2336 -- 2347 . http:\/\/crad.ict.ac.cn\/EN\/10.7544\/issn1000--1239.2014.20130018 Wenwen Wang, Chenggang Wu, Tongxin Bai, Zhenjiang Wang, Xiang Yuan, and Huimin Cui. 2014. A Pattern Translation Method for Flags in Binary Translation. Journal of Computer Research and Development, Vol. 51, 10 (2014), 2336--2347. http:\/\/crad.ict.ac.cn\/EN\/10.7544\/issn1000--1239.2014.20130018","journal-title":"Journal of Computer Research and Development"},{"key":"e_1_3_2_1_33_1","volume-title":"A General Persistent Code Caching Framework for Dynamic Binary Translation (DBT) Proceedings of the 2016 USENIX Annual Technical Conference (USENIX ATC '16)","author":"Wang Wenwen","unstructured":"Wenwen Wang , Pen-Chung Yew , Antonia Zhai , and Stephen McCamant . 2016. A General Persistent Code Caching Framework for Dynamic Binary Translation (DBT) Proceedings of the 2016 USENIX Annual Technical Conference (USENIX ATC '16) . USENIX Association , Berkeley, CA, USA , 591--603. http:\/\/dl.acm.org\/citation.cfm?id=3026959.3027013 Wenwen Wang, Pen-Chung Yew, Antonia Zhai, and Stephen McCamant. 2016. A General Persistent Code Caching Framework for Dynamic Binary Translation (DBT) Proceedings of the 2016 USENIX Annual Technical Conference (USENIX ATC '16). USENIX Association, Berkeley, CA, USA, 591--603. http:\/\/dl.acm.org\/citation.cfm?id=3026959.3027013"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3081333.3081337"},{"key":"e_1_3_2_1_35_1","volume-title":"HERMES: A Fast cross-ISA Binary Translator with Post-optimization Proceedings of the 13th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO '15)","author":"Zhang Xiaochun","year":"2015","unstructured":"Xiaochun Zhang , Qi Guo , Yunji Chen , Tianshi Chen , and Weiwu Hu . 2015 . HERMES: A Fast cross-ISA Binary Translator with Post-optimization Proceedings of the 13th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO '15) . IEEE Computer Society , Washington, DC, USA , 246--256. http:\/\/dl.acm.org\/citation.cfm?id=2738600.2738631 Xiaochun Zhang, Qi Guo, Yunji Chen, Tianshi Chen, and Weiwu Hu. 2015. HERMES: A Fast cross-ISA Binary Translator with Post-optimization Proceedings of the 13th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO '15). IEEE Computer Society, Washington, DC, USA, 246--256. http:\/\/dl.acm.org\/citation.cfm?id=2738600.2738631"}],"event":{"name":"ASPLOS '18: Architectural Support for Programming Languages and Operating Systems","location":"Williamsburg VA USA","acronym":"ASPLOS '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3173162.3177160","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3173162.3177160","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3173162.3177160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T18:51:06Z","timestamp":1751482266000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3173162.3177160"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,19]]},"references-count":35,"alternative-id":["10.1145\/3173162.3177160","10.1145\/3173162"],"URL":"https:\/\/doi.org\/10.1145\/3173162.3177160","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296957.3177160","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,3,19]]},"assertion":[{"value":"2018-03-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}