Inferring types for parallel programs

Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)
218 Downloads (Pure)

Abstract

The Message Passing Interface (MPI) framework is widely used in implementing imperative programs that exhibit a high degree of parallelism. The PARTYPES approach proposes a behavioural type discipline for MPI-like programs in which a type describes the communication protocol followed by the entire program. Well-typed programs are guaranteed to be exempt from deadlocks. In this paper we describe a type inference algorithm for a subset of the original system; the algorithm allows to statically extract a type for an MPI program from its source code.

Original languageEnglish
Title of host publicationProceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
EditorsVasco T. Vasconcelos , Philipp Haller
Number of pages9
Volume246
PublisherOpen Publishing Association
Publication date8 Apr 2017
Pages28-36
DOIs
Publication statusPublished - 8 Apr 2017
EventTenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software - Uppsala, Sweden
Duration: 29 Apr 201729 Apr 2017
Conference number: 10

Workshop

WorkshopTenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Number10
Country/TerritorySweden
CityUppsala
Period29/04/201729/04/2017
SeriesElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume246
ISSN2075-2180

Fingerprint

Dive into the research topics of 'Inferring types for parallel programs'. Together they form a unique fingerprint.

Cite this