- Remote Just-in-Time Compilation for Dynamic Languages2023 | Faculty of Mathematics and Physics
- Semantic Analysis of Ambiguous Types in Dynamic Languages2018 | Faculty of Mathematics and Physics
- Inferring Common Language Infrastructure Metadata for an Ambiguous Dynamic Language Type2017 | Faculty of Mathematics and Physics
- Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages2022 | Faculty of Mathematics and Physics
- Binding Semantic Tree of Dynamic Languages to Static Language Constructs2017 | Faculty of Mathematics and Physics
- Mapping of Dynamic Language Constructs into Static Abstract Syntax Trees2010 | Faculty of Mathematics and Physics
- Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation2017 | Faculty of Mathematics and Physics
- Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations2020 | Faculty of Mathematics and Physics
- Runtime for rapid prototyping of component applicationsPublication without faculty affiliation
- Framework for Static Analysis of PHP Applications2015 | Faculty of Mathematics and Physics
- Characteristics of Dynamic JVM Languages2013 | Faculty of Mathematics and Physics
- WeVerca: Web Applications Verification for PHP2014 | Faculty of Mathematics and Physics
- Phalanger ImprovementsPublication without faculty affiliation
- PeachPie: Mature PHP to CLI Compiler2022 | Faculty of Mathematics and Physics
- Phalanger IntelliSense: Syntactic and semantic prediction2009 | Faculty of Mathematics and Physics
- PHP Visual Studio IntelliSensePublication without faculty affiliation
- Framework for Static Analysis of PHP Applications (Artifact)Publication without faculty affiliation
