{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:36Z","timestamp":1750306956147,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,22]],"date-time":"2013-06-22T00:00:00Z","timestamp":1371859200000},"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,6,22]]},"DOI":"10.1145\/2463676.2465334","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T19:13:21Z","timestamp":1372187601000},"page":"133-144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Automatic synthesis of out-of-core algorithms"],"prefix":"10.1145","author":[{"given":"Yannis","family":"Klonatos","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Vaud, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andres","family":"N\u00f6tzli","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Vaud, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrej","family":"Spielmann","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Vaud, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Koch","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Vaud, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Kuncak","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Vaud, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,6,22]]},"reference":[{"unstructured":"perf: Linux profiling with performance counters. https:\/\/perf.wiki.kernel.org\/index.php\/Main Page.  perf: Linux profiling with performance counters. https:\/\/perf.wiki.kernel.org\/index.php\/Main Page.","key":"e_1_3_2_1_1_1"},{"unstructured":"Seeker: a utility to measure disk performance. http:\/\/www.linuxinsight.com\/how fast is your disk.html.  Seeker: a utility to measure disk performance. http:\/\/www.linuxinsight.com\/how fast is your disk.html.","key":"e_1_3_2_1_2_1"},{"unstructured":"Xquery 1.0: An xml query language. http:\/\/www.w3.org\/TR\/xquery\/.  Xquery 1.0: An xml query language. http:\/\/www.w3.org\/TR\/xquery\/.","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/s10817-010-9174-1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1594187.1594201"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","volume-title":"3rd Int'l Summer School on Advanced Functional Programming","author":"Augusteijn L.","year":"1998","unstructured":"L. Augusteijn . Sorting morphisms . In 3rd Int'l Summer School on Advanced Functional Programming , volume 1608 of LNCS , 1998 . L. Augusteijn. Sorting morphisms. In 3rd Int'l Summer School on Advanced Functional Programming, volume 1608 of LNCS, 1998."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1093\/comjnl\/32.2.122"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.5555\/645500.655920"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/978-3-540-87744-8_21"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1023\/A:1012996816178"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1328438.1328457"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-91518-7","volume-title":"The Fun of Programming, page","author":"Gibbons J.","year":"2003","unstructured":"J. Gibbons . Origami programming . In J. Gibbons and O. de Moor, editors, The Fun of Programming, page chapter 3. Palgrave , 2003 . J. Gibbons. Origami programming. In J. Gibbons and O. de Moor, editors, The Fun of Programming, page chapter 3. Palgrave, 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1142473.1142511"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/604131.604148"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/1706299.1706327"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/1807167.1807206"},{"key":"e_1_3_2_1_17_1","volume-title":"IPDPS, page 34","author":"Krishnan S.","year":"2004","unstructured":"S. Krishnan , S. Krishnamoorthy , G. Baumgartner , C.-C. Lam , and J. Ramanujam . Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver . In IPDPS, page 34 , 2004 . S. Krishnan, S. Krishnamoorthy, G. Baumgartner, C.-C. Lam, and J. Ramanujam. Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver. In IPDPS, page 34, 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1093\/comjnl\/bxr051"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1137\/090750639"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.5555\/645420.652535"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1016\/j.jss.2009.02.028"},{"key":"e_1_3_2_1_22_1","volume-title":"Encyclopedia of Parallel Computing","author":"Puschel M.","year":"2011","unstructured":"M. Puschel , F. Franchetti , and Y. Voronenko . Encyclopedia of Parallel Computing , chapter Spiral. Springer , 2011 . M. Puschel, F. Franchetti, and Y. Voronenko. Encyclopedia of Parallel Computing, chapter Spiral. Springer, 2011."},{"key":"e_1_3_2_1_23_1","volume-title":"Database Management Systems","author":"Ramakrishnan R.","year":"2002","unstructured":"R. Ramakrishnan and J. Gehrke . Database Management Systems , 3 rd ed. McGraw-Hill , 2002 . R. Ramakrishnan and J. Gehrke. Database Management Systems, 3rd ed. McGraw-Hill, 2002.","edition":"3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/1454115.1454155"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1016\/j.jpdc.2008.05.012"},{"key":"e_1_3_2_1_26_1","first-page":"60","volume-title":"Proc. ICALP","author":"Tannen V.","year":"1991","unstructured":"V. Tannen and R. Subrahmanyam . Logical and computational aspects of programming with sets\/bags\/lists . In Proc. ICALP , pages 60 -- 75 , 1991 . V. Tannen and R. Subrahmanyam. Logical and computational aspects of programming with sets\/bags\/lists. In Proc. ICALP, pages 60--75, 1991."},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. IPDPS","author":"Ye X.","year":"2010","unstructured":"X. Ye , D. Fan , W. Lin , N. Yuan , and P. Ienne . High performance comparison-based sorting algorithm on many-core GPUs . In Proc. IPDPS , 2010 . X. Ye, D. Fan, W. Lin, N. Yuan, and P. Ienne. High performance comparison-based sorting algorithm on many-core GPUs. In Proc. IPDPS, 2010."}],"event":{"sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"acronym":"SIGMOD\/PODS'13","name":"SIGMOD\/PODS'13: International Conference on Management of Data","location":"New York New York USA"},"container-title":["Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2463676.2465334","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2463676.2465334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:06Z","timestamp":1750235946000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2463676.2465334"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,22]]},"references-count":27,"alternative-id":["10.1145\/2463676.2465334","10.1145\/2463676"],"URL":"https:\/\/doi.org\/10.1145\/2463676.2465334","relation":{},"subject":[],"published":{"date-parts":[[2013,6,22]]},"assertion":[{"value":"2013-06-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}