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

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

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

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

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

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

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

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