Inferring types for parallel programs

Francisco Martins; Vasco Thudichum Vasconcelos; Hans Hüttel

doi:10.4204/EPTCS.246.6

Inferring types for parallel programs

Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

1 Citationer (Scopus)

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

Originalsprog	Engelsk
Titel	Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Redaktører	Vasco T. Vasconcelos , Philipp Haller
Antal sider	9
Vol/bind	246
Forlag	Open Publishing Association
Publikationsdato	8 apr. 2017
Sider	28-36
DOI	https://doi.org/10.4204/EPTCS.246.6
Status	Udgivet - 8 apr. 2017
Begivenhed	Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software - Uppsala, Sverige Varighed: 29 apr. 2017 → 29 apr. 2017 Konferencens nummer: 10

Workshop

Workshop	Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Nummer	10
Land/Område	Sverige
By	Uppsala
Periode	29/04/2017 → 29/04/2017

Navn	Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol/bind	246
ISSN	2075-2180

Adgang til dokumentet

10.4204/EPTCS.246.6Licens: CC BY 4.0

Open Access articleForlagets udgivne version, 174 KBLicens: CC BY 4.0

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

http://www.scopus.com/inward/record.url?scp=85019196325&partnerID=8YFLogxK

Citationsformater

Martins, Francisco ; Vasconcelos, Vasco Thudichum ; Hüttel, Hans. / Inferring types for parallel programs. Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software . red. / Vasco T. Vasconcelos ; Philipp Haller. Bind 246 Open Publishing Association, 2017. s. 28-36 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 246).

@inproceedings{4cf586e3928d4401b38b0a7ddb7bb55e,

title = "Inferring types for parallel programs",

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

author = "Francisco Martins and Vasconcelos, {Vasco Thudichum} and Hans H{\"u}ttel",

year = "2017",

month = apr,

day = "8",

doi = "10.4204/EPTCS.246.6",

language = "English",

volume = "246",

series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

publisher = "Open Publishing Association",

pages = "28--36",

editor = "{Vasconcelos }, {Vasco T. } and Philipp Haller",

booktitle = "Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software",

note = "Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software ; Conference date: 29-04-2017 Through 29-04-2017",

}

Martins, F, Vasconcelos, VT & Hüttel, H 2017, Inferring types for parallel programs. i VT Vasconcelos & P Haller (red), Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software . bind 246, Open Publishing Association, Electronic Proceedings in Theoretical Computer Science, EPTCS, bind 246, s. 28-36, Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Uppsala, Sverige, 29/04/2017. https://doi.org/10.4204/EPTCS.246.6

Inferring types for parallel programs. / Martins, Francisco; Vasconcelos, Vasco Thudichum; Hüttel, Hans.
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software . red. / Vasco T. Vasconcelos ; Philipp Haller. Bind 246 Open Publishing Association, 2017. s. 28-36 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 246).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Inferring types for parallel programs

AU - Martins, Francisco

AU - Vasconcelos, Vasco Thudichum

AU - Hüttel, Hans

N1 - Conference code: 10

PY - 2017/4/8

Y1 - 2017/4/8

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

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

UR - http://www.scopus.com/inward/record.url?scp=85019196325&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.246.6

DO - 10.4204/EPTCS.246.6

M3 - Article in proceeding

AN - SCOPUS:85019196325

VL - 246

T3 - Electronic Proceedings in Theoretical Computer Science, EPTCS

SP - 28

EP - 36

BT - Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

A2 - Vasconcelos , Vasco T.

A2 - Haller, Philipp

PB - Open Publishing Association

T2 - Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Y2 - 29 April 2017 through 29 April 2017

ER -

Martins F, Vasconcelos VT, Hüttel H. Inferring types for parallel programs. I Vasconcelos VT, Haller P, red., Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software . Bind 246. Open Publishing Association. 2017. s. 28-36. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 246). doi: 10.4204/EPTCS.246.6

Inferring types for parallel programs

Abstract

Workshop

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater