USA flag logo/image

An Official Website of the United States Government

PICT, A Tool For Interactively Capturing and Managing Programmer's Intentions

Award Information

Department of Defense
Award ID:
Program Year/Program:
2012 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Galois, Inc.
421 SW Sixth Avenue Suite 300 Portland, OR 97204-1662
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 1
Fiscal Year: 2012
Title: PICT, A Tool For Interactively Capturing and Managing Programmer's Intentions
Agency: DOD
Contract: N00014-12-M-0242
Award Amount: $149,427.00


The so-called"software crisis"is continuing unabated. It is all too common for a software project to create software that is hard to maintain, inefficient, bug-ridden, late, and over-budget. Software flaws resulting from this current state of affairs are no longer an inconvenience but are the largest source of software security vulnerabilities. Motivated by a desire to increase our ability to reduce software flaws, we propose to add to the software engineer's toolbox a new tool---one that is complementary to existing type checking, testing, and verification approaches---which can measurably increase programmer productivity and decrease software defects. This new tool will interactively capture code properties and allow for the managing, analysis, and display of these properties during software development. The code properties that can be captured by our tool can range from low level code assertions ('p'isn't a null pointer) to high level design decisions (class'C'is a singleton class). The tool is designed to provide feedback about global analyses of the program, work in real-time, be unobtrusive to the programmer, distinguish inferred properties from intended properties, and minimize programmer input.

Principal Investigator:

Mark Tullsen
Principal Investigator
(503) 808-7159

Business Contact:

Jodee LeRoux
(503) 808-7209
Small Business Information at Submission:

Galois, Inc.
421 SW Sixth Suite 300 Portland, OR -

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