{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,25]],"date-time":"2026-08-25T15:06:00Z","timestamp":1787670360187,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,2,17]],"date-time":"2021-02-17T00:00:00Z","timestamp":1613520000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"US Department of Energy","award":["17-SC-20-SC"],"award-info":[{"award-number":["17-SC-20-SC"]}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["1450273"],"award-info":[{"award-number":["1450273"]}],"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":[[2021,2,17]]},"DOI":"10.1145\/3437801.3441604","type":"proceedings-article","created":{"date-parts":[[2021,2,20]],"date-time":"2021-02-20T23:04:20Z","timestamp":1613862260000},"page":"76-89","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Parallel binary code analysis"],"prefix":"10.1145","author":[{"given":"Xiaozhu","family":"Meng","sequence":"first","affiliation":[{"name":"Rice University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathon M.","family":"Anderson","sequence":"additional","affiliation":[{"name":"Rice University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Mellor-Crummey","sequence":"additional","affiliation":[{"name":"Rice University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark W.","family":"Krentel","sequence":"additional","affiliation":[{"name":"Rice University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barton P.","family":"Miller","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sr\u0111an","family":"Milakovi\u0107","sequence":"additional","affiliation":[{"name":"Rice University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"TensorFlow: A System for Large-Scale Machine Learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Mart\u00edn","unstructured":"Mart\u00edn Abadi et al. 2016 . TensorFlow: A System for Large-Scale Machine Learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . USENIX Association, Savannah, GA, 265--283. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/abadi Mart\u00edn Abadi et al. 2016. TensorFlow: A System for Large-Scale Machine Learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 265--283. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/abadi"},{"key":"e_1_3_2_1_2_1","first-page":"6","article-title":"HPCTOOLKIT: Tools for Performance Analysis of Optimized Parallel Programs","volume":"22","author":"Adhianto Laksono","year":"2010","unstructured":"Laksono Adhianto , Sinchan Banerjee , Mike Fagan , Mark Krentel , Gabriel Marin , John Mellor-Crummey , and Nathan R Tallent . 2010 . HPCTOOLKIT: Tools for Performance Analysis of Optimized Parallel Programs . Concurrency and Computation: Practice and Experience 22 , 6 (April 2010), 685--701. Laksono Adhianto, Sinchan Banerjee, Mike Fagan, Mark Krentel, Gabriel Marin, John Mellor-Crummey, and Nathan R Tallent. 2010. HPCTOOLKIT: Tools for Performance Analysis of Optimized Parallel Programs. Concurrency and Computation: Practice and Experience 22, 6 (April 2010), 685--701.","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"e_1_3_2_1_3_1","volume-title":"Stack Trace Analysis for Large Scale Debugging. In 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS)","author":"Arnold Dorian C.","year":"2007","unstructured":"Dorian C. Arnold , Dong H. Ahn , Bronis R. de Supinski , Gregory L. Lee , Barton P. Miller , and Martin Schulz . 2007 . Stack Trace Analysis for Large Scale Debugging. In 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS) . Long Beach, California, USA, 1--10. Dorian C. Arnold, Dong H. Ahn, Bronis R. de Supinski, Gregory L. Lee, Barton P. Miller, and Martin Schulz. 2007. Stack Trace Analysis for Large Scale Debugging. In 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS). Long Beach, California, USA, 1--10."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18275-4_6"},{"key":"e_1_3_2_1_5_1","volume-title":"2012 19th Working Conference on Reverse Engineering (WCRE). Kingston","author":"Andrew","unstructured":"Andrew R. Bernat and Barton P. Miller. 2012. Structured Binary Editing with a CFG Transformation Algebra . In 2012 19th Working Conference on Reverse Engineering (WCRE). Kingston , Ontario, Canada, 10 pages. Andrew R. Bernat and Barton P. Miller. 2012. Structured Binary Editing with a CFG Transformation Algebra. In 2012 19th Working Conference on Reverse Engineering (WCRE). Kingston, Ontario, Canada, 10 pages."},{"key":"e_1_3_2_1_6_1","volume-title":"BinGo: Cross-Architecture Cross-OS Binary Search. In 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)","author":"Chandramohan Mahinthan","year":"2016","unstructured":"Mahinthan Chandramohan , Yinxing Xue , Zhengzi Xu , Yang Liu , Chia Yuan Cho , and Hee Beng Kuan Tan . 2016 . BinGo: Cross-Architecture Cross-OS Binary Search. In 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) . Seattle, WA, USA. Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu, Chia Yuan Cho, and Hee Beng Kuan Tan. 2016. BinGo: Cross-Architecture Cross-OS Binary Search. In 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE). Seattle, WA, USA."},{"key":"e_1_3_2_1_7_1","volume-title":"Proper Tail Recursion and Space Efficiency. In 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press","author":"Clinger William D.","year":"1998","unstructured":"William D. Clinger . 1998 . Proper Tail Recursion and Space Efficiency. In 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press , Montreal, Canada, 174--185. William D. Clinger. 1998. Proper Tail Recursion and Space Efficiency. In 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press, Montreal, Canada, 174--185."},{"key":"e_1_3_2_1_8_1","volume-title":"Active Harmony: Towards Automated Performance Tuning. In 2002 ACM\/IEEE Conference on Supercomputing (SC)","author":"\u0162\u0103pu\u015f Cristian","unstructured":"Cristian \u0162\u0103pu\u015f , I- Hsin Chung , and Jeffrey K. Hollingsworth . 2002 . Active Harmony: Towards Automated Performance Tuning. In 2002 ACM\/IEEE Conference on Supercomputing (SC) . Baltimore, Maryland, 1--11. Cristian \u0162\u0103pu\u015f, I-Hsin Chung, and Jeffrey K. Hollingsworth. 2002. Active Harmony: Towards Automated Performance Tuning. In 2002 ACM\/IEEE Conference on Supercomputing (SC). Baltimore, Maryland, 1--11."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908126"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033028"},{"key":"e_1_3_2_1_11_1","volume-title":"Dynamic Data Race Detection for OpenMP Programs. In International Conference for High Performance Computing, Networking, Storage, and Analysis (SC)","author":"Gu Yizi","year":"2018","unstructured":"Yizi Gu and John Mellor-Crummey . 2018 . Dynamic Data Race Detection for OpenMP Programs. In International Conference for High Performance Computing, Networking, Storage, and Analysis (SC) . Dallas, Texas. Yizi Gu and John Mellor-Crummey. 2018. Dynamic Data Race Detection for OpenMP Programs. In International Conference for High Performance Computing, Networking, Storage, and Analysis (SC). Dallas, Texas."},{"key":"e_1_3_2_1_12_1","volume-title":"Work-First and Help-First Scheduling Policies for Async-Finish Task Parallelism. In 2009 IEEE International Symposium on Parallel and Distributed Processing (IPDPS).","author":"Guo Yi","year":"2009","unstructured":"Yi Guo , Rajkishore Barik , Raghavan Raman , and Vivek Sarkar . 2009 . Work-First and Help-First Scheduling Policies for Async-Finish Task Parallelism. In 2009 IEEE International Symposium on Parallel and Distributed Processing (IPDPS). Yi Guo, Rajkishore Barik, Raghavan Raman, and Vivek Sarkar. 2009. Work-First and Help-First Scheduling Policies for Async-Finish Task Parallelism. In 2009 IEEE International Symposium on Parallel and Distributed Processing (IPDPS)."},{"key":"e_1_3_2_1_13_1","unstructured":"Intel. [n.d.]. Threaded Building Blocks https:\/\/www.threadingbuildingblocks.org\/.  Intel. [n.d.]. Threaded Building Blocks https:\/\/www.threadingbuildingblocks.org\/."},{"key":"e_1_3_2_1_14_1","volume-title":"International Symposium on Engineering Secure Software and Systems (ESSoS)","author":"Jacobson Emily R.","unstructured":"Emily R. Jacobson , Andrew R. Bernat , William R. Williams , and Barton P. Miller . 2014. Detecting Code Reuse Attacks with a Model of Conformant Program Execution . In International Symposium on Engineering Secure Software and Systems (ESSoS) . Munich, Germany, 18 pages. Emily R. Jacobson, Andrew R. Bernat, William R. Williams, and Barton P. Miller. 2014. Detecting Code Reuse Attacks with a Model of Conformant Program Execution. In International Symposium on Engineering Secure Software and Systems (ESSoS). Munich, Germany, 18 pages."},{"key":"e_1_3_2_1_15_1","volume-title":"Alternating Control Flow Reconstruction. In 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)","author":"Kinder Johannes","year":"2012","unstructured":"Johannes Kinder and Dmitry Kravchenko . 2012 . Alternating Control Flow Reconstruction. In 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) . Philadelphia, PA. Johannes Kinder and Dmitry Kravchenko. 2012. Alternating Control Flow Reconstruction. In 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Philadelphia, PA."},{"key":"e_1_3_2_1_16_1","volume-title":"Jakstab: A Static Analysis Platform for Binaries. In 20th International Conference on Computer Aided Verification (CAV)","author":"Kinder Johannes","year":"2008","unstructured":"Johannes Kinder and Helmut Veith . 2008 . Jakstab: A Static Analysis Platform for Binaries. In 20th International Conference on Computer Aided Verification (CAV) . Princeton, NJ, USA, 423--427. Johannes Kinder and Helmut Veith. 2008. Jakstab: A Static Analysis Platform for Binaries. In 20th International Conference on Computer Aided Verification (CAV). Princeton, NJ, USA, 423--427."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386020"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354244"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3309206"},{"key":"e_1_3_2_1_20_1","volume-title":"Binary Code Is Not Easy. In The International Symposium on Software Testing and Analysis (ISSTA)","author":"Meng Xiaozhu","unstructured":"Xiaozhu Meng and Barton P. Miller . 2016 . Binary Code Is Not Easy. In The International Symposium on Software Testing and Analysis (ISSTA) . Saarbr\u00fccken, Germany. Xiaozhu Meng and Barton P. Miller. 2016. Binary Code Is Not Easy. In The International Symposium on Software Testing and Analysis (ISSTA). Saarbr\u00fccken, Germany."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66399-9_16"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/219552.219555"},{"key":"e_1_3_2_1_23_1","unstructured":"Paradyn Project. [n.d.]. Dyninst: Putting the Performance in High Performance Computing http:\/\/www.dyninst.org.  Paradyn Project. [n.d.]. Dyninst: Putting the Performance in High Performance Computing http:\/\/www.dyninst.org."},{"key":"e_1_3_2_1_24_1","volume-title":"Cetus users and compiler infrastructure workshop, in conjunction with PACT","author":"Quinlan Dan","unstructured":"Dan Quinlan and Chunhua Liao . 2011. The ROSE source-to-source compiler infrastructure . In Cetus users and compiler infrastructure workshop, in conjunction with PACT , Vol. 2011 . Citeseer , 1. Dan Quinlan and Chunhua Liao. 2011. The ROSE source-to-source compiler infrastructure. In Cetus users and compiler infrastructure workshop, in conjunction with PACT, Vol. 2011. Citeseer, 1."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2014.08.010"},{"key":"e_1_3_2_1_26_1","volume-title":"16th European Conference on Research in Computer Security (ESORICS)","author":"Rosenblum Nathan","unstructured":"Nathan Rosenblum , Xiaojin Zhu , and Barton P. Miller . 2011. Who wrote this code? identifying the authors of program binaries . In 16th European Conference on Research in Computer Security (ESORICS) . Leuven, Belgium, 18 pages. Nathan Rosenblum, Xiaojin Zhu, and Barton P. Miller. 2011. Who wrote this code? identifying the authors of program binaries. In 16th European Conference on Research in Computer Security (ESORICS). Leuven, Belgium, 18 pages."},{"key":"e_1_3_2_1_27_1","volume-title":"Disassembly of Executable Code Revisited. In Ninth Working Conference on Reverse Engineering (WCRE)","author":"Schwarz Benjamin","year":"2002","unstructured":"Benjamin Schwarz , Saumya Debray , and Gregory Andrews . 2002 . Disassembly of Executable Code Revisited. In Ninth Working Conference on Reverse Engineering (WCRE) . Richmond, VA, USA. Benjamin Schwarz, Saumya Debray, and Gregory Andrews. 2002. Disassembly of Executable Code Revisited. In Ninth Working Conference on Reverse Engineering (WCRE). Richmond, VA, USA."},{"key":"e_1_3_2_1_28_1","volume-title":"2016 IEEE Symposium on Security and Privacy (SP)","author":"Shoshitaishvili Y.","unstructured":"Y. Shoshitaishvili , R. Wang , C. Salls , N. Stephens , M. Polino , A. Dutcher , J. Grosen , S. Feng , C. Hauser , C. Kruegel , and G. Vigna . 2016. SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis . In 2016 IEEE Symposium on Security and Privacy (SP) . San Jose, CA, USA. Y. Shoshitaishvili, R. Wang, C. Salls, N. Stephens, M. Polino, A. Dutcher, J. Grosen, S. Feng, C. Hauser, C. Kruegel, and G. Vigna. 2016. SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis. In 2016 IEEE Symposium on Security and Privacy (SP). San Jose, CA, USA."},{"key":"e_1_3_2_1_29_1","volume-title":"Binary Analysis for Measurement and Attribution of Program Performance. In 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)","author":"Tallent Nathan R.","unstructured":"Nathan R. Tallent , John M. Mellor-Crummey , and Michael W. Fagan . 2009 . Binary Analysis for Measurement and Attribution of Program Performance. In 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) ( Dublin, Ireland). 441--452. Nathan R. Tallent, John M. Mellor-Crummey, and Michael W. Fagan. 2009. Binary Analysis for Measurement and Attribution of Program Performance. In 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (Dublin, Ireland). 441--452."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2000.896367"},{"key":"e_1_3_2_1_31_1","volume-title":"Practical Context-Sensitive CFI. In 22nd ACM SIGSAC Conference on Computer and Communications Security (CCS)","author":"van der Veen Victor","year":"2015","unstructured":"Victor van der Veen , Dennis Andriesse , Enes G\u00f6kta\u015f , Ben Gras , Lionel Sambuc , Asia Slowinska , Herbert Bos , and Cristiano Giuffrida . 2015 . Practical Context-Sensitive CFI. In 22nd ACM SIGSAC Conference on Computer and Communications Security (CCS) . Denver, Colorado, USA. Victor van der Veen, Dennis Andriesse, Enes G\u00f6kta\u015f, Ben Gras, Lionel Sambuc, Asia Slowinska, Herbert Bos, and Cristiano Giuffrida. 2015. Practical Context-Sensitive CFI. In 22nd ACM SIGSAC Conference on Computer and Communications Security (CCS). Denver, Colorado, USA."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.60"},{"key":"e_1_3_2_1_33_1","volume-title":"Egalito: Layout-Agnostic Binary Recompilation. In Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Williams-King David","unstructured":"David Williams-King , Hidenori Kobayashi , Kent Williams-King , Graham Patterson , Frank Spano , Yu Jian Wu , Junfeng Yang , and Vasileios P. Kemerlis . 2020 . Egalito: Layout-Agnostic Binary Recompilation. In Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) . Lausanne, Switzerland. David Williams-King, Hidenori Kobayashi, Kent Williams-King, Graham Patterson, Frank Spano, Yu Jian Wu, Junfeng Yang, and Vasileios P. Kemerlis. 2020. Egalito: Layout-Agnostic Binary Recompilation. In Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Lausanne, Switzerland."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179517"}],"event":{"name":"PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","location":"Virtual Event Republic of Korea","acronym":"PPoPP '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3437801.3441604","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3437801.3441604","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3437801.3441604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:25Z","timestamp":1750191445000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3437801.3441604"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,17]]},"references-count":34,"alternative-id":["10.1145\/3437801.3441604","10.1145\/3437801"],"URL":"https:\/\/doi.org\/10.1145\/3437801.3441604","relation":{},"subject":[],"published":{"date-parts":[[2021,2,17]]},"assertion":[{"value":"2021-02-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}