USA flag logo/image

An Official Website of the United States Government

Company Information:

Name: SEMANTIC DESIGNS
Address: 13171 Pond Springs Road
Austin, TX 78729-7102
Located in HUBZone: No
Woman-Owned: No
Minority-Owned: No
URL: N/A
Phone: (512) 250-1018

Award Totals:

Program/Phase Award Amount ($) Number of Awards
SBIR Phase I $683,003.00 7
SBIR Phase II $1,000,000.00 1
STTR Phase I $69,997.00 1

Award List:

Design Maintenance System

Award Year / Program / Phase: 1995 / SBIR / Phase I
Agency: NSF
Principal Investigator: Ira Baxter
Award Amount: $63,600.00

Modernization of Legacy Software: Re-engineering Low-Level Code

Award Year / Program / Phase: 2004 / SBIR / Phase I
Agency / Branch: DOD / OSD
Principal Investigator: Michael Mehlich, Research Engineer
Award Amount: $95,392.00
Abstract:
The proposal describes a semi-automatic tool translating source code implemented in mixed low-level programming languages for obsolete hardware platforms into more easily understandable source code implemented in modern high-level programming languages for modern hardware platforms by (1) parsing… More

Automated Software Architecture Analysis and Visualization Advanced of Large, Mixed-Language Systems

Award Year / Program / Phase: 2005 / SBIR / Phase I
Agency / Branch: DOD / NAVY
Principal Investigator: Ira D. Baxter, Chief Executive Officer
Award Amount: $77,392.00
Abstract:
This research project will explore the extraction, visualization, and validation of multiple views of as-is architectures for large software systems in multiple source languages. It will focus on providing support for complex real languages including Ada95, C++, and SQL. Based on generalized… More

Software Test Engineering: Analysis of Trace Semantics

Award Year / Program / Phase: 2006 / SBIR / Phase I
Agency / Branch: DOD / OSD
Principal Investigator: Robert L. Akers, Research Engineer
Award Amount: $98,250.00
Abstract:
This research will explore the development of an integrated software testing framework that enables source code instrumentation, test case extraction, analysis of test traces, symbolic reasoning about test traces and source code, algebraic specification of software behavior including specifications… More

Modularized Transliteration Engine based on DMS

Award Year / Program / Phase: 2006 / SBIR / Phase I
Agency / Branch: DOD / NGA
Principal Investigator: Ira Baxter, Chief Technical Officer
Award Amount: $99,590.00
Abstract:
This SBIR project will define a means for specifying and executing multiple transliteration systems to map written words in scripts in a variety of natural languages into Latin scripts. The work will investigate the issues behind transliteration of place names. It will define a domain-specific… More

Multi-Core Compilers

Award Year / Program / Phase: 2007 / SBIR / Phase I
Agency / Branch: DOD / DARPA
Principal Investigator: Ira Baxter, Chief Technology Officer
Award Amount: $98,910.00
Abstract:
The coming generations of multicore systems will provide multiple heterogeneous distributed processors with SIMD capabilities. Effective programming tools must address this variety and the fast rate of architecture evolution of such systems, as well as the variety of parallel applications. An… More

Software Integration Diagnostic and Predictive Tools

Award Year / Program / Phase: 2007 / STTR / Phase I
Agency / Branch: DOD / NAVY
Research Institution: JOHNS HOPKINS UNIV.
Principal Investigator: Ira Baxter, Chief Technology Officer
Award Amount: $69,997.00
RI Contact: Mars Gralia
Abstract:
A mixed-initiative tool based on precise, scalable program analyses will be designed to aid a security analyst in checking software source code for large systems in multiple programming languages. Automated analyses will discover a class of well-known and common errors in code. It will find code… More

Refactor++ Software Engineering Tool

Award Year / Program / Phase: 2011 / SBIR / Phase I
Agency: DOE
Principal Investigator: Ira Baxter Baxter, Mr. – 512-250-1018
Award Amount: $149,869.00
Abstract:
C++ is a key software technology for programming embedded systems and sophisticated applications, widely used for mathematical modeling codes fundamental to modern physics and engineering. Such codes are complex, often requiring high performance, and are built over long periods as scientists come… More

Refactor++: Automated Support for Program Enhancements

Award Year / Program / Phase: 2012 / SBIR / Phase II
Agency: DOE
Principal Investigator: Ira Baxter, Mr. – 512-250-1018
Award Amount: $1,000,000.00
Abstract:
Science and engineering depend on evolving ever more complex software, typically coded in C++, to investigate phenomena or design sophisticated products. The rate of delivered value for such software is often limited by its organization, and scientists/engineers spend significant effort trying to… More