{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:00:08Z","timestamp":1730314808492,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,28]]},"DOI":"10.1145\/1576702.1576705","type":"proceedings-article","created":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T12:45:28Z","timestamp":1248785128000},"page":"5-6","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Automatic synthesis of high performance mathematical programs"],"prefix":"10.1145","author":[{"given":"Markus","family":"P\u00fcschel","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Spiral web site 2006. www.spiral.net. Spiral web site 2006. www.spiral.net."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_18"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065048"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1188455.1188575"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","first-page":"363","volume-title":"High Performance Computing for Computational Science (VECPAR)","author":"Franchetti F.","year":"2006","unstructured":"F. Franchetti , Y. Voronenko , and M. Püschel. A rewriting system for the vectorization of signal transforms . In High Performance Computing for Computational Science (VECPAR) , volume 4395 of Lecture Notes in Computer Science , pages 363 -- 377 . Springer , 2006 . F. Franchetti, Y. Voronenko, and M. Püschel. A rewriting system for the vectorization of signal transforms. In High Performance Computing for Computational Science (VECPAR), volume 4395 of Lecture Notes in Computer Science, pages 363--377. Springer, 2006."},{"issue":"2","key":"e_1_3_2_1_6_1","first-page":"232","volume":"93","author":"M.","year":"2005","unstructured":"M. Püschel, J. M. F. Moura , J. Johnson , D. Padua , M. Veloso , B. W. Singer , J. Xiong , F. Franchetti , A. Ga čić, Y. Voronenko , K. Chen , R. W. Johnson , and N. Rizzolo . SPIRAL: Code generation for DSP transforms. Proceedings of the IEEE , 93 ( 2 ): 232 -- 275 , 2005 . special issue on \"Program Generation, Optimization, and Adaptation\". M. Püschel, J. M. F. Moura, J. Johnson, D. Padua, M. Veloso, B. W. Singer, J. Xiong, F. Franchetti, A. Gačić, Y. Voronenko, K. Chen, R. W. Johnson, and N. Rizzolo. SPIRAL: Code generation for DSP transforms. Proceedings of the IEEE, 93(2):232--275, 2005. special issue on \"Program Generation, Optimization, and Adaptation\".","journal-title":"SPIRAL: Code generation for DSP transforms. Proceedings of the IEEE"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.33"}],"event":{"name":"ISSAC '09: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Seoul Republic of Korea","acronym":"ISSAC '09"},"container-title":["Proceedings of the 2009 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1576702.1576705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T19:39:16Z","timestamp":1673465956000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1576702.1576705"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,28]]},"references-count":7,"alternative-id":["10.1145\/1576702.1576705","10.1145\/1576702"],"URL":"https:\/\/doi.org\/10.1145\/1576702.1576705","relation":{},"subject":[],"published":{"date-parts":[[2009,7,28]]},"assertion":[{"value":"2009-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}