乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:00:57Z","timestamp":1725627657680},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T00:00:00Z","timestamp":1626307200000},"content-version":"vor","delay-in-days":659,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["CCF-1446412"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,25]]},"DOI":"10.1145\/3412932.3412946","type":"proceedings-article","created":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T16:08:45Z","timestamp":1626365325000},"page":"1-11","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Shapes and flattening"],"prefix":"10.1145","author":[{"given":"John","family":"Reppy","sequence":"first","affiliation":[{"name":"University of Chicago"}]},{"given":"Joe","family":"Wingerter","sequence":"additional","affiliation":[{"name":"University of Chicago"}]}],"member":"320","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Nested Data-Parallelism on the GPU. In ICFP '12","author":"Bergstrom Lars","year":"2012","unstructured":"Lars Bergstrom and John Reppy . 2012 . Nested Data-Parallelism on the GPU. In ICFP '12 ( Copenhagen, Denmark). ACM, New York, NY, 247--258. Lars Bergstrom and John Reppy. 2012. Nested Data-Parallelism on the GPU. In ICFP '12 (Copenhagen, Denmark). ACM, New York, NY, 247--258."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.42122"},{"volume-title":"Vector models for data-parallel computing","author":"Blelloch Guy E.","key":"e_1_3_2_1_3_1","unstructured":"Guy E. Blelloch . 1990. Vector models for data-parallel computing . MIT Press , Cambridge, MA, USA . Guy E. Blelloch. 1990. Vector models for data-parallel computing. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_4_1","volume-title":"NESL: A nested data-parallel language (version 3.1). Technical Report CMU-CS-95-170. School of C.S.","author":"Blelloch Guy E.","year":"1995","unstructured":"Guy E. Blelloch . 1995 . NESL: A nested data-parallel language (version 3.1). Technical Report CMU-CS-95-170. School of C.S. , CMU , Pittsburgh, PA . Guy E. Blelloch. 1995. NESL: A nested data-parallel language (version 3.1). Technical Report CMU-CS-95-170. School of C.S., CMU, Pittsburgh, PA."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/227234.227246"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1994.1038"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(90)90087-6"},{"volume-title":"FHPC '14","author":"Henriksen Troels","key":"e_1_3_2_1_8_1","unstructured":"Troels Henriksen , Martin Elsman , and Cosmin E. Oancea . 2014. Size Slicing: A Hybrid Approach to Size Inference in Futhark . In FHPC '14 ( Gothenburg, Sweden). ACM, New York, NY, 31--42. Troels Henriksen, Martin Elsman, and Cosmin E. Oancea. 2014. Size Slicing: A Hybrid Approach to Size Inference in Futhark. In FHPC '14 (Gothenburg, Sweden). ACM, New York, NY, 31--42."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863582"},{"key":"e_1_3_2_1_11_1","volume-title":"Vectorisation Avoidance. In HASKELL '12","author":"Keller Gabriele","year":"2012","unstructured":"Gabriele Keller , Manuel M. T. Chakravarty , Roman Leshchinskiy , Ben Lippmeier , and Simon Peyton Jones . 2012 . Vectorisation Avoidance. In HASKELL '12 ( Copenhagen, Denmark). ACM, New York, NY, 37--48. Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, and Simon Peyton Jones. 2012. Vectorisation Avoidance. In HASKELL '12 (Copenhagen, Denmark). ACM, New York, NY, 37--48."},{"volume-title":"Concurrency and Parallelism, Programming, Networking, and Security (LNCS), Joxan Jaffar and Roland H","author":"Keller Gabriele","key":"e_1_3_2_1_12_1","unstructured":"Gabriele Keller and Martin Simons . 1996. A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages . In Concurrency and Parallelism, Programming, Networking, and Security (LNCS), Joxan Jaffar and Roland H . C. Yap (Eds.), Vol. 1179 . Springer-Verlag , New York, NY , 234--243. Gabriele Keller and Martin Simons. 1996. A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages. In Concurrency and Parallelism, Programming, Networking, and Security (LNCS), Joxan Jaffar and Roland H. C. Yap (Eds.), Vol. 1179. Springer-Verlag, New York, NY, 234--243."},{"key":"e_1_3_2_1_14_1","volume-title":"Work Efficient Higher-order Vectorisation. In ICFP '12","author":"Lippmeier Ben","year":"2012","unstructured":"Ben Lippmeier , Manuel M.T. Chakravarty , Gabriele Keller , Roman Leshchinskiy , and Simon Peyton Jones . 2012 . Work Efficient Higher-order Vectorisation. In ICFP '12 ( Copenhagen, Denmark). ACM, New York, NY, 259--270. Ben Lippmeier, Manuel M.T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, and Simon Peyton Jones. 2012. Work Efficient Higher-order Vectorisation. In ICFP '12 (Copenhagen, Denmark). ACM, New York, NY, 259--270."},{"key":"e_1_3_2_1_15_1","unstructured":"Frederik M. Madsen. 2012. Flattening Nested Data Parallelism. Master's Project DIKU. Available from http:\/\/hiperfit.dk\/publications. Frederik M. Madsen. 2012. Flattening Nested Data Parallelism. Master's Project DIKU. Available from http:\/\/hiperfit.dk\/publications."},{"volume-title":"PPoPP '93","author":"Jan","key":"e_1_3_2_1_16_1","unstructured":"Jan F. Prins and Daniel W. Palmer. 1993. Transforming High-Level Data-Parallel Programs into Vector Operations . In PPoPP '93 ( San Diego, CA). ACM, New York, NY, 119--128. Jan F. Prins and Daniel W. Palmer. 1993. Transforming High-Level Data-Parallel Programs into Vector Operations. In PPoPP '93 (San Diego, CA). ACM, New York, NY, 119--128."},{"key":"e_1_3_2_1_17_1","volume-title":"CPC 2015; London, UK., 13 pages. Available from https:\/\/nessie.cs.uchicago.edu.","author":"Reppy John","year":"2015","unstructured":"John Reppy and Nora Sandler . 2015 . Nessie: A NESL to CUDA Compiler . Presented at CPC 2015; London, UK., 13 pages. Available from https:\/\/nessie.cs.uchicago.edu. John Reppy and Nora Sandler. 2015. Nessie: A NESL to CUDA Compiler. Presented at CPC 2015; London, UK., 13 pages. Available from https:\/\/nessie.cs.uchicago.edu."},{"key":"e_1_3_2_1_18_1","volume-title":"CPC 2016; Valladolid, Spain.., 13 pages. Available from https:\/\/cpc2016","author":"Reppy John","year":"2016","unstructured":"John Reppy and Joe Wingerter . 2016 . \u03bbcu --- An Intermediate Representation for Compiling Nested Data Parallelism . Presented at CPC 2016; Valladolid, Spain.., 13 pages. Available from https:\/\/cpc2016 .infor.uva.es. John Reppy and Joe Wingerter. 2016. \u03bbcu --- An Intermediate Representation for Compiling Nested Data Parallelism. Presented at CPC 2016; Valladolid, Spain.., 13 pages. Available from https:\/\/cpc2016.infor.uva.es."},{"key":"e_1_3_2_1_19_1","volume-title":"Fusing Filters with Integer Linear Programming. In FHPC '14","author":"Robinson Amos","year":"2014","unstructured":"Amos Robinson , Ben Lippmeier , and Gabriele Keller . 2014 . Fusing Filters with Integer Linear Programming. In FHPC '14 ( Gothenburg, Sweden). ACM, New York, NY, 53--62. Amos Robinson, Ben Lippmeier, and Gabriele Keller. 2014. Fusing Filters with Integer Linear Programming. In FHPC '14 (Gothenburg, Sweden). ACM, New York, NY, 53--62."},{"key":"e_1_3_2_1_20_1","volume-title":"Nessie: A New NESL Compiler. (June","author":"Sandler Nora","year":"2014","unstructured":"Nora Sandler . 2014 . Nessie: A New NESL Compiler. (June 2014). BA Honors Thesis, Department of Computer Science , University of Chicago. Nora Sandler. 2014. Nessie: A New NESL Compiler. (June 2014). BA Honors Thesis, Department of Computer Science, University of Chicago."},{"key":"e_1_3_2_1_21_1","unstructured":"Scandal Project. [n.d.]. A library of parallel algorithms written in NESL. Available from http:\/\/www.cs.cmu.edu\/~scandal\/nesl\/algorithms.html. Scandal Project. [n.d.]. A library of parallel algorithms written in NESL. Available from http:\/\/www.cs.cmu.edu\/~scandal\/nesl\/algorithms.html."},{"volume-title":"IFL '01 (Stockholm, Sweden) (LNCS)","author":"Scholz Sven-Bodo","key":"e_1_3_2_1_22_1","unstructured":"Sven-Bodo Scholz . 2001. A Type System for Inferring Array Shapes . In IFL '01 (Stockholm, Sweden) (LNCS) , Thomas Arts and Markus Mohnen (Eds.). Springer-Verlag , New York, NY , 65--82. Sven-Bodo Scholz. 2001. A Type System for Inferring Array Shapes. In IFL '01 (Stockholm, Sweden) (LNCS), Thomas Arts and Markus Mohnen (Eds.). Springer-Verlag, New York, NY, 65--82."},{"key":"e_1_3_2_1_23_1","volume-title":"IFL 2012; Oxford U.K.., 19 pages. Available from www.sac-home.org.","author":"Tang Fangyong","year":"2013","unstructured":"Fangyong Tang and Clemens Grelck . 2013 . User-Defined Shape Constraints in SAC . Presented at IFL 2012; Oxford U.K.., 19 pages. Available from www.sac-home.org. Fangyong Tang and Clemens Grelck. 2013. User-Defined Shape Constraints in SAC. Presented at IFL 2012; Oxford U.K.., 19 pages. Available from www.sac-home.org."},{"volume-title":"IFL '06 (Budapest, Hungary), Zolt\u00e1n Horv\u00e1th, Vikt\u00f3ria Zs\u00f3k","author":"Trojahner Kai","key":"e_1_3_2_1_24_1","unstructured":"Kai Trojahner , Clemens Grelck , and Sven-Bodo Scholz . 2006. On Optimising Shape-Generic Array Programs Using Symbolic Structural Information . In IFL '06 (Budapest, Hungary), Zolt\u00e1n Horv\u00e1th, Vikt\u00f3ria Zs\u00f3k , and Andrew Butterfield (Eds.). Springer-Verlag , New York, NY , 1--18. Kai Trojahner, Clemens Grelck, and Sven-Bodo Scholz. 2006. On Optimising Shape-Generic Array Programs Using Symbolic Structural Information. In IFL '06 (Budapest, Hungary), Zolt\u00e1n Horv\u00e1th, Vikt\u00f3ria Zs\u00f3k, and Andrew Butterfield (Eds.). Springer-Verlag, New York, NY, 1--18."},{"volume-title":"\u03bbcu --- An Intermediate Representation for Compiling Nested Data Parallelism. Master's thesis","author":"Wingerter Joe","key":"e_1_3_2_1_25_1","unstructured":"Joe Wingerter . 2017. \u03bbcu --- An Intermediate Representation for Compiling Nested Data Parallelism. Master's thesis . University of Chicago . Joe Wingerter. 2017. \u03bbcu --- An Intermediate Representation for Compiling Nested Data Parallelism. Master's thesis. University of Chicago."},{"key":"e_1_3_2_1_26_1","volume-title":"CuNesl: Compiling Nested Data-Parallel Languages for SIMT Architectures. In ICPP '12","author":"Zhang Yongpeng","year":"2012","unstructured":"Yongpeng Zhang and Frank Mueller . 2012 . CuNesl: Compiling Nested Data-Parallel Languages for SIMT Architectures. In ICPP '12 ( Pittsburgh, PA). IEEE Computer Society Press, Los Alamitos, CA, 340--349. Yongpeng Zhang and Frank Mueller. 2012. CuNesl: Compiling Nested Data-Parallel Languages for SIMT Architectures. In ICPP '12 (Pittsburgh, PA). IEEE Computer Society Press, Los Alamitos, CA, 340--349."}],"event":{"name":"IFL '19: Implementation and Application of Functional Languages","acronym":"IFL '19","location":"Singapore Singapore"},"container-title":["Proceedings of the 31st Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412932.3412946","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412932.3412946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T11:10:01Z","timestamp":1675768201000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412932.3412946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,25]]},"references-count":24,"alternative-id":["10.1145\/3412932.3412946","10.1145\/3412932"],"URL":"https:\/\/doi.org\/10.1145\/3412932.3412946","relation":{},"subject":[],"published":{"date-parts":[[2019,9,25]]},"assertion":[{"value":"2021-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}