{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T13:46:17Z","timestamp":1767707177916,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T00:00:00Z","timestamp":1151452800000},"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":[[2006,6,28]]},"DOI":"10.1145\/1183401.1183448","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"335-344","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Violated dependence analysis"],"prefix":"10.1145","author":[{"given":"Nicolas","family":"Vasilache","sequence":"first","affiliation":[{"name":"Paris-Sud University"}]},{"given":"Cedric","family":"Bastoul","sequence":"additional","affiliation":[{"name":"Paris-Sud University"}]},{"given":"Albert","family":"Cohen","sequence":"additional","affiliation":[{"name":"Paris-Sud University"}]},{"given":"Sylvain","family":"Girbal","sequence":"additional","affiliation":[{"name":"Paris-Sud University"}]}],"member":"320","published-online":{"date-parts":[[2006,6,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/29873.29875"},{"key":"e_1_3_2_1_2_1","volume-title":"Morgan and Kaufman","author":"Allen R.","year":"2002","unstructured":"R. Allen and K. Kennedy . Optimizing Compilers for Modern Architectures . Morgan and Kaufman , 2002 . R. Allen and K. Kennedy. Optimizing Compilers for Modern Architectures. Morgan and Kaufman, 2002."},{"key":"e_1_3_2_1_3_1","volume-title":"Dept. of Computer Science","author":"Banerjee U.","year":"1976","unstructured":"U. Banerjee . Data dependence in ordinary programs. Master's thesis , Dept. of Computer Science , University of Illinois at Urbana-Champaign , November 1976 . U. Banerjee. Data dependence in ordinary programs. Master's thesis, Dept. of Computer Science, University of Illinois at Urbana-Champaign, November 1976."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/535430"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025127.1025992"},{"key":"e_1_3_2_1_7_1","volume-title":"Mar.","author":"Bastoul C.","year":"2005","unstructured":"C. Bastoul and P. Feautrier . Adjusting a program transformation for legality. Parallel processing letters, 15(1):3--17 , Mar. 2005 . C. Bastoul and P. Feautrier. Adjusting a program transformation for legality. Parallel processing letters, 15(1):3--17, Mar. 2005."},{"key":"e_1_3_2_1_8_1","unstructured":"F. Chow. Maximizing application performance through interprocedural optimization with the PathScale EKO compiler suite. http:\/\/www.pathscale.com\/whitepapers.html Aug. 2004.  F. Chow. Maximizing application performance through interprocedural optimization with the PathScale EKO compiler suite. http:\/\/www.pathscale.com\/whitepapers.html Aug. 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088149.1088169"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(00)00034-X"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/143369.143422"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/55364.55406"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1051\/ro\/1988220302431"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407931"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01407835"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-006-0012-3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113448"},{"key":"e_1_3_2_1_19_1","volume-title":"Facult\u00e4t f\u00fcr Mathematik und Informatik","author":"Griebl M.","year":"2004","unstructured":"M. Griebl . Automatic parallelization of loop programs for distributed memory architectures. Habilitation thesis . Facult\u00e4t f\u00fcr Mathematik und Informatik , Universit\u00e4t Passau , 2004 . M. Griebl. Automatic parallelization of loop programs for distributed memory architectures. Habilitation thesis. Facult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, 2004."},{"key":"e_1_3_2_1_22_1","first-page":"204","volume-title":"ICPP'90 International Conference on Parallel Processing","author":"Kong X.","year":"1990","unstructured":"X. Kong , D. Klappholz , and K. Psarris . The i test: A new test for subscript data dependence . In ICPP'90 International Conference on Parallel Processing , pages 204 -- 211 , St. Charles , Aug. 1990 . X. Kong, D. Klappholz, and K. Psarris. The i test: A new test for subscript data dependence. In ICPP'90 International Conference on Parallel Processing, pages 204--211, St. Charles, Aug. 1990."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/360827.360844"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8191(98)00029-5"},{"key":"e_1_3_2_1_25_1","first-page":"201","volume-title":"24th ACM Symp. on Principles of Programming Languages","author":"Lim A. W.","year":"1997","unstructured":"A. W. Lim and M. S. Lam . Communication-free parallelization via affine transformations . In 24th ACM Symp. on Principles of Programming Languages , pages 201 -- 214 , Paris, France , Jan. 1997 . A. W. Lim and M. S. Lam. Communication-free parallelization via affine transformations. In 24th ACM Symp. on Principles of Programming Languages, pages 201--214, Paris, France, Jan. 1997."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025117523902"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158515"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113447"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.544354"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2004.1264806"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125848"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/109025.109108"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/365151.365152"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007554627716"},{"key":"e_1_3_2_1_36_1","volume-title":"John Wiley and Sons","author":"Schrijver A.","year":"1986","unstructured":"A. Schrijver . Theory of Linear and Integer Programming . John Wiley and Sons , Chichester, UK , 1986 . A. Schrijver. Theory of Linear and Integer Programming. John Wiley and Sons, Chichester, UK, 1986."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11688839_16"},{"key":"e_1_3_2_1_39_1","volume-title":"High performance compilers for parallel computing","author":"Wolfe M.","year":"1995","unstructured":"M. Wolfe . High performance compilers for parallel computing . Addison-Wesley Publishing Company , 1995 . M. Wolfe. High performance compilers for parallel computing. Addison-Wesley Publishing Company, 1995."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01379099"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.159042"},{"key":"e_1_3_2_1_42_1","unstructured":"D. G. Wonnacott. Constraint-Based Array Dependence Analysis. PhD thesis University of Maryland 1995.   D. G. Wonnacott. Constraint-Based Array Dependence Analysis. PhD thesis University of Maryland 1995."}],"event":{"name":"ICS06: International Conference on Supercomputing 2006","sponsor":["ACM Association for Computing Machinery","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Cairns Queensland Australia","acronym":"ICS06"},"container-title":["Proceedings of the 20th annual international conference on Supercomputing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1183401.1183448","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1183401.1183448","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:36Z","timestamp":1750259676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1183401.1183448"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,28]]},"references-count":36,"alternative-id":["10.1145\/1183401.1183448","10.1145\/1183401"],"URL":"https:\/\/doi.org\/10.1145\/1183401.1183448","relation":{},"subject":[],"published":{"date-parts":[[2006,6,28]]},"assertion":[{"value":"2006-06-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}