Automated tools for custom analysis, transformation, optimization and generation of source code. Can handle C, C++, Fortran, Java, many other languages, as well as accepting DSLs for code generation. Parallel programming language for irregular computations. Tools and services for the above. Software quality analysis tools: test coverage, performance profiling, duplicate/dead code detection.