{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:33Z","timestamp":1772164113957,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"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,6,11]]},"DOI":"10.1145\/3192366.3192413","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"543-556","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Partial control-flow linearization"],"prefix":"10.1145","author":[{"given":"Simon","family":"Moll","sequence":"first","affiliation":[{"name":"Saarland University, Germany"}]},{"given":"Sebastian","family":"Hack","sequence":"additional","affiliation":[{"name":"Saarland University, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572769.1572792"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567085"},{"key":"e_1_3_2_2_3_1","first-page":"133","article-title":"Taming Control Divergence in GPUs through Control Flow Linearization. Springer Berlin Heidelberg, Berlin","author":"Anantpur Jayvant","year":"2014","unstructured":"Jayvant Anantpur and Govindarajan R. 2014 . Taming Control Divergence in GPUs through Control Flow Linearization. Springer Berlin Heidelberg, Berlin , Heidelberg , 133 - 153 . Jayvant Anantpur and Govindarajan R. 2014. Taming Control Divergence in GPUs through Control Flow Linearization. Springer Berlin Heidelberg, Berlin, Heidelberg, 133-153.","journal-title":"Heidelberg"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6494995"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908111"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2693261"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-1699(99)00046-0"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.63"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2155620.2155676"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318636"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503223"},{"key":"e_1_3_2_2_14_1","unstructured":"Alexander G Gray and Andrew W Moore. 2001. N-body'problems in statistical learning. In Advances in neural information processing systems. 521-527.   Alexander G Gray and Andrew W Moore. 2001. N-body'problems in statistical learning. In Advances in neural information processing systems . 521-527."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3148173.3148185"},{"key":"e_1_3_2_2_16_1","volume-title":"Construction of thinned gated single-assignment form","author":"Havlak Paul","unstructured":"Paul Havlak . 1994. Construction of thinned gated single-assignment form . Springer Berlin Heidelberg , Berlin, Heidelberg , 477-499. Paul Havlak. 1994. Construction of thinned gated single-assignment form. Springer Berlin Heidelberg, Berlin, Heidelberg, 477-499."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/321832.321835"},{"key":"e_1_3_2_2_18_1","volume-title":"2016 IEEE International Symposium on Workload Characterization (IISWC). 1-2.","author":"Hegde N.","unstructured":"N. Hegde , J. Liu , and M. Kulkarni . 2016. Treelogy: a benchmark suite for tree traversal applications . In 2016 IEEE International Symposium on Workload Characterization (IISWC). 1-2. N. Hegde, J. Liu, and M. Kulkarni. 2016. Treelogy: a benchmark suite for tree traversal applications. In 2016 IEEE International Symposium on Workload Characterization (IISWC). 1-2."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079079.3079105"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2523721.2523770"},{"key":"e_1_3_2_2_21_1","volume-title":"Automatic SIMD Vectorization of SSA-based Control Flow Graphs","author":"Karrenberg Ralf","unstructured":"Ralf Karrenberg . 2015. Automatic SIMD Vectorization of SSA-based Control Flow Graphs . Springer Vieweg . Ralf Karrenberg. 2015. Automatic SIMD Vectorization of SSA-based Control Flow Graphs. Springer Vieweg."},{"key":"e_1_3_2_2_22_1","first-page":"141","volume-title":"Whole-function Vectorization. In Proceedings of the 9th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO '11)","author":"Karrenberg Ralf","year":"2011","unstructured":"Ralf Karrenberg and Sebastian Hack . 2011 . Whole-function Vectorization. In Proceedings of the 9th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO '11) . IEEE Computer Society, Washington, DC, USA , 141 - 150 . http:\/\/dl.acm.org\/citation.cfm?id=2190025.2190061 Ralf Karrenberg and Sebastian Hack. 2011. Whole-function Vectorization. In Proceedings of the 9th Annual IEEE\/ACM International Symposium on Code Generation and Optimization (CGO '11). IEEE Computer Society, Washington, DC, USA, 141-150. http:\/\/dl.acm.org\/citation.cfm?id=2190025.2190061"},{"key":"e_1_3_2_2_23_1","volume-title":"Compiler Construction","author":"Karrenberg Ralf","unstructured":"Ralf Karrenberg and Sebastian Hack . 2012. Improving Performance of OpenCL on CPUs . In Compiler Construction . Springer Berlin Heidelberg , Berlin, Heidelberg , 1-20. Ralf Karrenberg and Sebastian Hack. 2012. Improving Performance of OpenCL on CPUs. In Compiler Construction. Springer Berlin Heidelberg, Berlin, Heidelberg, 1-20."},{"key":"e_1_3_2_2_24_1","volume-title":"Lonestar: A Suite of Parallel Irregular Programs. In ISPASS '09: IEEE International Symposium on Performance Analysis of Systems and Software. http:\/\/iss.ices.utexas.edu\/Publications\/Papers\/ispass2009","author":"Kulkarni Milind","year":"2009","unstructured":"Milind Kulkarni , Martin Burtscher , Calin Cas\u00e7aval , and Keshav Pingali . 2009 . Lonestar: A Suite of Parallel Irregular Programs. In ISPASS '09: IEEE International Symposium on Performance Analysis of Systems and Software. http:\/\/iss.ices.utexas.edu\/Publications\/Papers\/ispass2009 .pdf Milind Kulkarni, Martin Burtscher, Calin Cas\u00e7aval, and Keshav Pingali. 2009. Lonestar: A Suite of Parallel Irregular Programs. In ISPASS '09: IEEE International Symposium on Performance Analysis of Systems and Software. http:\/\/iss.ices.utexas.edu\/Publications\/Papers\/ispass2009.pdf"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2017.03.001"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2014.48"},{"key":"e_1_3_2_2_28_1","unstructured":"Joseph CH Park and Mike Schlansker. 1991. On predicated execution. Hewlett-Packard Laboratories Palo Alto California.  Joseph CH Park and Mike Schlansker. 1991. On predicated execution . Hewlett-Packard Laboratories Palo Alto California."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"crossref","unstructured":"M. Pharr and W. R. Mark. 2012. ispc: A SPMD compiler for highperformance CPU programming. In 2012 Innovative Parallel Computing (InPar). 1-13.  M. Pharr and W. R. Mark. 2012. ispc: A SPMD compiler for highperformance CPU programming. In 2012 Innovative Parallel Computing (InPar) . 1-13.","DOI":"10.1109\/InPar.2012.6339601"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738004"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3018743.3018763"},{"key":"e_1_3_2_2_32_1","first-page":"1","volume-title":"Proceedings of the 2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO) (CGO '13)","author":"Ren Bin","unstructured":"Bin Ren , Tomi Poutanen , Todd Mytkowicz , Wolfram Schulte , Gagan Agrawal , and James R. Larus . 2013. SIMD Parallelization of Applications That Traverse Irregular Data Structures . In Proceedings of the 2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO) (CGO '13) . IEEE Computer Society, Washington, DC, USA , 1 - 10 . Bin Ren, Tomi Poutanen, Todd Mytkowicz, Wolfram Schulte, Gagan Agrawal, and James R. Larus. 2013. SIMD Parallelization of Applications That Traverse Irregular Data Structures. In Proceedings of the 2013 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO) (CGO '13). IEEE Computer Society, Washington, DC, USA, 1-10."},{"key":"e_1_3_2_2_33_1","volume-title":"Joint International Conference on Supercomputing in Nuclear Applications and Monte Carlo 2013","author":"Romano Paul K.","year":"2015","unstructured":"Paul K. Romano , Nicholas E. Horelik , Bryan R. Herman , Adam G. Nelson , Benoit Forget , and Kord Smith . 2015 . OpenMC: A state-of-the-art Monte Carlo code for research and development. Annals of Nuclear Energy 82 (2015), 90-97 . Joint International Conference on Supercomputing in Nuclear Applications and Monte Carlo 2013 , {SNA} + {MC} 2013. Pluri- and Trans-disciplinarity, Towards New Modeling and Numerical Simulation Paradigms. Paul K. Romano, Nicholas E. Horelik, Bryan R. Herman, Adam G. Nelson, Benoit Forget, and Kord Smith. 2015. OpenMC: A state-of-the-art Monte Carlo code for research and development. Annals of Nuclear Energy 82 (2015), 90-97. Joint International Conference on Supercomputing in Nuclear Applications and Monte Carlo 2013, {SNA} + {MC} 2013. Pluri- and Trans-disciplinarity, Towards New Modeling and Numerical Simulation Paradigms."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/L-CA.2012.28"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079079.3079098"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1299042.1299055"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.33"},{"key":"e_1_3_2_2_38_1","volume-title":"Evaluating compiler technology for control-flow optimizations for multimedia extension architectures. Microprocessors and Microsystems 33, 4 (6","author":"Shin Jaewook","year":"2009","unstructured":"Jaewook Shin , Mary W. Hall , and Jacqueline Chame . 2009. Evaluating compiler technology for control-flow optimizations for multimedia extension architectures. Microprocessors and Microsystems 33, 4 (6 2009 ), 235-243. Jaewook Shin, Mary W. Hall, and Jacqueline Chame. 2009. Evaluating compiler technology for control-flow optimizations for multimedia extension architectures. Microprocessors and Microsystems 33, 4 (6 2009), 235-243."},{"key":"e_1_3_2_2_39_1","volume-title":"SPEC CPU2017 Benchmark Descriptions.","author":"Standard Performance Evaluation Corporation (SPEC).","year":"2017","unstructured":"Standard Performance Evaluation Corporation (SPEC). 2017 . SPEC CPU2017 Benchmark Descriptions. Standard Performance Evaluation Corporation (SPEC). 2017. SPEC CPU2017 Benchmark Descriptions."},{"key":"e_1_3_2_2_40_1","volume-title":"Workshop on Programming Models for SIMD\/Vector Processing.","author":"Timnat Shahar","year":"2014","unstructured":"Shahar Timnat , Ohad Shacham , and Ayal Zaks . 2014 . Predicate vectors if you must . In Workshop on Programming Models for SIMD\/Vector Processing. Shahar Timnat, Ohad Shacham, and Ayal Zaks. 2014. Predicate vectors if you must. In Workshop on Programming Models for SIMD\/Vector Processing."},{"key":"e_1_3_2_2_41_1","volume-title":"XSBench-the development and verification of a performance abstraction for Monte Carlo reactor analysis. The Role of Reactor Physics toward a Sustainable Future (PHYSOR)","author":"Tramm John R","year":"2014","unstructured":"John R Tramm , Andrew R Siegel , Tanzima Islam , and Martin Schulz . 2014. XSBench-the development and verification of a performance abstraction for Monte Carlo reactor analysis. The Role of Reactor Physics toward a Sustainable Future (PHYSOR) ( 2014 ). John R Tramm, Andrew R Siegel, Tanzima Islam, and Martin Schulz. 2014. XSBench-the development and verification of a performance abstraction for Monte Carlo reactor analysis. The Role of Reactor Physics toward a Sustainable Future (PHYSOR) (2014)."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064979.1064998"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192413","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192413","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192413"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":42,"alternative-id":["10.1145\/3192366.3192413","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192413","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192413","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}