A Framework for Proving Correctness of Adjoint Message-Passing Programs

Authors:
Uwe Naumann;Laurent Hascoët;Chris Hill;Paul Hovland;Jan Riehme;Jean Utke
Affiliations:
LuFG Informatik 12 (Software and Tools for Computational Engineering), Department of Computer Science, RWTH Aachen University, Aachen, Germany 52056;Projet TROPICS, INRIA Sophia-Antipolis, France;Department of Earth, Atmospheric, and Planetary Sciences, Massachusetts Institute of Technology, Cambridge, USA;Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, USA;Department of Computer Science, University of Hertfordshire, Hatfield, UK;Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, USA
Venue:
Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Year:
2008

Citing 12
Cited 1

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Efficient and correct execution of parallel programs that share memory

ACM Transactions on Programming Languages and Systems (TOPLAS)
Evaluating derivatives: principles and techniques of algorithmic differentiation

Evaluating derivatives: principles and techniques of algorithmic differentiation
Automatic differentiation of algorithms: from simulation to optimization

Automatic differentiation of algorithms: from simulation to optimization
Automatically differentiating MPI-1 datatypes: the complete story

Automatic differentiation of algorithms
Automatic Generation of Efficient Adjoint Code for a Parallel Navier-Stokes Solver

ICCS '02 Proceedings of the International Conference on Computational Science-Part II
An evaluation of global address space languages: co-array fortran and unified parallel C

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
A differentiation-enabled Fortran 95 compiler

ACM Transactions on Mathematical Software (TOMS)
Data-Flow Analysis for MPI Programs

ICPP '06 Proceedings of the 2006 International Conference on Parallel Processing
OpenAD/F: A Modular Open-Source Tool for Automatic Differentiation of Fortran Codes

ACM Transactions on Mathematical Software (TOMS)
Advances in Automatic Differentiation

Advances in Automatic Differentiation
DAG reversal is NP-complete

Journal of Discrete Algorithms

A wish list for efficient adjoints of one-sided MPI communication

EuroMPI'12 Proceedings of the 19th European conference on Recent Advances in the Message Passing Interface

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a technique for proving correctness of adjoint message passing programs that relies on data dependences in partitioned global address space. As an example we discuss asynchronous unbuffered send/receive using MPI.