You are here

Static Analysis of Multi-Core Applications

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: W31P4Q-10-C-0025
Agency Tracking Number: 07SB2-0175
Amount: $749,231.00
Phase: Phase II
Program: SBIR
Solicitation Topic Code: SB072-010
Solicitation Number: 2007.2
Timeline
Solicitation Year: 2007
Award Year: 2010
Award Start Date (Proposal Award Date): 2010-03-16
Award End Date (Contract End Date): 2012-06-30
Small Business Information
317 N. Aurora Street
Ithaca, NY -
United States
DUNS: 603978321
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Denis Gopan
 Senior Scientist
 (608) 827-0657
 gopan@grammatech.com
Business Contact
 Ray Teitelbaum
Title: CEO
Phone: (607) 273-7340
Email: tt@grammatech.com
Research Institution
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 parallelized—a 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. *

US Flag An Official Website of the United States Government