{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:21Z","timestamp":1750220361735,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":48,"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":"EPSRC","award":["EP\/P022642\/1"],"award-info":[{"award-number":["EP\/P022642\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,2,17]]},"DOI":"10.1145\/3437801.3441603","type":"proceedings-article","created":{"date-parts":[[2021,2,20]],"date-time":"2021-02-20T23:04:20Z","timestamp":1613862260000},"page":"418-430","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Modernizing parallel code with pattern analysis"],"prefix":"10.1145","author":[{"given":"Roberto Casta\u00f1eda","family":"Lozano","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murray","family":"Cole","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Franke","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,2,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"J. R. Allen Ken Kennedy Carrie Porterfield and Joe Warren. 1983. Conversion of Control Dependence to Data Dependence. In Principles of Programming Languages. ACM. J. R. Allen Ken Kennedy Carrie Porterfield and Joe Warren. 1983. Conversion of Control Dependence to Data Dependence. In Principles of Programming Languages. ACM.","DOI":"10.1145\/567067.567085"},{"key":"e_1_3_2_1_2_1","volume-title":"Chi Ching Chi, and Ben Juurlink","author":"Andersch Michael","year":"2012","unstructured":"Michael Andersch , Chi Ching Chi, and Ben Juurlink . 2012 . Using OpenMP superscalar for parallelization of embedded and consumer applications. In Embedded Computer Systems. IEEE. Michael Andersch, Chi Ching Chi, and Ben Juurlink. 2012. Using OpenMP superscalar for parallelization of embedded and consumer applications. In Embedded Computer Systems. IEEE."},{"volume-title":"Parallel Systems and Algorithms","author":"Andersch Michael","key":"e_1_3_2_1_3_1","unstructured":"Michael Andersch , Ben Juurlink , and Chi Ching Chi . 2011. A benchmark suite for evaluating parallel programming models . In Parallel Systems and Algorithms . Springer . Michael Andersch, Ben Juurlink, and Chi Ching Chi. 2011. A benchmark suite for evaluating parallel programming models. In Parallel Systems and Algorithms. Springer."},{"key":"e_1_3_2_1_4_1","volume-title":"Camil Demetrescu, and Irene Finocchi.","author":"Baldoni Roberto","year":"2018","unstructured":"Roberto Baldoni , Emilio Coppa , Daniele Cono D'elia , Camil Demetrescu, and Irene Finocchi. 2018 . A Survey of Symbolic Execution Techniques. Comput. Surveys 51, 3 (2018). Roberto Baldoni, Emilio Coppa, Daniele Cono D'elia, Camil Demetrescu, and Irene Finocchi. 2018. A Survey of Symbolic Execution Techniques. Comput. Surveys 51, 3 (2018)."},{"volume-title":"Code Generation and Optimization","author":"Berndl Marc","key":"e_1_3_2_1_5_1","unstructured":"Marc Berndl and Laurie Hendren . 2003. Dynamic Profiling and Trace Cache Generation . In Code Generation and Optimization . IEEE. Marc Berndl and Laurie Hendren. 2003. Dynamic Profiling and Trace Cache Generation. In Code Generation and Optimization. IEEE."},{"key":"e_1_3_2_1_6_1","volume-title":"Jaswinder Pal Singh, and Kai Li","author":"Bienia Christian","year":"2008","unstructured":"Christian Bienia , Sanjeev Kumar , Jaswinder Pal Singh, and Kai Li . 2008 . The PARSEC Benchmark Suite: Characterization and Architectural Implications. In Parallel Architectures and Compilation Techniques. ACM. Christian Bienia, Sanjeev Kumar, Jaswinder Pal Singh, and Kai Li. 2008. The PARSEC Benchmark Suite: Characterization and Architectural Implications. In Parallel Architectures and Compilation Techniques. ACM."},{"key":"e_1_3_2_1_7_1","volume-title":"Naeem","author":"Bodden Eric","year":"2007","unstructured":"Eric Bodden , Laurie Hendren , Patrick Lam , Ond\u0159ej Lhot\u00e1k , and Nomair A . Naeem . 2007 . Collaborative Runtime Verification with Trace-matches. In Runtime Verification. Springer . Eric Bodden, Laurie Hendren, Patrick Lam, Ond\u0159ej Lhot\u00e1k, and Nomair A. Naeem. 2007. Collaborative Runtime Verification with Trace-matches. In Runtime Verification. Springer."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"K. J. Brown A. K. Sujeeth H. J. Lee T. Rompf H. Chafi M. Odersky and K. Olukotun. 2011. A Heterogeneous Parallel Framework for Domain-Specific Languages. In Parallel Architectures and Compilation Techniques. IEEE. K. J. Brown A. K. Sujeeth H. J. Lee T. Rompf H. Chafi M. Odersky and K. Olukotun. 2011. A Heterogeneous Parallel Framework for Domain-Specific Languages. In Parallel Architectures and Compilation Techniques. IEEE.","DOI":"10.1109\/PACT.2011.15"},{"key":"e_1_3_2_1_9_1","volume-title":"Rodinia: A Benchmark Suite for Heterogeneous Computing. In IEEE International Symposium on Workload Characterization. IEEE.","author":"Che Shuai","year":"2009","unstructured":"Shuai Che , Michael Boyer , Jiayuan Meng , David Tarjan , Jeremy W. Sheaffer , Sang-Ha Lee , and Kevin Skadron . 2009 . Rodinia: A Benchmark Suite for Heterogeneous Computing. In IEEE International Symposium on Workload Characterization. IEEE. Shuai Che, Michael Boyer, Jiayuan Meng, David Tarjan, Jeremy W. Sheaffer, Sang-Ha Lee, and Kevin Skadron. 2009. Rodinia: A Benchmark Suite for Heterogeneous Computing. In IEEE International Symposium on Workload Characterization. IEEE."},{"key":"e_1_3_2_1_11_1","volume-title":"Massimo Torquati, Gabriele Mencagli, and Marco Danelutto.","author":"Sensi Daniele De","year":"2017","unstructured":"Daniele De Sensi , Tiziano De Matteis , Massimo Torquati, Gabriele Mencagli, and Marco Danelutto. 2017 . Bringing Parallel Patterns Out of the Corner : The P3 ARSEC Benchmark Suite. ACM Transactions on Architecture and Code Optimization 14, 4 (2017). Daniele De Sensi, Tiziano De Matteis, Massimo Torquati, Gabriele Mencagli, and Marco Danelutto. 2017. Bringing Parallel Patterns Out of the Corner: The P3 ARSEC Benchmark Suite. ACM Transactions on Architecture and Code Optimization 14, 4 (2017)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-015-0396-z"},{"key":"e_1_3_2_1_14_1","first-page":"8","article-title":"2015","volume":"64","author":"Deniz E.","year":"2015","unstructured":"E. Deniz , A. Sen , B. Kahne , and J. Holt . 2015 . MINIME: Pattern-Aware Multicore Benchmark Synthesizer. IEEE Trans. Comput. 64 , 8 ( 2015 ). E. Deniz, A. Sen, B. Kahne, and J. Holt. 2015. MINIME: Pattern-Aware Multicore Benchmark Synthesizer. IEEE Trans. Comput. 64, 8 (2015).","journal-title":"MINIME: Pattern-Aware Multicore Benchmark Synthesizer. IEEE Trans. Comput."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Bruno Dufour Karel Driesen Laurie Hendren and Clark Verbrugge. 2003. Dynamic Metrics for Java. In Object-Oriented Programing Systems Languages and Applications. ACM. Bruno Dufour Karel Driesen Laurie Hendren and Clark Verbrugge. 2003. Dynamic Metrics for Java. In Object-Oriented Programing Systems Languages and Applications. ACM.","DOI":"10.1145\/949305.949320"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-017-0490-5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Fabian Gruber Manuel Selva Diogo Sampaio Christophe Guillon Antoine Moynault Louis-No\u00ebl Pouchet and Fabrice Rastello. 2019. Data-flow\/Dependence Profiling for Structured Transformations. In Principles and Practice of Parallel Programming. ACM. Fabian Gruber Manuel Selva Diogo Sampaio Christophe Guillon Antoine Moynault Louis-No\u00ebl Pouchet and Fabrice Rastello. 2019. Data-flow\/Dependence Profiling for Structured Transformations. In Principles and Practice of Parallel Programming. ACM.","DOI":"10.1145\/3293883.3295737"},{"key":"e_1_3_2_1_18_1","volume-title":"Frequent Pattern Mining: Current Status and Future Directions. Data Mining and Knowledge Discovery 15, 1","author":"Han Jiawei","year":"2007","unstructured":"Jiawei Han , Hong Cheng , Dong Xin , and Xifeng Yan . 2007. Frequent Pattern Mining: Current Status and Future Directions. Data Mining and Knowledge Discovery 15, 1 ( 2007 ). Jiawei Han, Hong Cheng, Dong Xin, and Xifeng Yan. 2007. Frequent Pattern Mining: Current Status and Future Directions. Data Mining and Knowledge Discovery 15, 1 (2007)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2967117"},{"key":"e_1_3_2_1_20_1","volume-title":"Automatic Parallel Pattern Detection in the Algorithm Structure Design Space. In International Parallel and Distributed Processing Symposium. IEEE.","author":"Huda Zia Ul","year":"2016","unstructured":"Zia Ul Huda , Rohit Atre , Ali Jannesari , and Felix Wolf . 2016 . Automatic Parallel Pattern Detection in the Algorithm Structure Design Space. In International Parallel and Distributed Processing Symposium. IEEE. Zia Ul Huda, Rohit Atre, Ali Jannesari, and Felix Wolf. 2016. Automatic Parallel Pattern Detection in the Algorithm Structure Design Space. In International Parallel and Distributed Processing Symposium. IEEE."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2012.47"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.49"},{"key":"e_1_3_2_1_23_1","volume-title":"Detection of Collective MPI Operation Patterns. In European PVM\/MPI Users' Group Meeting. Springer.","author":"Kn\u00fcpfer Andreas","year":"2004","unstructured":"Andreas Kn\u00fcpfer , Dieter Kranzlm\u00fcller , and Wolfgang Nagel . 2004 . Detection of Collective MPI Operation Patterns. In European PVM\/MPI Users' Group Meeting. Springer. Andreas Kn\u00fcpfer, Dieter Kranzlm\u00fcller, and Wolfgang Nagel. 2004. Detection of Collective MPI Operation Patterns. In European PVM\/MPI Users' Group Meeting. Springer."},{"volume-title":"Parallel and Distributed Processing Techniques and Applications","author":"Kranzlm\u00fcller Dieter","key":"e_1_3_2_1_24_1","unstructured":"Dieter Kranzlm\u00fcller , Andreas Kn\u00fcpfer , and Wolfgang Nagel . 2004. Pattern Matching of Collective MPI Operations . In Parallel and Distributed Processing Techniques and Applications . CSREA Press . Dieter Kranzlm\u00fcller, Andreas Kn\u00fcpfer, and Wolfgang Nagel. 2004. Pattern Matching of Collective MPI Operations. In Parallel and Distributed Processing Techniques and Applications. CSREA Press."},{"key":"e_1_3_2_1_25_1","unstructured":"Jim Kukunas. 2015. Power and Performance. Morgan Kaufmann. Jim Kukunas. 2015. Power and Performance. Morgan Kaufmann."},{"key":"e_1_3_2_1_26_1","volume-title":"LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Code Generation and Optimization","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram Adve . 2004 . LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Code Generation and Optimization . IEEE. Chris Lattner and Vikram Adve. 2004. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Code Generation and Optimization. IEEE."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.14778\/2535568.2448946"},{"volume-title":"Parallel Processing","author":"Li Zhen","key":"e_1_3_2_1_28_1","unstructured":"Zhen Li , Ali Jannesari , and Felix Wolf . 2013. Discovery of Potential Parallelism in Sequential Programs . In Parallel Processing . IEEE. Zhen Li, Ali Jannesari, and Felix Wolf. 2013. Discovery of Potential Parallelism in Sequential Programs. In Parallel Processing. IEEE."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Stanislav Manilov Christos Vasiladiotis and Bj\u00f6rn Franke. 2018. Generalized Profile-Guided Iterator Recognition. In Compiler Construction. ACM. Stanislav Manilov Christos Vasiladiotis and Bj\u00f6rn Franke. 2018. Generalized Profile-Guided Iterator Recognition. In Compiler Construction. ACM.","DOI":"10.1145\/3178372.3179511"},{"volume-title":"Patterns for Parallel Programming","author":"Mattson Timothy","key":"e_1_3_2_1_30_1","unstructured":"Timothy Mattson , Beverly Sanders , and Berna Massingill . 2004. Patterns for Parallel Programming . Addison-Wesley . Timothy Mattson, Beverly Sanders, and Berna Massingill. 2004. Patterns for Parallel Programming. Addison-Wesley."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Michael McCool James Reinders and Arch Robison. 2012. Structured Parallel Programming: Patterns for Efficient Computation. Morgan Kaufmann. Michael McCool James Reinders and Arch Robison. 2012. Structured Parallel Programming: Patterns for Efficient Computation. Morgan Kaufmann.","DOI":"10.1016\/B978-0-12-415993-8.00003-7"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01736-0","volume-title":"Automatic Parallelization: An Overview of Fundamental Compiler Techniques. Morgan & Claypool.","author":"Midkiff S.","year":"2012","unstructured":"S. Midkiff . 2012 . Automatic Parallelization: An Overview of Fundamental Compiler Techniques. Morgan & Claypool. S. Midkiff. 2012. Automatic Parallelization: An Overview of Fundamental Compiler Techniques. Morgan & Claypool."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81047-8"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"volume-title":"Principles and Practice of Constraint Programming","author":"Nethercote Nicholas","key":"e_1_3_2_1_35_1","unstructured":"Nicholas Nethercote , Peter J. Stuckey , Ralph Becket , Sebastian Brand , Gregory J. Duck , and Guido Tack . 2007. MiniZinc: Towards a Standard CP Modelling Language . In Principles and Practice of Constraint Programming . Springer . Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, and Guido Tack. 2007. MiniZinc: Towards a Standard CP Modelling Language. In Principles and Practice of Constraint Programming. Springer."},{"key":"e_1_3_2_1_36_1","volume-title":"Hybrid CPU-GPU execution support in the skeleton programming framework SkePU. The Journal of Supercomputing","author":"\u00d6hberg Tomas","year":"2019","unstructured":"Tomas \u00d6hberg , August Ernstsson , and Christoph Kessler . 2019. Hybrid CPU-GPU execution support in the skeleton programming framework SkePU. The Journal of Supercomputing ( 2019 ). Tomas \u00d6hberg, August Ernstsson, and Christoph Kessler. 2019. Hybrid CPU-GPU execution support in the skeleton programming framework SkePU. The Journal of Supercomputing (2019)."},{"key":"e_1_3_2_1_37_1","volume-title":"Conte","author":"Poovey Jason A.","year":"2011","unstructured":"Jason A. Poovey , Brian P. Railing , and Thomas M . Conte . 2011 . Parallel Pattern Detection for Architectural Improvements. In Hot Topics in Parallelism. USENIX. Jason A. Poovey, Brian P. Railing, and Thomas M. Conte. 2011. Parallel Pattern Detection for Architectural Improvements. In Hot Topics in Parallelism. USENIX."},{"key":"e_1_3_2_1_38_1","volume-title":"M. Schulz, D. J. Quinlan, D. Kranzlm\u00fcller, and T. Panas.","author":"Preissl R.","year":"2010","unstructured":"R. Preissl , B. R. d. Supinski , M. Schulz, D. J. Quinlan, D. Kranzlm\u00fcller, and T. Panas. 2010 . Exploitation of Dynamic Communication Patterns through Static Analysis. In Parallel Processing. IEEE. R. Preissl, B. R. d. Supinski, M. Schulz, D. J. Quinlan, D. Kranzlm\u00fcller, and T. Panas. 2010. Exploitation of Dynamic Communication Patterns through Static Analysis. In Parallel Processing. IEEE."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1002\/cpe.5168","article-title":"2019. A study on popular auto-parallelization frameworks","volume":"31","author":"Prema S.","year":"2019","unstructured":"S. Prema , Rupesh Nasre , R. Jehadeesan , and B. K. Panigrahi . 2019. A study on popular auto-parallelization frameworks . Concurrency and Computation: Practice and Experience 31 , 17 ( 2019 ). S. Prema, Rupesh Nasre, R. Jehadeesan, and B. K. Panigrahi. 2019. A study on popular auto-parallelization frameworks. Concurrency and Computation: Practice and Experience 31, 17 (2019).","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"e_1_3_2_1_40_1","unstructured":"Francesca Rossi Peter van Beek and Toby Walsh (Eds.). 2006. Handbook of Constraint Programming. Elsevier. Francesca Rossi Peter van Beek and Toby Walsh (Eds.). 2006. Handbook of Constraint Programming. Elsevier."},{"key":"e_1_3_2_1_41_1","volume-title":"A Profile-based Tool for Finding Pipeline Parallelism in Sequential Programs. Parallel Comput. 36, 9","author":"Rul Sean","year":"2010","unstructured":"Sean Rul , Hans Vandierendonck , and Koen De Bosschere . 2010. A Profile-based Tool for Finding Pipeline Parallelism in Sequential Programs. Parallel Comput. 36, 9 ( 2010 ). Sean Rul, Hans Vandierendonck, and Koen De Bosschere. 2010. A Profile-based Tool for Finding Pipeline Parallelism in Sequential Programs. Parallel Comput. 36, 9 (2010)."},{"key":"e_1_3_2_1_42_1","volume-title":"Janghaeng Lee, and Scott Mahlke.","author":"Samadi Mehrzad","year":"2014","unstructured":"Mehrzad Samadi , Davoud Anoushe Jamshidi , Janghaeng Lee, and Scott Mahlke. 2014 . Paraprox : Pattern-based Approximation for Data Parallel Applications. In Architectural Support for Programming Languages and Operating Systems. ACM. Mehrzad Samadi, Davoud Anoushe Jamshidi, Janghaeng Lee, and Scott Mahlke. 2014. Paraprox: Pattern-based Approximation for Data Parallel Applications. In Architectural Support for Programming Languages and Operating Systems. ACM."},{"volume-title":"Practical Flow Cytometry","author":"Shapiro Howard M.","key":"e_1_3_2_1_43_1","unstructured":"Howard M. Shapiro . 2003. Practical Flow Cytometry . Wiley . Howard M. Shapiro. 2003. Practical Flow Cytometry. Wiley."},{"key":"e_1_3_2_1_44_1","unstructured":"The Clang Team. 2020. DataFlowSanitizer. https:\/\/clang.llvm.org\/docs\/DataFlowSanitizer.html The Clang Team. 2020. DataFlowSanitizer. https:\/\/clang.llvm.org\/docs\/DataFlowSanitizer.html"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2007.38"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Georgios Tournavitis and Bj\u00f6rn Franke. 2010. Semi-automatic Extraction and Exploitation of Hierarchical Pipeline Parallelism Using Profiling Information. In Parallel Architectures and Compilation Techniques. ACM. Georgios Tournavitis and Bj\u00f6rn Franke. 2010. Semi-automatic Extraction and Exploitation of Hierarchical Pipeline Parallelism Using Profiling Information. In Parallel Architectures and Compilation Techniques. ACM.","DOI":"10.1145\/1854273.1854321"},{"key":"e_1_3_2_1_47_1","volume-title":"O'Boyle","author":"Tournavitis Georgios","year":"2009","unstructured":"Georgios Tournavitis , Zheng Wang , Bj\u00f6rn Franke , and Michael F.P . O'Boyle . 2009 . Towards a Holistic Approach to Auto-Parallelization: Integrating Profile-Driven Parallelism Detection and Machine-Learning Based Mapping. In Programming Language Design and Implementation. ACM. Georgios Tournavitis, Zheng Wang, Bj\u00f6rn Franke, and Michael F.P. O'Boyle. 2009. Towards a Holistic Approach to Auto-Parallelization: Integrating Profile-Driven Parallelism Detection and Machine-Learning Based Mapping. In Programming Language Design and Implementation. ACM."},{"volume-title":"C++ Parallel Programming with Threading Building Blocks","author":"Voss Michael","key":"e_1_3_2_1_48_1","unstructured":"Michael Voss , Rafael Asenjo , and James Reinders . 2019. Pro TBB : C++ Parallel Programming with Threading Building Blocks . Apress . Michael Voss, Rafael Asenjo, and James Reinders. 2019. Pro TBB: C++ Parallel Programming with Threading Building Blocks. Apress."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2751205.2751241"}],"event":{"name":"PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","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"],"location":"Virtual Event Republic of Korea","acronym":"PPoPP '21"},"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.3441603","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3437801.3441603","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.3441603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,17]]},"references-count":48,"alternative-id":["10.1145\/3437801.3441603","10.1145\/3437801"],"URL":"https:\/\/doi.org\/10.1145\/3437801.3441603","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"}}]}}