Software

[Overview]   [Faculty]   [Projects]   [Courses]

Focuses on design and programming techniques, tools and languages; programming frameworks and libraries; program analysis and transformation tools.

Faculty

Gabriel Dos Reis
Jaakko Järvi
Du Li
Lawrence Rauchwerger
Bjarne Stroustrup

Projects

STAPL    an ISO Standard C++ based parallel computation library and run-time system. STAPL supports portable high-performance numerical computation on shared memory and cluster architectures using high-level abstractions in the spirit of the C++ standard library. STAPL is being developed in parallel with physics and biology applications.

The Pivot    a general framework for static analysis of C++ programs with an emphasis on analyzing "advanced" features such as classes, class hierarchies, exceptions, and templates. In addition to traditional static analysis techniques, The Pivot will support library-specific optimization of STAPL and other high-level abstractions.

C++0x    a large international collaborative project to develop the next-generation ISO C++ standard language and standard library.

Middleware: EFG, the Evolvable Framework and Groupware    explores a component-based approach for building extensible groupware applications (http://cocasoft.cs.tamu.edu/~lidu/projects/EFG).
ICT, the Intelligent Collaboration Transparency    seeks to automatically convert single-user applications into groupware applications (http://cocasoft.cs.tamu.edu/~lidu/projects/ICT).

Courses