{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T22:07:12Z","timestamp":1761862032689},"reference-count":25,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Computing"],"published-print":{"date-parts":[[2002,3]]},"DOI":"10.1016\/s0167-8191(01)00150-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T09:03:24Z","timestamp":1027587804000},"page":"433-453","source":"Crossref","is-referenced-by-count":13,"title":["Elimination of redundant messages with a two-pass static analysis algorithm"],"prefix":"10.1016","volume":"28","author":[{"given":"Alain","family":"Girault","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"7","key":"10.1016\/S0167-8191(01)00150-8_BIB1","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1109\/71.707537","article-title":"Interprocedural partial redundancy elimination with application to distributed memory compilation","volume":"9","author":"Agrawal","year":"1998","journal-title":"IEEE Transactions on Parallel Distributed Systems"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB2","series-title":"Compilers: Principles, Techniques, and Tools","author":"Aho","year":"1987"},{"issue":"3","key":"10.1016\/S0167-8191(01)00150-8_BIB3","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/360018.360025","article-title":"A program data-flow analysis procedure","volume":"19","author":"Allen","year":"1976","journal-title":"Communication of the ACM"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB4","doi-asserted-by":"crossref","unstructured":"S.P. Amarasinghe, M.S. Lam, Communication optimization and code generation for distributed memory machines, in: Conference on Programming Language Design and Implementation, PLDI'93, Albuquerque, USA, June 1993, ACM SIGPLAN","DOI":"10.1145\/155090.155102"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB5","doi-asserted-by":"crossref","unstructured":"F. Andr\u00e9, J.-L. Pazat, H. Thomas, Pandore: A system to manage data distribution, in: ACM International Conference on Supercomputing, June 1990, ACM, New York","DOI":"10.1145\/77726.255179"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB6","author":"Berry"},{"issue":"2","key":"10.1016\/S0167-8191(01)00150-8_BIB7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","article-title":"The Esterel synchronous programming language: Design, semantics, implementation","volume":"19","author":"Berry","year":"1992","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB8","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00128175","article-title":"Compiling programs for distributed memory multiprocessors","volume":"2","author":"Callahan","year":"1988","journal-title":"Journal of Supercomputing"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB9","doi-asserted-by":"crossref","unstructured":"P. Caspi, J.-C. Fernandez, A. Girault, An algorithm for reducing binary branchings, in: 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS'95, Bangalore, India, December 1995, P.S. Thiagarajan (Ed.), Lecture Notes in Computer Science, vol. 1026, Springer, Berlin","DOI":"10.1007\/3-540-60692-0_55"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB10","unstructured":"P. Caspi, A. Girault, ocrep: An automatic parallelization Tool for synchronous language, Inria, Available at www.inrialpes.fr\/bip\/people\/girault\/Ocrep"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB11","series-title":"1st International Conference on Parallel Processing, EURO-PAR'95, Stockholm, Sweden","first-page":"15","article-title":"Execution of distributed reactive systems","volume":"vol. 966","author":"Caspi","year":"1995"},{"issue":"3","key":"10.1016\/S0167-8191(01)00150-8_BIB12","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1109\/32.798329","article-title":"Automatic distribution of reactive systems for asynchronous networks of processors","volume":"25","author":"Caspi","year":"1999","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/S0167-8191(01)00150-8_BIB13","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1145\/169701.169684","article-title":"An elimination algorithm for bidirectional data flow problems using edge placement","volume":"15","author":"Dhamdhere","year":"1993","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"July","key":"10.1016\/S0167-8191(01)00150-8_BIB14","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/2.30733","article-title":"A survey of synchronization methods for parallel computers","author":"Dinning","year":"1989","journal-title":"IEEE Computer"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB15","doi-asserted-by":"crossref","unstructured":"High Performance Fortran Forum. High performance Fortran language specification, Technical Report CRPC-TR92225, Rice University, Houston, USA, May 1993","DOI":"10.1145\/190783.1041310"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB16","doi-asserted-by":"crossref","unstructured":"C. Gong, R. Gupta, R. Melhem, Compiling techniques for optimizing communication on distributed-memory systems, in: International Conference on Parallel Processing, IPPS'93, St. Charles, USA, August 1993","DOI":"10.1109\/ICPP.1993.58"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB17","doi-asserted-by":"crossref","unstructured":"E.D. Granston, A.V. Veidenbaum, Detecting redundant accesses to array data, in: Supercomputing Conference, Albuquerque, USA, November 1991","DOI":"10.1145\/125826.126714"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB18","doi-asserted-by":"crossref","unstructured":"M. Gupta, S. Midkiff, E. Schonberg, V. Seshadri, K.Y. Wang, D. Shields, W.-M.Ching, T. Ngo, An HPF compiler for the IBM SP2, in: Supercomputing'95, San Diego, CA, December 1995, ACM, New York","DOI":"10.1145\/224170.224422"},{"issue":"7","key":"10.1016\/S0167-8191(01)00150-8_BIB19","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1109\/71.508249","article-title":"A unified framework for optimizing communication in data-parallel programs","volume":"7","author":"Gupta","year":"1996","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"13","key":"10.1016\/S0167-8191(01)00150-8_BIB20","doi-asserted-by":"crossref","first-page":"1741","DOI":"10.1016\/S0167-8191(99)00086-1","article-title":"Compilation techniques for parallel systems","volume":"25","author":"Gupta","year":"1999","journal-title":"Parallel Computing"},{"issue":"9","key":"10.1016\/S0167-8191(01)00150-8_BIB21","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","article-title":"The synchronous data-flow programming language Lustre","volume":"79","author":"Halbwachs","year":"1991","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB22","series-title":"ACM International Conference on Supercomputing, Washington, USA","first-page":"1","article-title":"Evaluation of compiler optimizations for Fortran D on MIMD distributed-memory machines","author":"Hiranandani","year":"1992"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB23","doi-asserted-by":"crossref","unstructured":"K. Kennedy, N. Nedeljkovi\u0107, Combining dependence and data-flow analyses to optimize communication, in: 9th International Parallel Processing Symposium, IPPS'95, Santa Barbara, USA, April 1995","DOI":"10.1109\/IPPS.1995.395954"},{"issue":"2","key":"10.1016\/S0167-8191(01)00150-8_BIB24","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1109\/TASSP.1986.1164809","article-title":"Signal: A data-flow oriented language for signal processing","volume":"34","author":"LeGuernic","year":"1986","journal-title":"IEEE-ASSP"},{"key":"10.1016\/S0167-8191(01)00150-8_BIB25","series-title":"Conference on Program Language Design and Implementation, PLDI'94","first-page":"107","article-title":"Give-N-Take: A balanced code placement framework","author":"von Hanxleden","year":"1994"}],"container-title":["Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167819101001508?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167819101001508?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T23:23:01Z","timestamp":1620084181000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167819101001508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["S0167819101001508"],"URL":"https:\/\/doi.org\/10.1016\/s0167-8191(01)00150-8","relation":{},"ISSN":["0167-8191"],"issn-type":[{"value":"0167-8191","type":"print"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}