{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:29Z","timestamp":1750220849484,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T00:00:00Z","timestamp":1571616000000},"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":[[2019,10,21]]},"DOI":"10.1145\/3357390.3361023","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"117-130","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["PorcE: a deparallelizing compiler"],"prefix":"10.1145","author":[{"given":"Arthur Michener","family":"Peters","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"John A.","family":"Thywissen","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Christopher J.","family":"Rossbach","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA \/ VMware, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"35","volume-title":"Proceedings from the Haskell Workshop (at FPCA 95)","author":"Aditya Shail","unstructured":"Shail Aditya , Arvind, Jan-Willem Augustsson , Lennart Maesson , and Rishiyur S. Nikhil . 1995. Semantics of pH: A parallel dialect of Haskell . In Proceedings from the Haskell Workshop (at FPCA 95) . 35 - 49 . Shail Aditya, Arvind, Jan-Willem Augustsson, Lennart Maesson, and Rishiyur S. Nikhil. 1995. Semantics of pH: A parallel dialect of Haskell. In Proceedings from the Haskell Workshop (at FPCA 95). 35-49."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/7929"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796816000010"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/209936.209958"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093157.2093165"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094852"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2009.5306797"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465373"},{"key":"e_1_3_2_1_10_1","volume-title":"Cook and Jayadev Misra","author":"William","year":"2008","unstructured":"William R. Cook and Jayadev Misra . 2008 a. Structured Interacting Computations. In Software-Intensive Systems and New Computing Paradigms, Martin Wirsing, Jean-Pierre Ban\u00e2tre, Matthias H\u00f6lzl, and Axel Rauschmayer (Eds.). Lecture Notes in Computer Science, Vol. 5380 . Springer , 139-145. William R. Cook and Jayadev Misra. 2008a. Structured Interacting Computations. In Software-Intensive Systems and New Computing Paradigms, Martin Wirsing, Jean-Pierre Ban\u00e2tre, Matthias H\u00f6lzl, and Axel Rauschmayer (Eds.). Lecture Notes in Computer Science, Vol. 5380. Springer, 139-145."},{"key":"e_1_3_2_1_11_1","volume-title":"Cook and Jayadev Misra","author":"William","year":"2008","unstructured":"William R. Cook and Jayadev Misra . 2008 b. Structured Interacting Computations. In Software-Intensive Systems and New Computing Paradigms, Martin Wirsing, Jean-Pierre Ban\u00e2tre, Matthias H\u00f6lzl, and Axel Rauschmayer (Eds.). Lecture Notes in Computer Science, Vol. 5380 . Springer , 139-145. William R. Cook and Jayadev Misra. 2008b. Structured Interacting Computations. In Software-Intensive Systems and New Computing Paradigms, Martin Wirsing, Jean-Pierre Ban\u00e2tre, Matthias H\u00f6lzl, and Axel Rauschmayer (Eds.). Lecture Notes in Computer Science, Vol. 5380. Springer, 139-145."},{"volume-title":"2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES). 1-10","author":"Cordes D.","key":"e_1_3_2_1_12_1","unstructured":"D. Cordes , M. Engel , O. Neugebauer , and P. Marwedel . 2013. Automatic Extraction of pipeline parallelism for embedded heterogeneous multicore platforms . In 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES). 1-10 . D. Cordes, M. Engel, O. Neugebauer, and P. Marwedel. 2013. Automatic Extraction of pipeline parallelism for embedded heterogeneous multicore platforms. In 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES). 1-10."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/99.660313"},{"key":"e_1_3_2_1_14_1","first-page":"137","volume-title":"MapReduce: Simplified Data Processing on Large Clusters. In OSDI'04: Sixth Symposium on Operating System Design and Implementation","author":"Dean Jeffrey","year":"2004","unstructured":"Jeffrey Dean and Sanjay Ghemawat . 2004 . MapReduce: Simplified Data Processing on Large Clusters. In OSDI'04: Sixth Symposium on Operating System Design and Implementation . San Francisco, CA , 137 - 150 . Jeffrey Dean and Sanjay Ghemawat. 2004. MapReduce: Simplified Data Processing on Large Clusters. In OSDI'04: Sixth Symposium on Operating System Design and Implementation. San Francisco, CA, 137-150."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1413370.1413407"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281100.1281106"},{"volume-title":"Automatic parallelization in the polytope model","author":"Feautrier Paul","key":"e_1_3_2_1_17_1","unstructured":"Paul Feautrier . 1996. Automatic parallelization in the polytope model . Springer Berlin Heidelberg , Berlin, Heidelberg , 79-103. Paul Feautrier. 1996. Automatic parallelization in the polytope model. Springer Berlin Heidelberg, Berlin, Heidelberg, 79-103."},{"key":"e_1_3_2_1_18_1","first-page":"212","volume-title":"Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (PLDI '98)","author":"Frigo Matteo","unstructured":"Matteo Frigo , Charles E. Leiserson , and Keith H. Randall . 1998. The Implementation of the Cilk-5 Multithreaded Language . In Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (PLDI '98) . ACM, New York, NY, USA , 212 - 223 . Matteo Frigo, Charles E. Leiserson, and Keith H. Randall. 1998. The Implementation of the Cilk-5 Multithreaded Language. In Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation (PLDI '98). ACM, New York, NY, USA, 212-223."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810479.1810540"},{"key":"e_1_3_2_1_21_1","first-page":"67","volume-title":"Proceedings of the 4th International Workshop on Programming Based on Actors Agents & Decentralized Control (AGERE! '14)","author":"Shams","unstructured":"Shams M. Imam and Vivek Sarkar. 2014. Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries . In Proceedings of the 4th International Workshop on Programming Based on Actors Agents & Decentralized Control (AGERE! '14) . ACM, New York, NY, USA , 67 - 80 . Shams M. Imam and Vivek Sarkar. 2014. Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries. In Proceedings of the 4th International Workshop on Programming Based on Actors Agents & Decentralized Control (AGERE! '14). ACM, New York, NY, USA, 67-80."},{"key":"e_1_3_2_1_22_1","unstructured":"Intel Corporation. 2018. Intel Threading Building Blocks. https:\/\/www.threadingbuildingblocks.org\/.  Intel Corporation. 2018. Intel Threading Building Blocks. https:\/\/www.threadingbuildingblocks.org\/."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967938.2967968"},{"key":"e_1_3_2_1_24_1","volume-title":"Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIPWG 6.1 International Conference FORTE 2009: Proceedings (Lisboa, Portugal","author":"Kitchin David","year":"2009","unstructured":"David Kitchin , Adrian Quark , William Cook , and Jayadev Misra . 2009. The Orc Programming Language . In Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIPWG 6.1 International Conference FORTE 2009: Proceedings (Lisboa, Portugal , 9-12 June 2009 ) (Lecture Notes in Computer Science), Vol. 5522 . Springer , 1-25. David Kitchin, Adrian Quark, William Cook, and Jayadev Misra. 2009. The Orc Programming Language. In Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIPWG 6.1 International Conference FORTE 2009: Proceedings (Lisboa, Portugal, 9-12 June 2009) (Lecture Notes in Computer Science), Vol. 5522. Springer, 1-25."},{"key":"e_1_3_2_1_25_1","volume-title":"Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures. In Reflections on the Work of C","author":"Kitchin David","year":"2010","unstructured":"David Kitchin , Adrian Quark , and Jayadev Misra . 2010 . Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures. In Reflections on the Work of C .A.R. Hoare, A. W. Roscoe, Cliff B. Jones, and Ken Wood (Eds.). Springer . David Kitchin, Adrian Quark, and Jayadev Misra. 2010. Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures. In Reflections on the Work of C.A.R. Hoare, A. W. Roscoe, Cliff B. Jones, and Ken Wood (Eds.). Springer."},{"key":"e_1_3_2_1_26_1","first-page":"81","volume-title":"Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI '89)","author":"Kranz D. A.","unstructured":"D. A. Kranz , R. H. Halstead , Jr., and E. Mohr . 1989. Mul-T: A High-performance Parallel Lisp . In Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI '89) . ACM, New York, NY, USA , 81 - 90 . D. A. Kranz, R. H. Halstead, Jr., and E. Mohr. 1989. Mul-T: A High-performance Parallel Lisp. In Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI '89). ACM, New York, NY, USA, 81-90."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576195.2576207"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398857.2384639"},{"key":"e_1_3_2_1_29_1","first-page":"2","article-title":"The Parallel Execution of DO","volume":"17","author":"Lamport Leslie","year":"1974","unstructured":"Leslie Lamport . 1974 . The Parallel Execution of DO Loops. Commun. ACM 17 , 2 (Feb. 1974), 83-93. Leslie Lamport. 1974. The Parallel Execution of DO Loops. Commun. ACM 17, 2 (Feb. 1974), 83-93.","journal-title":"Loops. Commun. ACM"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509518"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984022"},{"volume-title":"Euro-Par 2011 Parallel Processing","author":"Prokopec Aleksandar","key":"e_1_3_2_1_32_1","unstructured":"Aleksandar Prokopec , Phil Bagwell , Tiark Rompf , and Martin Odersky . 2011. A Generic Parallel Collection Framework . In Euro-Par 2011 Parallel Processing , Emmanuel Jeannot, Raymond Namyst, and Jean Roman (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 136-147. Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, and Martin Odersky. 2011. A Generic Parallel Collection Framework. In Euro-Par 2011 Parallel Processing, Emmanuel Jeannot, Raymond Namyst, and Jean Roman (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 136-147."},{"key":"e_1_3_2_1_33_1","volume-title":"Parallel Collections: Overview","author":"Prokopec Aleksandar","year":"2018","unstructured":"Aleksandar Prokopec and Heather Miller . 2018 . Parallel Collections: Overview . http:\/\/docs.scala-lang.org\/overviews\/parallel-collections\/overview.html. Aleksandar Prokopec and Heather Miller. 2018. Parallel Collections: Overview. http:\/\/docs.scala-lang.org\/overviews\/parallel-collections\/overview.html."},{"key":"e_1_3_2_1_34_1","first-page":"1","volume-title":"Proceedings of the","author":"Ramamoorthy C. V.","year":"1969","unstructured":"C. V. Ramamoorthy and M. J. Gonzalez . 1969. A Survey of Techniques for Recognizing Parallel Processable Streams in Computer Programs . In Proceedings of the November 18-20, 1969 , Fall Joint Computer Conference (AFIPS '69 (Fall)). ACM, New York, NY, USA , 1 - 15 . C. V. Ramamoorthy and M. J. Gonzalez. 1969. A Survey of Techniques for Recognizing Parallel Processable Streams in Computer Programs. In Proceedings of the November 18-20, 1969, Fall Joint Computer Conference (AFIPS '69 (Fall)). ACM, New York, NY, USA, 1-15."},{"key":"e_1_3_2_1_35_1","first-page":"249","volume-title":"Proceedings of the 22Nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '17)","author":"Schardl Tao B.","unstructured":"Tao B. Schardl , William S. Moses , and Charles E. Leiserson . 2017. Tapir: Embedding Fork-Join Parallelism into LLVM's Intermediate Representation . In Proceedings of the 22Nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '17) . ACM, New York, NY, USA , 249 - 265 . Tao B. Schardl, William S. Moses, and Charles E. Leiserson. 2017. Tapir: Embedding Fork-Join Parallelism into LLVM's Intermediate Representation. In Proceedings of the 22Nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '17). ACM, New York, NY, USA, 249-265."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370036.2145850"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1854273.1854319"},{"volume-title":"Euro-Par 2013 Parallel Processing, Felix Wolf","author":"Thoman Peter","key":"e_1_3_2_1_38_1","unstructured":"Peter Thoman , Herbert Jordan , and Thomas Fahringer . 2013. Adaptive Granularity Control in Task Parallel Programs Using Multiversioning . In Euro-Par 2013 Parallel Processing, Felix Wolf , Bernd Mohr , and Dieter an Mey (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 164-177. Peter Thoman, Herbert Jordan, and Thomas Fahringer. 2013. Adaptive Granularity Control in Task Parallel Programs Using Multiversioning. In Euro-Par 2013 Parallel Processing, Felix Wolf, Bernd Mohr, and Dieter an Mey (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 164-177."},{"key":"e_1_3_2_1_39_1","first-page":"79","volume-title":"Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation (PLDI '96)","author":"Trinder P. W.","unstructured":"P. W. Trinder , K. Hammond , J. S. Mattson , Jr., A. S. Partridge , and S. L. Peyton Jones . 1996. GUM: A Portable Parallel Implementation of Haskell . In Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation (PLDI '96) . ACM, New York, NY, USA , 79 - 88 . P. W. Trinder, K. Hammond, J. S. Mattson, Jr., A. S. Partridge, and S. L. Peyton Jones. 1996. GUM: A Portable Parallel Implementation of Haskell. In Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation (PLDI '96). ACM, New York, NY, USA, 79-88."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629643"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541985"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384577.2384587"},{"key":"e_1_3_2_1_43_1","volume-title":"Exploiting Parallelism with Dependence-Aware Scheduling. In 2009 18th International Conference on Parallel Architectures and Compilation Techniques. 193-202","author":"Zhuang X.","year":"2009","unstructured":"X. Zhuang , A. E. Eichenberger , Y. Luo , K. O'Brien , and K. O'Brien . 2009 . Exploiting Parallelism with Dependence-Aware Scheduling. In 2009 18th International Conference on Parallel Architectures and Compilation Techniques. 193-202 . X. Zhuang, A. E. Eichenberger, Y. Luo, K. O'Brien, and K. O'Brien. 2009. Exploiting Parallelism with Dependence-Aware Scheduling. In 2009 18th International Conference on Parallel Architectures and Compilation Techniques. 193-202."}],"event":{"name":"MPLR '19: 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"MPLR '19"},"container-title":["Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357390.3361023","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3357390.3361023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:11Z","timestamp":1750202591000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357390.3361023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,21]]},"references-count":42,"alternative-id":["10.1145\/3357390.3361023","10.1145\/3357390"],"URL":"https:\/\/doi.org\/10.1145\/3357390.3361023","relation":{},"subject":[],"published":{"date-parts":[[2019,10,21]]},"assertion":[{"value":"2019-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}