USA flag logo/image

An Official Website of the United States Government

SBIR Phase I: Dependence Graphs for Internet Technologies

Award Information

Agency:
National Science Foundation
Branch:
N/A
Award ID:
53460
Program Year/Program:
2001 / SBIR
Agency Tracking Number:
0060607
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
GrammaTech, Inc
531 Esty Street Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2001
Title: SBIR Phase I: Dependence Graphs for Internet Technologies
Agency: NSF
Contract: 0060607
Award Amount: $99,804.00
 

Abstract:

This Small Business Innovation Research (SBIR) Phase I project from GrammaTech aims to conduct research that will address fundamental problems facing developers of the software systems that comprise the Internet. Problems with Internet systems such as software faults, security vulnerabilities and inefficiencies can lead to a lack of confidence in the medium and hinder its further development. The tools used to construct these systems have so far mostly failed to help mitigate these problems because they were generally designed for more traditionally-constructed systems-- those that are mostly static and mostly single-threaded. In contrast, Internet systems are typically highly dynamic and often involve concurrency. A new breed of tools based on techniques that use static-semantic analysis of programs has recently emerged for static and sequential systems. The research objective of this proposal is to extend and apply these techniques to the analysis of highly-dynamic concurrent systems. The key technical challenges are to devise representations and methods that make these enhanced analyses accurate and tractable and to invent mechanisms for querying and organizing the results of the analyses. The target will be the Java programming language. The potential applications of this research include tools for program understanding, restructuring, parallelization, debugging, and testing. The results of this research have commercial application in Interactive Development Environments (IDEs) for software construction, and in tools for all other phases of the software development process.

Principal Investigator:

Paul Anderson
6072737340
Paul@grammatech.com

Business Contact:

Ray Teitelbaum
Chairman
6072737340
tt@grammatech.com
Small Business Information at Submission:

GrammaTech, Inc.
One Hopkins Place Ithaca, NY 14850

EIN/Tax ID:
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No