USA flag logo/image

An Official Website of the United States Government

Static Analysis of Multi-Core Applications

Award Information

Department of Defense
Award ID:
Program Year/Program:
2010 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
GrammaTech, Inc
531 Esty Street Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 2
Fiscal Year: 2010
Title: Static Analysis of Multi-Core Applications
Agency: DOD
Contract: W31P4Q-10-C-0025
Award Amount: $749,231.00


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.

Principal Investigator:

Denis Gopan
Senior Scientist
(608) 827-0657

Business Contact:

Ray Teitelbaum
(607) 273-7340
Small Business Information at Submission:

GrammaTech, Inc
317 N. Aurora Street Ithaca, NY -

EIN/Tax ID: 161338879
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No