Award Abstract # 0811419
Collaborative Research: CPA-SEL: Implementation Techniques for High-level Parallel Languages

NSF Org: CCF
Division of Computing and Communication Foundations
Recipient: TOYOTA TECHNOLOGICAL INSTITUTE AT CHICAGO
Initial Amendment Date: June 12, 2008
Latest Amendment Date: September 4, 2009
Award Number: 0811419
Award Instrument: Standard Grant
Program Manager: Sol Greenspan
sgreensp@nsf.gov
 (703)292-7841
CCF
 Division of Computing and Communication Foundations
CSE
 Directorate for Computer and Information Science and Engineering
Start Date: July 1, 2008
End Date: February 28, 2010 (Estimated)
Total Intended Award Amount: $0.00
Total Awarded Amount to Date: $91,867.00
Funds Obligated to Date: FY 2008 = $18,993.00
FY 2009 = $0.00
History of Investigator:
  • Matthew Fluet (Principal Investigator)
    mtf@cs.rit.edu
Recipient Sponsored Research Office: Toyota Technological Institute at Chicago
6045 S KENWOOD AVE
CHICAGO
IL  US  60637-2803
(773)834-0409
Sponsor Congressional District: 01
Primary Place of Performance: Toyota Technological Institute at Chicago
6045 S KENWOOD AVE
CHICAGO
IL  US  60637-2803
Primary Place of Performance
Congressional District:
01
Unique Entity Identifier (UEI): ERBJF4DMW6G4
Parent UEI: ERBJF4DMW6G4
NSF Program(s): SOFTWARE ENGINEERING AND LANGU,
PROGRAMMING LANGUAGES
Primary Program Source: 01000809DB NSF RESEARCH & RELATED ACTIVIT
01000910DB NSF RESEARCH & RELATED ACTIVIT
Program Reference Code(s): 9218, HPCC
Program Element Code(s): 288000, 794300
Award Agency Code: 4900
Fund Agency Code: 4900
Assistance Listing Number(s): 47.070

ABSTRACT

The rapid trend toward multi-core architectures promises faster execution of computer programs but poses significant difficulties for software development due to the lack of good programming models for exploiting the parallelism in such architectures. This situation is a significant opportunity for programming-language research to supply effective languages and tools for writing desktop applications while exploiting the performance of multi-core hardware. It is well known that functional-programming languages provide a good semantic base for concurrent and parallel programming, but for such languages to be successful, they need to provide competitive performance. The research focuses on the technical challenges in the efficient implementation of parallel functional languages. The characteristics of multi-core and many-core architectures demand that implementations preserve sequential semantics in parallel constructs, manage the granularity and scheduling of parallel threads, and be aware of the locality of data. The research explores a collection of techniques that combine static program analyses, compiler transformations, and dynamic runtime policies. Empirical analysis of both traditional parallel benchmarks and small applications is used to evaluate the effectiveness of the techniques developed by this research. By addressing performance concerns, the research will enable the practical use of parallel functional programming languages for a broad range of applications.

PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH

Note:  When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

Fluet, M; Rainey, M; Reppy, J "A scheduling framework for general-purpose parallel languages" ACM SIGPLAN NOTICES , v.43 , 2008 , p.241 View record at Web of Science
Fluet, M; Rainey, M; Reppy, J; Shaw, A "Implicitly-threaded parallelism in Manticore" ACM SIGPLAN NOTICES , v.43 , 2008 , p.119 View record at Web of Science

Please report errors in award information by writing to: awardsearch@nsf.gov.

Print this page

Back to Top of page