Static Analysis of Multi-Core Applications

Award Information
Agency:
Department of Defense
Branch
n/a
Amount:
$749,231.00
Award Year:
2010
Program:
SBIR
Phase:
Phase II
Contract:
W31P4Q-10-C-0025
Award Id:
81269
Agency Tracking Number:
07SB2-0175
Solicitation Year:
2007
Solicitation Topic Code:
SB072-010
Solicitation Number:
2007.2
Small Business Information
317 N. Aurora Street, Ithaca, NY, -
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
603978321
Principal Investigator:
Denis Gopan
Senior Scientist
(608) 827-0657
gopan@grammatech.com
Business Contact:
Ray Teitelbaum
CEO
(607) 273-7340
tt@grammatech.com
Research Institute:
n/a
Abstract
Multi-core architectures, which recently have become pervasive, exposed the software-engineering community to a host of challenges. Applications that want to take a full advantage of a multi-core processor must be explicitly parallelizeda process that is hard and error prone. Additionally, the programs that have already been parallelized and shown to work robustly on a single-core processor often become unstable when migrated to a multi-core machine. We propose a tool that discovers bugs in concurrent programs, including data races, atomicity violations, and errors specific to multi-core platforms. The tool will combine static and dynamic analysis to systematically explore the state-space of a program and discover flaws. To use the tool, a user will provide an executable version of their concurrent program. The tool will produce a list of discovered flaws and allow the user to"replay"concurrent executions that demonstrate each flaw.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government