Compilers
- Summary
- Compilers as the key component of high-performance computing as well as software engineering tools
Our research activities include:
- Specialized code generators for performance-critical code
- Compiler support for dynamic languages (see e.g. peachpie.io)
- Programming languages for big-data processing
- Translation between domain-specific languages
People
David Bednárek
Lecturer
Jakub Yaghob
Collaborator
Filip Zavoral
Scientific secretary, Lecturer
Miroslav Kratochvíl
Assistant professor
Latest publications
- Combining Static Analysis Techniques for Program Comprehension Using Slicito (2025)
- Astute Approach to Handling Memory Layouts of Regular Data Structures (2023)
- SLICITO: Using computational notebooks for program comprehension (2023)
- PeachPie: Mature PHP to CLI compiler (2022)
- Optimizing transformations of dynamic languages compiled to intermediate representations (2020)
- Semantic analysis of ambiguous types in dynamic languages (2019)
- Askthecode: Interactive call graph exploration for error fixing and prevention (2019)
- Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation (2017)