{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:21:30Z","timestamp":1729664490487,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/secse.2013.6615103","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T22:31:19Z","timestamp":1380753079000},"page":"84-87","source":"Crossref","is-referenced-by-count":2,"title":["DSLs, DLA, DxT, and MDE in CSE"],"prefix":"10.1109","author":[{"given":"Bryan","family":"Marker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"van de Geijn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Don","family":"Batory","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","first-page":"4","author":"robert","year":"2008","journal-title":"The Science of Programming Matrix Computations"},{"key":"13","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1145\/779359.779365","article-title":"Formal derivation of algorithms: The triangular Sylvester equation","volume":"29","author":"quintana-ort","year":"2003","journal-title":"ACM Trans Math Soft"},{"key":"14","article-title":"Scalable universal matrix multiplication algorithms: 2d and 3d variations on a theme","author":"schatz","year":"2012","journal-title":"ACM Transactions on Mathematical Software"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/JPROC.2004.840306"},{"key":"12","doi-asserted-by":"crossref","first-page":"1762","DOI":"10.1137\/S1064827598345679","article-title":"A note on parallel matrix inversion","volume":"22","author":"enrique","year":"2001","journal-title":"SIAM J Sci Comput"},{"year":"2006","author":"bientinesi","journal-title":"Mechanical Derivation and Systematic Analysis of Correct Linear Algebra Algorithms","key":"3"},{"key":"2","article-title":"Automatic code generation for many-body electronic structure methods: The tensor contraction engine","author":"alexander","year":"2005","journal-title":"Molecular Physics"},{"year":"0","key":"1"},{"key":"10","article-title":"Elemental: A new framework for distributed memory dense matrix computations","volume":"39","author":"poulson","year":"2012","journal-title":"ACM TOMS"},{"key":"7","article-title":"FLAME: Formal linear algebra methods environment","volume":"27","author":"john","year":"2001","journal-title":"ACM TOMS"},{"year":"2003","author":"frankel","journal-title":"Model Driven Architecture Applying MDA to Enterprise Computing","key":"6"},{"key":"5","article-title":"A set of level 3 basic linear algebra subprograms","volume":"16","author":"jack","year":"1990","journal-title":"ACM TOMS"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1145\/1055531.1055532"},{"year":"0","author":"meng low","journal-title":"Theory and Practice of Fusing Loops When Optimizing Parallel Dense Linear Algebra Operations","key":"9"},{"key":"8","article-title":"Designing linear algebra algorithms by transformation: Mechanizing the expert developer","author":"marker","year":"2012","journal-title":"iWAPT"}],"event":{"name":"2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE)","start":{"date-parts":[[2013,5,18]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,18]]}},"container-title":["2013 5th International Workshop on Software Engineering for Computational Science and Engineering (SE-CSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596023\/6615089\/06615103.pdf?arnumber=6615103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T23:02:11Z","timestamp":1498086131000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6615103\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/secse.2013.6615103","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}