University of Hertfordshire

A framework for proving correctness of adjoint message-passing programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Uwe Naumann
  • Laurent Hascoët
  • Chris Hill
  • Paul Hovland
  • Jan Riehme
  • Jean Utke
View graph of relations
Original languageEnglish
Title of host publicationRecent Advances in Parallel Virtual Machine and Message Passing Interface
PublisherSpringer
Pages316-321
Number of pages6
ISBN (Electronic)978-3-540-87475-1
ISBN (Print)978-3-540-87474-4
DOIs
Publication statusPublished - 26 Nov 2008
Event15th European PVM/MPI Users' Group Meeting, EuroPVM/MPI 2008 - Dublin, United Kingdom
Duration: 7 Sep 200810 Sep 2008

Publication series

NameLecture Notes in Computer Science
Volume5205
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th European PVM/MPI Users' Group Meeting, EuroPVM/MPI 2008
CountryUnited Kingdom
CityDublin
Period7/09/0810/09/08

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.

ID: 7791705