IBM Research - Haifa

The System Optimization and Quality (COQT) department focuses on technologies, services, and tools for software testing, code review, performance improvements, and parallelization on various platforms.

Our team has developed advanced compiler optimization in the area of SIMD (auto-vectorization) and parallelism (auto-parallelism) and is considered a leader in this area. Complimentary to our work in compiler optimization is the area of post-link optimization (i.e., FDPR), which optimizes executables to gain additional performance improvements. Our work resulted in significant performance improvements to the object code of many important applications and systems, measured on benchmarks such as SPEC, TPC-C, and EEMBC. In parallel to these activities, we developed advanced performance tools for modern environments with a focus on multi-core architectures (i.e., Trace Analyzer). These provide enhanced analysis and visualization to help parallel application developers and performance teams efficiently identify and resolve bottlenecks.

Over the years, the department has developed tools and methodologies to improve the testing and quality of software for IBM and its customers.

• Software bug detection following concurrent execution (Concurrent Testing)
• Efficient collaborative code reviews (CCRT)
• Code coverage and efficient test selection techniques (Focus).

The COQT team also provides consulting and support to increase the effectiveness of software for customers who demand reliable enablement and high performance of complex concurrent applications running on IBM platforms. The team is already engaged in various activities for IBM and its customers in this area. With its innovative tools and methodologies, the team has improved the effectiveness of the IBM platforms and the software quality of these customers.

The SOQ department provides direct consultancy and services to external customers in the areas of software quality and performance on multicore architectures. Click here to learn more about the Performance and Quality Services (PQS) team.

• Compiler Technologies
• Performance Analysis and Optimization Technology
• Verification and Review Methodology Performance Tools