Research

Projects

• Compiler testing
  • Development of testgen2 test suite for C Compilers
  • Orange3 random test system for C compilers
• High-level synthesis
  • Algorithms for high-level synthesis
  • Development of binary synthesizer ACAP
• Program optimization
  • Tuning of compiler optimization options
  • Cache optimization