{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:15Z","timestamp":1772164095180,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,11]],"date-time":"2016-01-11T00:00:00Z","timestamp":1452470400000},"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":[[2016,1,11]]},"DOI":"10.1145\/2837614.2837636","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T09:05:00Z","timestamp":1452157500000},"page":"526-538","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["SMO: an integrated approach to intra-array and inter-array storage optimization"],"prefix":"10.1145","author":[{"given":"Somashekaracharya G.","family":"Bhaskaracharya","sequence":"first","affiliation":[{"name":"Indian Institute of Science, India \/ National Instruments, India"}]},{"given":"Uday","family":"Bondhugula","sequence":"additional","affiliation":[{"name":"Indian Institute of Science, India"}]},{"given":"Albert","family":"Cohen","sequence":"additional","affiliation":[{"name":"Inria, France \/ ENS, France"}]}],"member":"320","published-online":{"date-parts":[[2016,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00722-4_15"},{"key":"e_1_3_2_1_2_1","volume-title":"Compilers: Principles, Techniques, and Tools","author":"Aho A. V.","year":"2006","unstructured":"A. V. Aho , R. Sethi , J. D. Ullman , and M. S. Lam . Compilers: Principles, Techniques, and Tools Second Edition. Prentice Hall , 2006 . A. V. Aho, R. Sethi, J. D. Ullman, and M. S. Lam. Compilers: Principles, Techniques, and Tools Second Edition. Prentice Hall, 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1254766.1254778"},{"key":"e_1_3_2_1_4_1","volume-title":"Automatic Storage Optimization for Arrays. ACM Transactions on Programming Languages and Systems, accepted","author":"Bhaskaracharya S. G.","year":"2015","unstructured":"S. G. Bhaskaracharya , U. Bondhugula , and A. Cohen . Automatic Storage Optimization for Arrays. ACM Transactions on Programming Languages and Systems, accepted in 2015 . S. G. Bhaskaracharya, U. Bondhugula, and A. Cohen. Automatic Storage Optimization for Arrays. ACM Transactions on Programming Languages and Systems, accepted in 2015."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.167"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407835"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/130935781"},{"key":"e_1_3_2_1_8_1","unstructured":"GNU. Gnu linear programming kit (glpk) 2010. https:\/\/www.gnu.org\/software\/glpk\/.  GNU. Gnu linear programming kit (glpk) 2010. https:\/\/www.gnu.org\/software\/glpk\/."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/784893.784997"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(97)00089-6"},{"key":"e_1_3_2_1_11_1","unstructured":"LabVIEW Compiler. NI LabVIEW Compiler: Under the Hood. http:\/\/www.ni.com\/white-paper\/11472\/en.  LabVIEW Compiler. NI LabVIEW Compiler: Under the Hood. http:\/\/www.ni.com\/white-paper\/11472\/en."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(98)00029-5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694364"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/365151.365152"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462176"},{"key":"e_1_3_2_1_16_1","volume-title":"Theory of Linear and Integer Programming","author":"Schrijver A.","year":"1986","unstructured":"A. Schrijver . Theory of Linear and Integer Programming . John Wiley & Sons , 1986 . A. Schrijver. Theory of Linear and Integer Programming. John Wiley & Sons, 1986."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/291069.291015"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378852"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1286821.1286825"},{"key":"e_1_3_2_1_20_1","first-page":"302","volume-title":"Mathematical Software - ICMS","volume":"6327","author":"Verdoolaege S.","year":"2010","unstructured":"S. Verdoolaege . isl : An integer set library for the polyhedral model. In K. Fukuda, J. Hoeven, M. Joswig, and N. Takayama, editors , Mathematical Software - ICMS 2010 , volume 6327 , pages 299\u2013 302 . Springer, 2010. S. Verdoolaege. isl: An integer set library for the polyhedral model. In K. Fukuda, J. Hoeven, M. Joswig, and N. Takayama, editors, Mathematical Software - ICMS 2010, volume 6327, pages 299\u2013302. Springer, 2010."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646668.700629"}],"event":{"name":"POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"St. Petersburg FL USA","acronym":"POPL '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837636","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837614.2837636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:43:37Z","timestamp":1750211017000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837636"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,11]]},"references-count":21,"alternative-id":["10.1145\/2837614.2837636","10.1145\/2837614"],"URL":"https:\/\/doi.org\/10.1145\/2837614.2837636","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2914770.2837636","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,1,11]]},"assertion":[{"value":"2016-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}