University of Limerick Institutional Repository

Automating the parallelization of functional programs

DSpace Repository

Show simple item record Dever, Michael Hamilton, Geoff W. 2012-08-14T11:56:23Z 2012-08-14T11:56:23Z 2012
dc.description peer-reviewed en_US
dc.description.abstract Creating efficient parallel software can be a complicated and time consuming task, as there are many issues that need to be considered, such as race-conditions, thread-bound data dependencies and locking issues, among others. An automated parallelization system could solve such issues, and would be of huge bene t to developers. Such a system would ideally take in a sequential program and produce, using program transformation, an optimized, parallel and equivalent program, without human interaction. There are two main approaches to the transformation of functional programs: fold/unfold based systems, based on the works of Burstall and Darlington [7], and calculational methods based systems, based on the Bird-Meertens Formalisms [3, 2, 31, 14, 1, 37]. In this paper we examine existing works on automating the parallelization process, speci cally that of functional languages and review and compare their contributions to the field. en_US
dc.language.iso eng en_US
dc.relation.ispartofseries 13th Symposium on Trends in Functional Programming;
dc.subject fold/unfold en_US
dc.subject programming en_US
dc.subject parallel software en_US
dc.title Automating the parallelization of functional programs en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.relation.projectid 03/CE2/I303_1 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account