{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:03:53Z","timestamp":1774602233380,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T00:00:00Z","timestamp":1410739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0917167"],"award-info":[{"award-number":["CCF-0917167"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-0724979"],"award-info":[{"award-number":["CCF-0724979"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000082","name":"Division of Graduate Education","doi-asserted-by":"publisher","award":["DGE-1110007"],"award-info":[{"award-number":["DGE-1110007"]}],"id":[{"id":"10.13039\/100000082","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007523","name":"Advanced Cyberinfrastructure","doi-asserted-by":"publisher","award":["ACI-1148125"],"award-info":[{"award-number":["ACI-1148125"]}],"id":[{"id":"10.13039\/100007523","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006234","name":"Sandia National Laboratories, National Nuclear Security Administration","doi-asserted-by":"publisher","award":["Graduate Fellowship"],"award-info":[{"award-number":["Graduate Fellowship"]}],"id":[{"id":"10.13039\/100006234","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2642937.2642975","type":"proceedings-article","created":{"date-parts":[[2014,9,17]],"date-time":"2014-09-17T14:22:41Z","timestamp":1410963761000},"page":"301-312","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Understanding performance stairs"],"prefix":"10.1145","author":[{"given":"Bryan","family":"Marker","sequence":"first","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"van de Geijn","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, Austin, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"499","volume-title":"Machine Learning: An Artificial Intelligence Approach","author":"Amarel S.","year":"1986","unstructured":"S. Amarel . Program synthesis as a theory formation task: Problem representations and solution methods . In Machine Learning: An Artificial Intelligence Approach : Volume II , pages 499 -- 569 . Kaufmann , Los Altos, CA , 1986 . S. Amarel. Program synthesis as a theory formation task: Problem representations and solution methods. In Machine Learning: An Artificial Intelligence Approach: Volume II, pages 499--569. Kaufmann, Los Altos, CA, 1986."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"A. Auer G. Baumgartner D. Bernholdt A. Bibireata V. Choppella D. C. and X. Gao R. Harrison S. Krishnamoorthy S. Krishnan S. Lam Q. Lu M. Nooijen R. P. a\u00f1d J. Ramanujam P. Sadayappan and A. Sibiryakov. Automatic code generation for many-body electronic structure methods: The Tensor Contractio n Engine. Molecular Physics 2005.  A. Auer G. Baumgartner D. Bernholdt A. Bibireata V. Choppella D. C. and X. Gao R. Harrison S. Krishnamoorthy S. Krishnan S. Lam Q. Lu M. Nooijen R. P. a\u00f1d J. Ramanujam P. Sadayappan and A. Sibiryakov. Automatic code generation for many-body electronic structure methods: The Tensor Contractio n Engine. Molecular Physics 2005.","DOI":"10.1080\/00268970500275780"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/129852.129859"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1654059.1654119"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377603.1377606"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/265932"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v19:13"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/77626.79170"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2012.6240508"},{"key":"e_1_3_2_1_10_1","volume-title":"Model Driven Architecture: Applying MDA to Enterprise Computing","author":"Frankel D. S.","year":"2003","unstructured":"D. S. Frankel . Model Driven Architecture: Applying MDA to Enterprise Computing . John Wiley & Sons, Inc. , 2003 . D. S. Frankel. Model Driven Architecture: Applying MDA to Enterprise Computing. John Wiley & Sons, Inc., 2003."},{"key":"e_1_3_2_1_11_1","volume-title":"ReFlO: An interactive tool for pipe-and-filter domain specification and program generation. submitted","author":"Gon\u00e7alves R. C.","year":"2013","unstructured":"R. C. Gon\u00e7alves , D. Batory , and J. Sobral . ReFlO: An interactive tool for pipe-and-filter domain specification and program generation. submitted , 2013 . R. C. Gon\u00e7alves, D. Batory, and J. Sobral. ReFlO: An interactive tool for pipe-and-filter domain specification and program generation. submitted, 2013."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693089"},{"key":"e_1_3_2_1_13_1","volume-title":"MDA Explained: The Model-Driven Architecture","author":"Kleppe A.","year":"2003","unstructured":"A. Kleppe , J. Warmer , and W. Bast . MDA Explained: The Model-Driven Architecture . Addison-Wesley , Boston, MA , 2003 . A. Kleppe, J. Warmer, and W. Bast. MDA Explained: The Model-Driven Architecture. Addison-Wesley, Boston, MA, 2003."},{"key":"e_1_3_2_1_14_1","volume-title":"Algorithms and Theory of Computation Handbook","author":"Korf R. E.","year":"1996","unstructured":"R. E. Korf . Artificial intelligence search algorithms . In In Algorithms and Theory of Computation Handbook . CRC Press , 1996 . R. E. Korf. Artificial intelligence search algorithms. In In Algorithms and Theory of Computation Handbook. CRC Press, 1996."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/50202.50204"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1119\/1.13295"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1177\/1094342013492178"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.05.295"},{"key":"e_1_3_2_1_19_1","volume-title":"VECPAR","author":"Marker B.","year":"2012","unstructured":"B. Marker , J. Poulson , D. Batory , and R. A. van de Geijn. Designing linear algebra algorithms by transformation: Mechanizing the expert developer . In VECPAR , 2012 . B. Marker, J. Poulson, D. Batory, and R. A. van de Geijn. Designing linear algebra algorithms by transformation: Mechanizing the expert developer. In VECPAR, 2012."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.37"},{"key":"e_1_3_2_1_22_1","first-page":"97","volume-title":"NASA Formal Methods","author":"Nedunuri S.","year":"2010","unstructured":"S. Nedunuri , D. R. Smith , and W. R. Cook . Synthesis of greedy algorithms using dominance relations . In NASA Formal Methods , pages 97 -- 108 , 2010 . S. Nedunuri, D. R. Smith, and W. R. Cook. Synthesis of greedy algorithms using dominance relations. In NASA Formal Methods, pages 97--108, 2010."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_27"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2427023.2427030"},{"key":"e_1_3_2_1_25_1","volume-title":"ACM Trans. on Math. Softw.","author":"Poulson J.","year":"2012","unstructured":"J. Poulson , R. van de Geijn, and J. Bennighof. (Parallel) algorithms for reducing the generalized hermitian-definite eigenvalue problem . ACM Trans. on Math. Softw. , 2012 . submitted. J. Poulson, R. van de Geijn, and J. Bennighof. (Parallel) algorithms for reducing the generalized hermitian-definite eigenvalue problem. ACM Trans. on Math. Softw., 2012. submitted."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840306"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2371401.2371415"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337243"},{"key":"e_1_3_2_1_29_1","volume-title":"MPI: The Complete Reference","author":"Snir M.","year":"1996","unstructured":"M. Snir , S. W. Otto , S. Huss-Lederman , D. W. Walker , and J. Dongarra . MPI: The Complete Reference . The MIT Press , 1996 . M. Snir, S. W. Otto, S. Huss-Lederman, D. W. Walker, and J. Dongarra. MPI: The Complete Reference. The MIT Press, 1996."},{"key":"e_1_3_2_1_30_1","volume-title":"The Science of Programming Matrix Computations. www.lulu.com","author":"van de Geijn R. A.","year":"2008","unstructured":"R. A. van de Geijn and E. S. Quintana-Ort\u00ed . The Science of Programming Matrix Computations. www.lulu.com , 2008 . R. A. van de Geijn and E. S. Quintana-Ort\u00ed. The Science of Programming Matrix Computations. www.lulu.com, 2008."},{"key":"e_1_3_2_1_31_1","unstructured":"F. Van Zee and R. van de Geijn. BLIS: A framework for rapid instantiation of blas functionality. ACM Trans. Math. Softw. accepted.  F. Van Zee and R. van de Geijn. BLIS: A framework for rapid instantiation of blas functionality. ACM Trans. Math. Softw. accepted."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/509058.509096"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/1630659.1630827"}],"event":{"name":"ASE '14: ACM\/IEEE International Conference on Automated Software Engineering","location":"Vasteras Sweden","acronym":"ASE '14","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","M\u00e4lardalen University M\u00e4lardalen University","IEEE CS"]},"container-title":["Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2642975","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2642937.2642975","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:09Z","timestamp":1750229769000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2642975"}},"subtitle":["elucidating heuristics"],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":32,"alternative-id":["10.1145\/2642937.2642975","10.1145\/2642937"],"URL":"https:\/\/doi.org\/10.1145\/2642937.2642975","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}