{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:15Z","timestamp":1750306755449,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,23]],"date-time":"2013-09-23T00:00:00Z","timestamp":1379894400000},"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":[[2013,9,23]]},"DOI":"10.1145\/2502323.2502329","type":"proceedings-article","created":{"date-parts":[[2013,9,17]],"date-time":"2013-09-17T19:57:05Z","timestamp":1379447825000},"page":"3-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["ViperVM"],"prefix":"10.1145","author":[{"given":"Sylvain","family":"Henry","sequence":"first","affiliation":[{"name":"University of Bordeaux, Bordeaux, France"}]}],"member":"320","published-online":{"date-parts":[[2013,9,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Cheaper, Better a Hybridization Methodology to Develop Linear Algebra Software for.","author":"Agullo E.","year":"2010","unstructured":"E. Agullo , C. Augonnet , J. Dongarra , H. Ltaief , R. Namyst , S. Thibault , and S. Tomov . Faster , Cheaper, Better a Hybridization Methodology to Develop Linear Algebra Software for. 2010 . E. Agullo, C. Augonnet, J. Dongarra, H. Ltaief, R. Namyst, S. Thibault, and S. Tomov. Faster, Cheaper, Better a Hybridization Methodology to Develop Linear Algebra Software for. 2010."},{"key":"e_1_3_2_1_2_1","volume-title":"2nd International Workshop on Polyhedral Compilation Techniques, Impact (Jan 2012)","author":"Amini M.","year":"2012","unstructured":"M. Amini , B. Creusillet , S. Even , R. Keryell , O. Goubier , S. Guelton , J. McMahon , F. Pasquier , G. P\u00e9an , and P. Villalon . Par4all: From convex array regions to heterogeneous computing . In 2nd International Workshop on Polyhedral Compilation Techniques, Impact (Jan 2012) , 2012 . M. Amini, B. Creusillet, S. Even, R. Keryell, O. Goubier, S. Guelton, J. McMahon, F. Pasquier, G. P\u00e9an, and P. Villalon. Par4all: From convex array regions to heterogeneous computing. In 2nd International Workshop on Polyhedral Compilation Techniques, Impact (Jan 2012), 2012."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542481"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03869-3_80"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1631"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03869-3_79"},{"key":"e_1_3_2_1_7_1","volume-title":"de l'informatique du paralllisme. Scheduling divisible loads with return messages on hetero-geneous master-worker platforms","author":"Beaumont O.","year":"2005","unstructured":"O. Beaumont , L. Marchal , Y. Robert , and L. de l'informatique du paralllisme. Scheduling divisible loads with return messages on hetero-geneous master-worker platforms . 2005 . O. Beaumont, L. Marchal, Y. Robert, and L. de l'informatique du paralllisme. Scheduling divisible loads with return messages on hetero-geneous master-worker platforms. 2005."},{"key":"e_1_3_2_1_8_1","volume-title":"Lectures on constructive functional programming","author":"Bird R.","year":"1988","unstructured":"R. Bird Lectures on constructive functional programming . Oxford University Computing Laboratory, Programming Research Group , 1988 . R. Bird et al. Lectures on constructive functional programming. Oxford University Computing Laboratory, Programming Research Group, 1988."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2010.56"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2011.10.003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2482767.2482794"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.15"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926358"},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","first-page":"4","volume-title":"R. Keller, D. Kramer, and J.-P","author":"Christadler I.","year":"2011","unstructured":"I. Christadler and V. Weinberg . Rapidmind: Portability across architectures and its limitations . In R. Keller, D. Kramer, and J.-P . Weiss, editors, Facing the Multicore-Challenge, volume 6310 of Lecture Notes in Computer Science , pages 4 -- 15 . Springer Berlin Heidelberg , 2011 . ISBN 978-3-642-16232-9. I. Christadler and V. Weinberg. Rapidmind: Portability across architectures and its limitations. In R. Keller, D. Kramer, and J.-P. Weiss, editors, Facing the Multicore-Challenge, volume 6310 of Lecture Notes in Computer Science, pages 4--15. Springer Berlin Heidelberg, 2011. ISBN 978-3-642-16232-9."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/795695.798168"},{"key":"e_1_3_2_1_16_1","volume-title":"C language extensions for hybrid cpu\/gpu programming with starpu. arXiv preprint arXiv:1304.0878","author":"Court\u00e9s L.","year":"2013","unstructured":"L. Court\u00e9s . C language extensions for hybrid cpu\/gpu programming with starpu. arXiv preprint arXiv:1304.0878 , 2013 . URL http:\/\/arxiv.org\/abs\/1304.0878. L. Court\u00e9s. C language extensions for hybrid cpu\/gpu programming with starpu. arXiv preprint arXiv:1304.0878, 2013. URL http:\/\/arxiv.org\/abs\/1304.0878."},{"key":"e_1_3_2_1_17_1","volume-title":"Hmpp: A hybrid multi-core parallel programming environment","author":"Dolbeau R.","year":"2007","unstructured":"R. Dolbeau , S. Bihan , and F. Bodin . Hmpp: A hybrid multi-core parallel programming environment . 2007 . R. Dolbeau, S. Bihan, and F. Bodin. Hmpp: A hybrid multi-core parallel programming environment. 2007."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017482"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2013.66"},{"key":"e_1_3_2_1_20_1","volume-title":"Intel","author":"Ghuloum A.","year":"2007","unstructured":"A. Ghuloum , E. Sprangle , J. Fang , G. Wu , and X. Zhou . Ct: A flexible parallel programming model for tera-scale architectures . Intel , 2007 . A. Ghuloum, E. Sprangle, J. Fang, G. Wu, and X. Zhou. Ct: A flexible parallel programming model for tera-scale architectures. Intel, 2007."},{"key":"e_1_3_2_1_21_1","first-page":"287","volume-title":"Optimization and approximation in deterministic sequencing and scheduling: a survey. Annals of Discrete Mathematics. v5","author":"Graham R. L.","year":"1977","unstructured":"R. L. Graham , E. L. Lawler , J. K. Lenstra , and A. Rinnooy Kan . Optimization and approximation in deterministic sequencing and scheduling: a survey. Annals of Discrete Mathematics. v5 , pages 287 -- 326 , 1977 . R. L. Graham, E. L. Lawler, J. K. Lenstra, and A. Rinnooy Kan. Optimization and approximation in deterministic sequencing and scheduling: a survey. Annals of Discrete Mathematics. v5, pages 287--326, 1977."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2013.6494993"},{"key":"e_1_3_2_1_23_1","volume-title":"The openacc application programming interface","author":"O. Group","year":"2011","unstructured":"O. Group . The openacc application programming interface , 2011 . O. Group. The openacc application programming interface, 2011."},{"key":"e_1_3_2_1_24_1","volume-title":"International Symposium on Parallel Symbolic Computation, Hagenberg\/Linz, Austria, 09","author":"Hammond K.","year":"1994","unstructured":"K. Hammond . Parallel functional programming: An introduction . In International Symposium on Parallel Symbolic Computation, Hagenberg\/Linz, Austria, 09 1994 . World Scientific. K. Hammond. Parallel functional programming: An introduction. In International Symposium on Parallel Symbolic Computation, Hagenberg\/Linz, Austria, 09 1994. World Scientific."},{"key":"e_1_3_2_1_25_1","volume-title":"Programmation unifie multi-acclrateur opencl. Techniques et Sciences Informatiques, 31(8-9-10):  1233--1249","author":"Henry S.","year":"2012","unstructured":"S. Henry , A. Denis , and D. Barthou . Programmation unifie multi-acclrateur opencl. Techniques et Sciences Informatiques, 31(8-9-10): 1233--1249 , 2012 . . URL http:\/\/hal.inria.fr\/hal-00772742. S. Henry, A. Denis, and D. Barthou. Programmation unifie multi-acclrateur opencl. Techniques et Sciences Informatiques, 31(8-9-10): 1233--1249, 2012. . URL http:\/\/hal.inria.fr\/hal-00772742."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01018827"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005526"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863533"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32096-5_7"},{"key":"e_1_3_2_1_30_1","volume-title":"AK Peters Wellesley","author":"McCool M. D.","year":"2004","unstructured":"M. D. McCool and S. Du Toit . Metaprogramming GPUs with Sh . AK Peters Wellesley , 2004 . M. D. McCool and S. Du Toit. Metaprogramming GPUs with Sh. AK Peters Wellesley, 2004."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500595"},{"key":"e_1_3_2_1_32_1","volume-title":"Global memory for accelerator, tm: Task manager","author":"Multicoreware I.","year":"2011","unstructured":"I. Multicoreware . Gmac : Global memory for accelerator, tm: Task manager , 2011 . http:\/\/www.multicorewareinc.com. I. Multicoreware. Gmac: Global memory for accelerator, tm: Task manager, 2011. http:\/\/www.multicorewareinc.com."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/2190025.2190069"},{"key":"e_1_3_2_1_34_1","volume-title":"Implementing functional languages: a tutorial","author":"Peyton Jones S. L.","year":"1992","unstructured":"S. L. Peyton Jones and D. R. Lester . Implementing functional languages: a tutorial . Prentice-Hall, Inc. , 1992 . S. L. Peyton Jones and D. R. Lester. Implementing functional languages: a tutorial. Prentice-Hall, Inc., 1992."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342009106195"},{"key":"e_1_3_2_1_36_1","volume-title":"Functional programming and parallel graph rewriting","author":"Plasmeijer R.","year":"1993","unstructured":"R. Plasmeijer , M. Van Eekelen , and M. Plasmeijer . Functional programming and parallel graph rewriting , volume 857 . Addison-wesley , 1993 . R. Plasmeijer, M. Van Eekelen, and M. Plasmeijer. Functional programming and parallel graph rewriting, volume 857. Addison-wesley, 1993."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/846234.849341"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291893"},{"key":"e_1_3_2_1_39_1","volume-title":"Implicit array copying: Prevention is better than cure","author":"Roe P.","year":"1992","unstructured":"P. Roe and A. Wendelborn . Implicit array copying: Prevention is better than cure , 1992 . P. Roe and A. Wendelborn. Implicit array copying: Prevention is better than cure, 1992."},{"key":"e_1_3_2_1_40_1","first-page":"111","volume-title":"Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International","author":"Sakellariou R.","unstructured":"R. Sakellariou and H. Zhao . A hybrid heuristic for dag scheduling on heterogeneous systems . In Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International , page 111 . IEEE, 2004. R. Sakellariou and H. Zhao. A hybrid heuristic for dag scheduling on heterogeneous systems. In Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International, page 111. IEEE, 2004."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2159430.2159440"},{"key":"e_1_3_2_1_42_1","volume-title":"Programming future parallel architectures with haskell and intel arbb","author":"Svensson B. J.","year":"2011","unstructured":"B. J. Svensson and R. Newton . Programming future parallel architectures with haskell and intel arbb . 2011 . B. J. Svensson and R. Newton. Programming future parallel architectures with haskell and intel arbb. 2011."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364474.2364477"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/2044476.2044485"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168898"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.993206"},{"key":"e_1_3_2_1_47_1","unstructured":"J. Windows. Automated parallelisation of code written in the bird-meertens formalism 2003.  J. Windows. Automated parallelisation of code written in the bird-meertens formalism 2003."}],"event":{"name":"ICFP'13: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston Massachusetts USA","acronym":"ICFP'13"},"container-title":["Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502323.2502329","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2502323.2502329","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:35Z","timestamp":1750231715000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502323.2502329"}},"subtitle":["a runtime system for parallel functional high-performance computing on heterogeneous architectures"],"short-title":[],"issued":{"date-parts":[[2013,9,23]]},"references-count":47,"alternative-id":["10.1145\/2502323.2502329","10.1145\/2502323"],"URL":"https:\/\/doi.org\/10.1145\/2502323.2502329","relation":{},"subject":[],"published":{"date-parts":[[2013,9,23]]},"assertion":[{"value":"2013-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}