Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/39542
Title: PType system: A featherweight parallelizability detector
Authors: Xu, D.N. 
Khoo, S.-C. 
Hu, Z.
Issue Date: 2004
Source: Xu, D.N.,Khoo, S.-C.,Hu, Z. (2004). PType system: A featherweight parallelizability detector. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3302 : 197-212. ScholarBank@NUS Repository.
Abstract: Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrate an automated type-based system that soundly detects parallelizability of sequential functional programs. Our type inference system discovers the parallelizability property of a sequential program in a modular fashion, by exploring a ring structure among the program's operators. It handles self-recursive functions with accumulating parameters, as well as a class of non-linear mutual-recursive functions. Programs whose types are inferred to be parallelizable can be automatically transformed to parallel code in a mutumorphic form - a succint model for parallel computation. Transforming into such a form is an important step towards constructing efficient data parallel programs.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/39542
ISSN: 03029743
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

55
checked on Dec 8, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.