A framework for proving correctness of adjoint message-passing programs

Uwe Naumann; Laurent Hascoët; Chris Hill; Paul Hovland; Jan Riehme; Jean Utke

doi:10.1007/978-3-540-87475-1_44

A framework for proving correctness of adjoint message-passing programs

Uwe Naumann, Laurent Hascoët, Chris Hill, Paul Hovland, Jan Riehme, Jean Utke

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

12 Citations (Scopus)

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.

Original language	English
Title of host publication	Recent Advances in Parallel Virtual Machine and Message Passing Interface
Publisher	Springer Nature Link
Pages	316-321
Number of pages	6
ISBN (Electronic)	978-3-540-87475-1
ISBN (Print)	978-3-540-87474-4
DOIs	https://doi.org/10.1007/978-3-540-87475-1_44
Publication status	Published - 26 Nov 2008
Event	15th European PVM/MPI Users' Group Meeting, EuroPVM/MPI 2008 - Dublin, United Kingdom Duration: 7 Sept 2008 → 10 Sept 2008

Publication series

Name	Lecture Notes in Computer Science
Volume	5205
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	15th European PVM/MPI Users' Group Meeting, EuroPVM/MPI 2008
Country/Territory	United Kingdom
City	Dublin
Period	7/09/08 → 10/09/08

Access to Document

10.1007/978-3-540-87475-1_44

Cite this

@inproceedings{d629f61a3b144308ac80e51e0def0903,

title = "A framework for proving correctness of adjoint message-passing programs",

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.",

author = "Uwe Naumann and Laurent Hasco{\"e}t and Chris Hill and Paul Hovland and Jan Riehme and Jean Utke",

year = "2008",

month = nov,

day = "26",

doi = "10.1007/978-3-540-87475-1_44",

language = "English",

isbn = "978-3-540-87474-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature Link",

pages = "316--321",

booktitle = "Recent Advances in Parallel Virtual Machine and Message Passing Interface",

address = "Netherlands",

note = "15th European PVM/MPI Users' Group Meeting, EuroPVM/MPI 2008 ; Conference date: 07-09-2008 Through 10-09-2008",

}

Naumann, U, Hascoët, L, Hill, C, Hovland, P, Riehme, J & Utke, J 2008, A framework for proving correctness of adjoint message-passing programs. in Recent Advances in Parallel Virtual Machine and Message Passing Interface. Lecture Notes in Computer Science, vol. 5205, Springer Nature Link, pp. 316-321, 15th European PVM/MPI Users' Group Meeting, EuroPVM/MPI 2008, Dublin, United Kingdom, 7/09/08. https://doi.org/10.1007/978-3-540-87475-1_44

A framework for proving correctness of adjoint message-passing programs. / Naumann, Uwe; Hascoët, Laurent; Hill, Chris et al.
Recent Advances in Parallel Virtual Machine and Message Passing Interface. Springer Nature Link, 2008. p. 316-321 (Lecture Notes in Computer Science; Vol. 5205).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A framework for proving correctness of adjoint message-passing programs

AU - Naumann, Uwe

AU - Hascoët, Laurent

AU - Hill, Chris

AU - Hovland, Paul

AU - Riehme, Jan

AU - Utke, Jean

PY - 2008/11/26

Y1 - 2008/11/26

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-87475-1_44

DO - 10.1007/978-3-540-87475-1_44

M3 - Conference contribution

AN - SCOPUS:56449091918

SN - 978-3-540-87474-4

T3 - Lecture Notes in Computer Science

SP - 316

EP - 321

BT - Recent Advances in Parallel Virtual Machine and Message Passing Interface

PB - Springer Nature Link

T2 - 15th European PVM/MPI Users' Group Meeting, EuroPVM/MPI 2008

Y2 - 7 September 2008 through 10 September 2008

ER -

A framework for proving correctness of adjoint message-passing programs

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this