{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:29Z","timestamp":1750220249299,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":92,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T00:00:00Z","timestamp":1656374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"DARPA","award":["HR001119S0023"],"award-info":[{"award-number":["HR001119S0023"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,28]]},"DOI":"10.1145\/3524059.3532393","type":"proceedings-article","created":{"date-parts":[[2022,6,16]],"date-time":"2022-06-16T16:13:11Z","timestamp":1655395991000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["VICO"],"prefix":"10.1145","author":[{"given":"Sharjeel","family":"Khan","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bodhisatwa","family":"Chatterjee","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santosh","family":"Pande","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2016.05.053"},{"key":"e_1_3_2_1_2_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2006","unstructured":"Alfred V. Aho , Monica S. Lam , Ravi Sethi , and Jeffrey D . Ullman . 2006 . Compilers : Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman Publishing Co. , Inc., USA. Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133904"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00128174"},{"volume-title":"Loop parallelization","author":"Banerjee Utpal","key":"e_1_3_2_1_6_1","unstructured":"Utpal Banerjee . 1994. Loop parallelization . Springer Science & Business Media , New York, NY . Utpal Banerjee. 1994. Loop parallelization. Springer Science & Business Media, New York, NY."},{"volume-title":"Dependence analysis","author":"Banerjee Utpal","key":"e_1_3_2_1_7_1","unstructured":"Utpal Banerjee . 1997. Dependence analysis . Vol. 3 . Springer Science & Business Media , New York, NY . Utpal Banerjee. 1997. Dependence analysis. Vol. 3. Springer Science & Business Media, New York, NY."},{"volume-title":"Loop transformations for restructuring compilers: the foundations","author":"Banerjee Utpal","key":"e_1_3_2_1_8_1","unstructured":"Utpal Banerjee . 2007. Loop transformations for restructuring compilers: the foundations . Springer Science & Business Media , New York, NY . Utpal Banerjee. 2007. Loop transformations for restructuring compilers: the foundations. Springer Science & Business Media, New York, NY."},{"volume-title":"Dependence analysis for supercomputing","author":"Banerjee Utpal","key":"e_1_3_2_1_9_1","unstructured":"Utpal Banerjee . 2013. Dependence analysis for supercomputing . Vol. 60 . Springer Science & Business Media , New York, NY . Utpal Banerjee. 2013. Dependence analysis for supercomputing. Vol. 60. Springer Science & Business Media, New York, NY."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.214548"},{"key":"e_1_3_2_1_11_1","volume-title":"Boogie: A Modular Reusable Verifier for Object-Oriented Programs. In FMCO 2005 (fmco 2005 ed.). Springer Berlin Heidelberg","author":"Barnett Mike","year":"2005","unstructured":"Mike Barnett , Bor-Yuh Evan Chang , Robert DeL Ine , Bart Jacobs , and Rustan Leino . 2005 . Boogie: A Modular Reusable Verifier for Object-Oriented Programs. In FMCO 2005 (fmco 2005 ed.). Springer Berlin Heidelberg , Berlin, Heidelberg. https:\/\/www.microsoft.com\/en-us\/research\/publication\/boogie-a-modular-reusable-verifier-for-object-oriented-programs\/ Mike Barnett, Bor-Yuh Evan Chang, Robert DeLIne, Bart Jacobs, and Rustan Leino. 2005. Boogie: A Modular Reusable Verifier for Object-Oriented Programs. In FMCO 2005 (fmco 2005 ed.). Springer Berlin Heidelberg, Berlin, Heidelberg. https:\/\/www.microsoft.com\/en-us\/research\/publication\/boogie-a-modular-reusable-verifier-for-object-oriented-programs\/"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375527.1375562"},{"key":"e_1_3_2_1_13_1","volume-title":"International Workshop on Languages and Compilers for Parallel Computing. Springer","author":"Bastoul C\u00e9dric","year":"2003","unstructured":"C\u00e9dric Bastoul , Albert Cohen , Sylvain Girbal , Saurabh Sharma , and Olivier Temam . 2003 . Putting polyhedral loop transformations to work . In International Workshop on Languages and Compilers for Parallel Computing. Springer , Springer, Berlin, Heidelberg, 209--225. C\u00e9dric Bastoul, Albert Cohen, Sylvain Girbal, Saurabh Sharma, and Olivier Temam. 2003. Putting polyhedral loop transformations to work. In International Workshop on Languages and Compilers for Parallel Computing. Springer, Springer, Berlin, Heidelberg, 209--225."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11970-5_16"},{"key":"e_1_3_2_1_15_1","volume-title":"On Scaling Data-Driven Loop Invariant Inference. arXiv preprint arXiv:1911.11728","author":"Bhatia Sahil","year":"2019","unstructured":"Sahil Bhatia , Saswat Padhi , Nagarajan Natarajan , Rahul Sharma , and Prateek Jain . 2019. On Scaling Data-Driven Loop Invariant Inference. arXiv preprint arXiv:1911.11728 ( 2019 ). Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, and Prateek Jain. 2019. On Scaling Data-Driven Loop Invariant Inference. arXiv preprint arXiv:1911.11728 (2019)."},{"key":"e_1_3_2_1_16_1","volume-title":"OASIS: ILP-Guided Synthesis of Loop Invariants. In NeurIPS 2020 Workshop on Computer-Assisted Programming.","author":"Bhatia Sahil","year":"2020","unstructured":"Sahil Bhatia , Saswat Padhi , Nagarajan Natarajan , Rahul Sharma , and Prateek Jain . 2020 . OASIS: ILP-Guided Synthesis of Loop Invariants. In NeurIPS 2020 Workshop on Computer-Assisted Programming. Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, and Prateek Jain. 2020. OASIS: ILP-Guided Synthesis of Loop Invariants. In NeurIPS 2020 Workshop on Computer-Assisted Programming."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447818.3460424"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375595"},{"key":"e_1_3_2_1_20_1","volume-title":"Pluto: A practical and fully automatic polyhedral parallelizer and locality optimizer.","author":"Bondhugula Uday","year":"2007","unstructured":"Uday Bondhugula and Jagannathan Ramanujam . 2007 . Pluto: A practical and fully automatic polyhedral parallelizer and locality optimizer. (2007). Uday Bondhugula and Jagannathan Ramanujam. 2007. Pluto: A practical and fully automatic polyhedral parallelizer and locality optimizer. (2007)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/255215.255225"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177575"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185768.3185771"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/13310.13328"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93553"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/13310.13327"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889163"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/872726.806984"},{"key":"e_1_3_2_1_30_1","volume-title":"Register allocation via coloring. Computer languages 6, 1","author":"Chaitin Gregory J","year":"1981","unstructured":"Gregory J Chaitin , Marc A Auslander , Ashok K Chandra , John Cocke , Martin E Hopkins , and Peter W Markstein . 1981. Register allocation via coloring. Computer languages 6, 1 ( 1981 ), 47--57. Gregory J Chaitin, Marc A Auslander, Ashok K Chandra, John Cocke, Martin E Hopkins, and Peter W Markstein. 1981. Register allocation via coloring. Computer languages 6, 1 (1981), 47--57."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207154"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/800028.808480"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75282"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3121257.3121262"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/773473.178263"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/277652.277670"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.655238"},{"volume-title":"The Data Parallel Programming Model","author":"Feautrier Paul","key":"e_1_3_2_1_39_1","unstructured":"Paul Feautrier . 1996. Automatic parallelization in the polytope model . In The Data Parallel Programming Model . Springer , Berlin, Heidelberg , 79--103. Paul Feautrier. 1996. Automatic parallelization in the polytope model. In The Data Parallel Programming Model. Springer, Berlin, Heidelberg, 79--103."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06200-6_25"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2506375"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_5"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66706-5_8"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/11688839_20"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/224170.224337"},{"key":"e_1_3_2_1_46_1","volume-title":"A class of artificial boundary conditions for heat equation in unbounded domains. Computers & Mathematics with applications 43, 6--7","author":"Han Houde","year":"2002","unstructured":"Houde Han and Zhongyi Huang . 2002. A class of artificial boundary conditions for heat equation in unbounded domains. Computers & Mathematics with applications 43, 6--7 ( 2002 ), 889--900. Houde Han and Zhongyi Huang. 2002. A class of artificial boundary conditions for heat equation in unbounded domains. Computers & Mathematics with applications 43, 6--7 (2002), 889--900."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325519"},{"volume-title":"Introduction to numerical methods in differential equations","author":"Holmes Mark H","key":"e_1_3_2_1_48_1","unstructured":"Mark H Holmes . 2007. Introduction to numerical methods in differential equations . Springer , Berlin, Heidelberg . Mark H Holmes. 2007. Introduction to numerical methods in differential equations. Springer, Berlin, Heidelberg."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74821"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASSET.1999.756775"},{"volume-title":"Optimizing compilers for modern architectures: a dependence-based approach","author":"Kennedy Ken","key":"e_1_3_2_1_51_1","unstructured":"Ken Kennedy and John R Allen . 2001. Optimizing compilers for modern architectures: a dependence-based approach . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA. Ken Kennedy and John R Allen. 2001. Optimizing compilers for modern architectures: a dependence-based approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA."},{"volume-title":"Data flow analysis: theory and practice","author":"Khedker Uday P","key":"e_1_3_2_1_52_1","unstructured":"Uday P Khedker , Amitabha Sanyal , and Bageshri Karkare . 2017. Data flow analysis: theory and practice . CRC Press , Mumbai, India . Uday P Khedker, Amitabha Sanyal, and Bageshri Karkare. 2017. Data flow analysis: theory and practice. CRC Press, Mumbai, India."},{"key":"e_1_3_2_1_53_1","volume-title":"Effective automatic parallelization of stencil computations. ACM sigplan notices 42, 6","author":"Krishnamoorthy Sriram","year":"2007","unstructured":"Sriram Krishnamoorthy , Muthu Baskaran , Uday Bondhugula , Jagannathan Ramanujam , Atanas Rountev , and Ponnuswamy Sadayappan . 2007. Effective automatic parallelization of stencil computations. ACM sigplan notices 42, 6 ( 2007 ), 235--244. Sriram Krishnamoorthy, Muthu Baskaran, Uday Bondhugula, Jagannathan Ramanujam, Atanas Rountev, and Ponnuswamy Sadayappan. 2007. Effective automatic parallelization of stencil computations. ACM sigplan notices 42, 6 (2007), 235--244."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_32"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_2_1_56_1","volume-title":"International Workshop on Languages and Compilers for Parallel Computing. Springer","author":"Lee Jaejin","year":"1997","unstructured":"Jaejin Lee , Samuel P Midkiff , and David A Padua . 1997 . Concurrent static single assignment form and constant propagation for explicitly parallel programs . In International Workshop on Languages and Compilers for Parallel Computing. Springer , Springer, Berlin, Heidelberg, 114--130. Jaejin Lee, Samuel P Midkiff, and David A Padua. 1997. Concurrent static single assignment form and constant propagation for explicitly parallel programs. In International Workshop on Languages and Compilers for Parallel Computing. Springer, Springer, Berlin, Heidelberg, 114--130."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17511-4_20"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9155-4"},{"key":"e_1_3_2_1_59_1","volume-title":"ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress. SEE.","author":"Leroy Xavier","year":"2016","unstructured":"Xavier Leroy , Sandrine Blazy , Daniel K\u00e4stner , Bernhard Schommer , Markus Pister , and Christian Ferdinand . 2016 . CompCert-a formally verified optimizing compiler . In ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress. SEE. Xavier Leroy, Sandrine Blazy, Daniel K\u00e4stner, Bernhard Schommer, Markus Pister, and Christian Ferdinand. 2016. CompCert-a formally verified optimizing compiler. In ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress. SEE."},{"key":"e_1_3_2_1_60_1","volume-title":"International Workshop on Languages and Compilers for Parallel Computing. Springer","author":"Lin Yuan","year":"1999","unstructured":"Yuan Lin and David Padua . 1999 . Demand-driven interprocedural array property analysis . In International Workshop on Languages and Compilers for Parallel Computing. Springer , Springer, Berlin, Heidelberg, 303--317. Yuan Lin and David Padua. 1999. Demand-driven interprocedural array property analysis. In International Workshop on Languages and Compilers for Parallel Computing. Springer, Springer, Berlin, Heidelberg, 303--317."},{"key":"e_1_3_2_1_61_1","volume-title":"Inferring Loop Invariants for Multi-Path Loops. In 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 63--70","author":"Lin Yingwen","year":"2021","unstructured":"Yingwen Lin , Yao Zhang , Sen Chen , Fu Song , Xiaofei Xie , Xiaohong Li , and Lintan Sun . 2021 . Inferring Loop Invariants for Multi-Path Loops. In 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 63--70 . Yingwen Lin, Yao Zhang, Sen Chen, Fu Song, Xiaofei Xie, Xiaohong Li, and Lintan Sun. 2021. Inferring Loop Invariants for Multi-Path Loops. In 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 63--70."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14052-5_26"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.5555\/645670.665227"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113447"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/233561.233564"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.2200\/S00340ED1V01Y201201CAC019"},{"key":"e_1_3_2_1_68_1","volume-title":"International Workshop on Languages and Compilers for Parallel Computing. Springer","author":"Mohammadi Mahdi Soltan","year":"2018","unstructured":"Mahdi Soltan Mohammadi , Kazem Cheshmi , Maryam Mehri Dehnavi , Anand Venkat , Tomofumi Yuki , and Michelle Mills Strout . 2018 . Extending index-array properties for data dependence analysis . In International Workshop on Languages and Compilers for Parallel Computing. Springer , Springer, Berlin, Heidelberg, 78--93. Mahdi Soltan Mohammadi, Kazem Cheshmi, Maryam Mehri Dehnavi, Anand Venkat, Tomofumi Yuki, and Michelle Mills Strout. 2018. Extending index-array properties for data dependence analysis. In International Workshop on Languages and Compilers for Parallel Computing. Springer, Springer, Berlin, Heidelberg, 78--93."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2010.5470423"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1133997"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.544354"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2015.32"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375594"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926449"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/135226.135233"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291900"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_7"},{"key":"e_1_3_2_1_79_1","volume-title":"CLN2INV: learning loop invariants with continuous logic networks. arXiv preprint arXiv:1909.11542","author":"Ryan Gabriel","year":"2019","unstructured":"Gabriel Ryan , Justin Wong , Jianan Yao , Ronghui Gu , and Suman Jana . 2019. CLN2INV: learning loop invariants with continuous logic networks. arXiv preprint arXiv:1909.11542 ( 2019 ). Gabriel Ryan, Justin Wong, Jianan Yao, Ronghui Gu, and Suman Jana. 2019. CLN2INV: learning loop invariants with continuous logic networks. arXiv preprint arXiv:1909.11542 (2019)."},{"volume-title":"Colloquium on Trees in Algebra and Programming","author":"Sagiv Mooly","key":"e_1_3_2_1_80_1","unstructured":"Mooly Sagiv , Thomas Reps , and Susan Horwitz . 1995. Precise interprocedural dataflow analysis with applications to constant propagation . In Colloquium on Trees in Algebra and Programming . Springer, Springer , Berlin, Heidelberg , 651--665. Mooly Sagiv, Thomas Reps, and Susan Horwitz. 1995. Precise interprocedural dataflow analysis with applications to constant propagation. In Colloquium on Trees in Algebra and Programming. Springer, Springer, Berlin, Heidelberg, 651--665."},{"key":"e_1_3_2_1_81_1","volume-title":"Learning loop invariants for program verification. Advances in Neural Information Processing Systems 31","author":"Si Xujie","year":"2018","unstructured":"Xujie Si , Hanjun Dai , Mukund Raghothaman , Mayur Naik , and Le Song . 2018. Learning loop invariants for program verification. Advances in Neural Information Processing Systems 31 ( 2018 ). Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, and Le Song. 2018. Learning loop invariants for program verification. Advances in Neural Information Processing Systems 31 (2018)."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/40.6.340"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/2086696.2086729"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951924"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356066"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2009.18"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207169408804271"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41202-8_27"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1996.566468"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01379099"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409752"},{"key":"e_1_3_2_1_94_1","unstructured":"Tomofumi Yuki and Louis-No\u00ebl Pouchet. 2015. Polybench 4.0.  Tomofumi Yuki and Louis-No\u00ebl Pouchet. 2015. Polybench 4.0."},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328464"}],"event":{"name":"ICS '22: 2022 International Conference on Supercomputing","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Virtual Event","acronym":"ICS '22"},"container-title":["Proceedings of the 36th ACM International Conference on Supercomputing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524059.3532393","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3524059.3532393","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3524059.3532393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:38Z","timestamp":1750188638000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524059.3532393"}},"subtitle":["demand-driven verification for improving compiler optimizations"],"short-title":[],"issued":{"date-parts":[[2022,6,28]]},"references-count":92,"alternative-id":["10.1145\/3524059.3532393","10.1145\/3524059"],"URL":"https:\/\/doi.org\/10.1145\/3524059.3532393","relation":{},"subject":[],"published":{"date-parts":[[2022,6,28]]},"assertion":[{"value":"2022-06-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}