{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T14:22:29Z","timestamp":1761920549278,"version":"3.28.0"},"reference-count":51,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1109\/cgo.2019.8661203","type":"proceedings-article","created":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T00:01:46Z","timestamp":1552003306000},"page":"217-228","source":"Crossref","is-referenced-by-count":9,"title":["Locus: A System and a Language for Program Optimization"],"prefix":"10.1109","author":[{"given":"S. F. X.","family":"Thiago Teixeira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corinne","family":"Ancourt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Padua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Gropp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2017","key":"ref39"},{"journal-title":"lame sourceforge net","article-title":"Lame mp3 encoder","year":"2017","key":"ref38"},{"journal-title":"SciMark 2 0","year":"2004","author":"roldan pozo","key":"ref33"},{"journal-title":"PolyBench The Polyhedral Benchmark Suite","year":"2012","author":"pouchet","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125925"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.2008.29"},{"journal-title":"GAP Groups Algorithms Programming - a System for Computational Discrete Algebra","year":"2007","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.68"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1186736.1186737","article-title":"Spec cpu2006 benchmark descriptions","volume":"34","author":"henning","year":"0","journal-title":"SIGARCH Comput Archit News"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/2.869367"},{"journal-title":"Livermore Loops Coded in C","year":"1992","author":"peters","key":"ref28"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2014.7040972"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.micpro.2009.02.010","article-title":"Mediabench ii video: Expediting the next generation of video systems research","volume":"33","author":"fritts","year":"2009","journal-title":"Microprocessors and Microsystems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/989393.989437"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738003"},{"journal-title":"Optimizing Compilers for Modern Architectures A Dependence-Based Approach","year":"2002","author":"kennedy","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2017.8167779"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3276496"},{"journal-title":"ASC Sequoia Benchmarks","year":"2008","key":"ref24"},{"key":"ref23","first-page":"34","article-title":"The alpbench benchmark suite for complex multimedia applications","author":"li","year":"2005","journal-title":"IEEE International 2005 Proceedings of the IEEE Workload Characterization Symposium"},{"journal-title":"The Freebench v1 0 Benchmark Suite","year":"2002","author":"rundberg","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2014.6983043"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/263580.263662"},{"key":"ref51","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1088\/1742-6596\/16\/1\/071","article-title":"Oski: A library of automatically tuned sparse matrix kernels","volume":"16","author":"vuduc","year":"2005","journal-title":"Journal of Physics Conference Series"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863730"},{"key":"ref11","first-page":"1","article-title":"Automatically tuned linear algebra software","author":"whaley","year":"1998","journal-title":"Proc 1998 ACM\/IEEE Supercomputing 98 Conf"},{"journal-title":"Twolame - mpeg audio layer 2 encoder","year":"2017","key":"ref40"},{"key":"ref12","first-page":"383","article-title":"Loopy: Programmable and formally verified loop transformations","author":"namjoshi","year":"2016","journal-title":"Static Analysis"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2017.7965867"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/99.660313"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2628071.2628092"},{"key":"ref16","first-page":"i","article-title":"Making a science of model search: Hyperparameter optimization in hundreds of dimensions for vision architectures","author":"bergstra","year":"2013","journal-title":"Proceedings of the 30th International Conference on International Conference on Machine Learning - Volume 28 ser ICML’13 JMLR org"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2687414"},{"journal-title":"Kripke 3d sn deterministic particle transport code","year":"2014","author":"kunem","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161004"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/71.577265"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542481"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2006.55"},{"key":"ref8","article-title":"Pips: a workbench for building interprocedural parallelizers, compilers and optimizers","author":"keryell","year":"1996","journal-title":"Mines ParisTech"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2012.6264672"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301661"},{"key":"ref9","first-page":"232","article-title":"SPIRAL: Code generation for DSP transforms","volume":"93","author":"p\u00fcschel","year":"2005","journal-title":"Special issue on “Program Generation Optimization and Adaptation”"},{"key":"ref46","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/978-3-540-69330-7_10","article-title":"A language for the compact representation of multiple program versions","author":"donadio","year":"2006","journal-title":"Languages and Compilers for Parallel Computing"},{"key":"ref45","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/2854038.2854048","article-title":"Opening polyhedral compiler’s black box","author":"bagn\u00e8res","year":"2016","journal-title":"Proceedings of the 2016 International Symposium on Code Generation and Optimization ser CGO ’16"},{"key":"ref48","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1145\/2784731.2784754","article-title":"Generating performance portable code using rewrite rules: From high-level functional expressions to high-performance opencl code","author":"steuwer","year":"2015","journal-title":"Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2016.58"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0012-3"},{"key":"ref41","first-page":"2013","author":"redmon","year":"0","journal-title":"Darknet Open source neural networks in c"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2007.370637"},{"journal-title":"Chill A Framework for Composing High-level Loop Transformations","year":"2008","author":"chen","key":"ref43"}],"event":{"name":"2019 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","start":{"date-parts":[[2019,2,16]]},"location":"Washington, DC, USA","end":{"date-parts":[[2019,2,20]]}},"container-title":["2019 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8653576\/8661160\/08661203.pdf?arnumber=8661203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:17:40Z","timestamp":1658261860000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8661203\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2]]},"references-count":51,"URL":"https:\/\/doi.org\/10.1109\/cgo.2019.8661203","relation":{},"subject":[],"published":{"date-parts":[[2019,2]]}}}