Code Optimization and Quality Technologies

The Code Optimization Technologies (COT) department focuses on performance improvements, along with issues related to code optimizations and program understanding. Over the years, the department developed algorithmic improvements to the back-end phase of compilers, as well as stand-alone, post-compilation tools. Our work has resulted in significant performance improvements to the object code of many important applications and systems, measured on benchmarks such as SPEC and TPC-C.

• Compiler Technology
• Performance Analysis and Optimizations Technologies (PAOT)
• Software Testing, Verification and Review Methodology (STAR)
• Performance and Verification Solutions

Bilha Mendelson,