- Binding Semantic Tree of Dynamic Languages to Static Language Constructs2017 | Faculty of Mathematics and Physics
- Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation2017 | Faculty of Mathematics and Physics
- Semantic Analysis of Ambiguous Types in Dynamic Languages2018 | Faculty of Mathematics and Physics