USA flag logo/image

An Official Website of the United States Government

SBIR Phase I: Dependence Graphs for Internet Technologies

Award Information

National Science Foundation
Award ID:
Program Year/Program:
2001 / 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 1
Fiscal Year: 2001
Title: SBIR Phase I: Dependence Graphs for Internet Technologies
Agency: NSF
Contract: 0060607
Award Amount: $99,804.00


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

Business Contact:

Ray Teitelbaum
Small Business Information at Submission:

GrammaTech, Inc.
One Hopkins Place Ithaca, NY 14850

Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No