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
Titles of Master thesis and Bachelor thesis