text-only page produced automatically by LIFT Text Transcoder Skip all navigation and go to page contentSkip top navigation and go to directorate navigationSkip top navigation and go to page navigation
National Science Foundation
Search  
Awards
design element
Search Awards
Recent Awards
Presidential and Honorary Awards
About Awards
Grant Policy Manual
Grant General Conditions
Cooperative Agreement Conditions
Special Conditions
Federal Demonstration Partnership
Policy Office Website


Award Abstract #0846059
CAREER: On Mutualism of Modularity and Concurrency Goals


NSF Org: CCF
Division of Computer and Communication Foundations
divider line
divider line
Initial Amendment Date: June 22, 2009
divider line
Latest Amendment Date: August 31, 2009
divider line
Award Number: 0846059
divider line
Award Instrument: Continuing grant
divider line
Program Manager: Sol J. Greenspan
CCF Division of Computer and Communication Foundations
CSE Directorate for Computer & Information Science & Engineering
divider line
Start Date: July 1, 2009
divider line
Expires: June 30, 2010 (Estimated)
divider line
Awarded Amount to Date: $121573
divider line
Investigator(s): Hridesh Rajan hridesh@iastate.edu (Principal Investigator)
divider line
Sponsor: Iowa State University
1138 Pearson
AMES, IA 50011 515/294-5225
divider line
NSF Program(s): SOFTWARE ENG & FORMAL METHODS,
PROGRAMMING LANGUAGES
divider line
Field Application(s): 0000912 Computer Science
divider line
Program Reference Code(s): HPCC, 9251, 9218, 1045
divider line
Program Element Code(s): 7944, 7943

ABSTRACT

This project focuses on the problem of making concurrent programs easier to write correctly and to implement efficiently. Modularity promotes ease of understand and maintainability, but modularity is often at odds with the discovery and exploitation of concurrency needed to get high performance while avoiding undesirable interactions and race conditions. To approach this problem, this project is developing a novel language, Panini, in which events are first-class objects which can be analyzed to plan concurrent executions. The objective is to reconcile modularity and concurrency goals so that modular designs are naturally more amenable to concurrency. Panini will be evaluated in terms of its ability to support program modularity and performance on publicly available versions of large open-source software projects on multi-core processors use. The broader impacts are to make software more reliable, maintainable, and at the same time faster. Considering that software systems are essential elements of today's society, better and faster software will directly impact society.

 

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

 

 

Print this page
Back to Top of page
  Web Policies and Important Links | Privacy | FOIA | Help | Contact NSF | Contact Web Master | SiteMap  
National Science Foundation
The National Science Foundation, 4201 Wilson Boulevard, Arlington, Virginia 22230, USA
Tel: (703) 292-5111, FIRS: (800) 877-8339 | TDD: (800) 281-8749
Last Updated:
April 2, 2007
Text Only


Last Updated:April 2, 2007