{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T05:23:51Z","timestamp":1774589031928,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,8]],"date-time":"2016-09-08T00:00:00Z","timestamp":1473292800000},"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":[[2016,9,8]]},"DOI":"10.1145\/2975991.2975994","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T12:40:09Z","timestamp":1472215209000},"page":"17-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Automatic generation of efficient codes from mathematical descriptions of stencil computation"],"prefix":"10.1145","author":[{"given":"Takayuki","family":"Muranushi","sequence":"first","affiliation":[{"name":"RIKEN AICS, Japan"}]},{"given":"Seiya","family":"Nishizawa","sequence":"additional","affiliation":[{"name":"RIKEN AICS, Japan"}]},{"given":"Hirofumi","family":"Tomita","sequence":"additional","affiliation":[{"name":"RIKEN AICS, Japan"}]},{"given":"Keigo","family":"Nitadori","sequence":"additional","affiliation":[{"name":"RIKEN AICS, Japan"}]},{"given":"Masaki","family":"Iwasawa","sequence":"additional","affiliation":[{"name":"RIKEN AICS, Japan"}]},{"given":"Yutaka","family":"Maruyama","sequence":"additional","affiliation":[{"name":"RIKEN AICS, Japan"}]},{"given":"Hisashi","family":"Yashiro","sequence":"additional","affiliation":[{"name":"RIKEN AICS, Japan"}]},{"given":"Yoshifumi","family":"Nakamura","sequence":"additional","affiliation":[{"name":"RIKEN AICS, Japan"}]},{"given":"Hideyuki","family":"Hotta","sequence":"additional","affiliation":[{"name":"Chiba University, Japan"}]},{"given":"Junichiro","family":"Makino","sequence":"additional","affiliation":[{"name":"Kobe University, Japan"}]},{"given":"Natsuki","family":"Hosono","sequence":"additional","affiliation":[{"name":"Kyoto University, Japan"}]},{"given":"Hikaru","family":"Inoue","sequence":"additional","affiliation":[{"name":"Fujitsu, Japan"}]}],"member":"320","published-online":{"date-parts":[[2016,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"IEEE Computer Society Press","author":"Bandishti V.","year":"2012"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412400075"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926358"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627373.2627375"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcph.2001.6961"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932681.1863582"},{"key":"e_1_3_2_1_7_1","first-page":"012046","volume-title":"Journal of Physics: Conference Series","volume":"681","author":"Korneev B."},{"key":"e_1_3_2_1_8_1","article-title":"Asynchronous parallel algorithms as a way to archive effectiveness of computations (in russian)","author":"Levchenko V. D.","year":"2005","journal-title":"J. of Inf. Tech. and Comp. Systems, (1):68"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00024-011-0430-z"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2088456.1863533"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1137\/140991133"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063384.2063398"},{"issue":"1","key":"e_1_3_2_1_13_1","first-page":"015003","article-title":"an automated tuning framework for explicit solvers of partial differential equations. Computational Science &","volume":"5","author":"Muranushi T.","year":"2012","journal-title":"Discovery"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.05.315"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2686745.2686746"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"T. Muranushi H. Hotta J. Makino S. Nishizawa H. Tomita K. Nitadori M. Iwasawa N. Hosono Y. Maruyama H. Inoue H. Yashiro and Y. Nakamura. Simulations of below-ground dynamics of fungi:1.157 pflops attained by automated generation and autotuning of temporal blocking codes. Submitted to Supercomputing 2016 2016.  T. Muranushi H. Hotta J. Makino S. Nishizawa H. Tomita K. Nitadori M. Iwasawa N. Hosono Y. Maruyama H. Inoue H. Yashiro and Y. Nakamura. Simulations of below-ground dynamics of fungi:1.157 pflops attained by automated generation and autotuning of temporal blocking codes. Submitted to Supercomputing 2016 2016.","DOI":"10.1109\/SC.2016.2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804315"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S002211207900210X"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.261.5118.189"},{"key":"e_1_3_2_1_20_1","volume-title":"41st EPS Conference on Plasma Physics","author":"Perepelkina A. Y.","year":"2014"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462176"},{"key":"e_1_3_2_1_22_1","unstructured":"T. Rompf. Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming. PhD thesis \u00c9COLE POLYTECHNIQUE F \u00c9D \u00c9RALE DE LAUSANNE 2012.  T. Rompf. Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming. PhD thesis \u00c9COLE POLYTECHNIQUE F \u00c9D \u00c9RALE DE LAUSANNE 2012."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2007.02.006"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063384.2063388"},{"key":"e_1_3_2_1_25_1","volume-title":"Chalmers University of Technology","author":"Svensson J.","year":"2011"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989493.1989508"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995896.1995932"},{"key":"e_1_3_2_1_28_1","unstructured":"P. Wadler. The expression problem. Java-genericity mailing list 1998.  P. Wadler. The expression problem. Java-genericity mailing list 1998."},{"key":"e_1_3_2_1_29_1","first-page":"11","volume-title":"IMPACT 2013","author":"Wonnacott D. G.","year":"2013"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"ICFP'16: ACM SIGPLAN International Conference on Functional Programming","location":"Nara Japan","acronym":"ICFP'16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 5th International Workshop on Functional High-Performance Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2975991.2975994","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2975991.2975994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:19Z","timestamp":1750218619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2975991.2975994"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,8]]},"references-count":30,"alternative-id":["10.1145\/2975991.2975994","10.1145\/2975991"],"URL":"https:\/\/doi.org\/10.1145\/2975991.2975994","relation":{},"subject":[],"published":{"date-parts":[[2016,9,8]]},"assertion":[{"value":"2016-09-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}