- Binding Semantic Tree of Dynamic Languages to Static Language Constructs2017 | Matematicko-fyzikální fakulta
- Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation2017 | Matematicko-fyzikální fakulta
- Semantic Analysis of Ambiguous Types in Dynamic Languages2018 | Matematicko-fyzikální fakulta