{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:33:52Z","timestamp":1743118432119,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540874744"},{"type":"electronic","value":"9783540874751"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87475-1_44","type":"book-chapter","created":{"date-parts":[[2008,9,11]],"date-time":"2008-09-11T05:54:28Z","timestamp":1221112468000},"page":"316-321","source":"Crossref","is-referenced-by-count":9,"title":["A Framework for Proving Correctness of Adjoint Message-Passing Programs"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Naumann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Hasco\u00ebt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Hill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Hovland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Riehme","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Utke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"44_CR1","volume-title":"Compilers. Principles, Techniques, and Tools","author":"A. Aho","year":"1986","unstructured":"Aho, A., Sethi, R., Ullman, J.: Compilers. Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"volume-title":"Advances in Automatic Differentiation","year":"2008","key":"44_CR2","unstructured":"Bischof, C., B\u00fccker, M., Hovland, P., Naumann, U., Utke, J. (eds.): Advances in Automatic Differentiation. LNCSE, Berlin. Springer, Heidelberg (2008)"},{"key":"44_CR3","doi-asserted-by":"crossref","unstructured":"Carle, A., Fagan, M.: Automatically differentiating MPI-1 datatypes: The complete story. In: [6] ch. 25, pp. 215\u2013222. Springer, Heildberg (2002)","DOI":"10.1007\/978-1-4613-0075-5_25"},{"key":"44_CR4","unstructured":"Faure, C., Dutto, P.: Extension of Odyss\u00e9e to the MPI library \u2013 reverse mode. Rapport de recherche 3774, INRIA, Sophia Antipolis (October 1999)"},{"key":"44_CR5","first-page":"36","volume-title":"PPoPP 2005: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming","author":"C. Coarfa","year":"2005","unstructured":"Coarfa, C., Dotsenko, Y., Mellor-Crummey, J., Cantonnet, F., El-Ghazawi, T., Mohanti, A., Yao, Y., Chavarr\u00eda-Miranda, D.: An evaluation of global address space languages: co-array fortran and unified parallel c. In: PPoPP 2005: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 36\u201347. ACM, New York (2005)"},{"volume-title":"Automatic Differentiation of Algorithms \u2013 From Simulation to Optimization","year":"2002","key":"44_CR6","unstructured":"Corliss, G., Faure, C., Griewank, A., Hasco\u00ebt, L., Naumann, U. (eds.): Automatic Differentiation of Algorithms \u2013 From Simulation to Optimization. Springer, New York (2002)"},{"key":"44_CR7","first-page":"478","volume-title":"Procceedings of the 3rd European Conference on Numerical Mathematics and Advanced Applications","author":"C. Faure","year":"2000","unstructured":"Faure, C., Dutto, P., Fidanova, S.: Odys\u00e9e and parallelism: Extension and validation. In: Procceedings of the 3rd European Conference on Numerical Mathematics and Advanced Applications, Jyv\u00e4skyl\u00e4, Finland, July 26-30, 1999, pp. 478\u2013485. World Scientific, Singapore (2000)"},{"key":"44_CR8","volume-title":"Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation","author":"A. Griewank","year":"2000","unstructured":"Griewank, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM, Philadelphia (2000)"},{"key":"44_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/3-540-46080-2_107","volume-title":"Computational Science - ICCS 2002","author":"P. Heimbach","year":"2002","unstructured":"Heimbach, P., Hill, C., Giering, R.: Automatic generation of efficient adjoint code for a parallel Navier-Stokes solver. In: Sloot, P.M.A., Tan, C.J.K., Dongarra, J., Hoekstra, A.G. (eds.) ICCS-ComputSci 2002. LNCS, vol.\u00a02330, pp. 1019\u20131028. Springer, Heidelberg (2002)"},{"key":"44_CR10","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1109\/IPPS.1998.669896","volume-title":"Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing","author":"P. Hovland","year":"1998","unstructured":"Hovland, P., Bischof, C.: Automatic differentiation of message-passing parallel programs. In: Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing, pp. 98\u2013104. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"44_CR11","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1029\/1999JC900236","volume":"104","author":"J. Marotzke","year":"1999","unstructured":"Marotzke, J., Giering, R., Zhang, K., Stammer, D., Hill, C., Lee, T.: Construction of the adjoint MIT ocean general circulation model and application to Atlantic heat transport variability. J. Geophysical Research\u00a0104, C12:29, 529, 547 (1999)","journal-title":"J. Geophysical Research"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Naumann, U.: Call tree reversal is NP-complete. In: [2] (to appear, 2008)","DOI":"10.1007\/978-3-540-68942-3_2"},{"key":"44_CR13","doi-asserted-by":"crossref","unstructured":"Naumann, U.: DAG reversal is NP-complete. J. Discr. Alg. (to appear, 2008)","DOI":"10.1007\/978-3-540-68942-3_2"},{"issue":"4","key":"44_CR14","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/1114268.1114270","volume":"31","author":"U. Naumann","year":"2005","unstructured":"Naumann, U., Riehme, J.: A differentiation-enabled Fortran 95 compiler. ACM Transactions on Mathematical Software\u00a031(4), 458\u2013474 (2005)","journal-title":"ACM Transactions on Mathematical Software"},{"issue":"2","key":"44_CR15","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1145\/42190.42277","volume":"10","author":"D. Shasha","year":"1988","unstructured":"Shasha, D., Snir, M.: Efficient and correct execution of parallel programs that share memory. ACM Trans. Program. Lang. Syst.\u00a010(2), 282\u2013312 (1988)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"44_CR16","first-page":"175","volume-title":"ICPP 2006: Proceedings of the 2006 International Conference on Parallel Processing","author":"M. Mills Strout","year":"2006","unstructured":"Mills Strout, M., Kreaseck, B., Hovland, P.: Data-flow analysis for MPI programs. In: ICPP 2006: Proceedings of the 2006 International Conference on Parallel Processing, pp. 175\u2013184. IEEE Computer Society Press, Washington (2006)"},{"key":"44_CR17","doi-asserted-by":"crossref","unstructured":"Utke, J., Naumann, U., Wunsch, C., Hill, C., Heimbach, P., Fagan, M., Tallent, N., Strout, M.: OpenAD\/F: A modular, open-source tool for automatic differentiation of Fortran codes. ACM Transactions on Mathematical Software\u00a034(4) (2008)","DOI":"10.1145\/1377596.1377598"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Parallel Virtual Machine and Message Passing Interface"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87475-1_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:44:55Z","timestamp":1558266295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87475-1_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540874744","9783540874751"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87475-1_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}