- Remote Just-in-Time Compilation for Dynamic Languages2023 | Matematicko-fyzikální fakulta
- Semantic Analysis of Ambiguous Types in Dynamic Languages2018 | Matematicko-fyzikální fakulta
- Inferring Common Language Infrastructure Metadata for an Ambiguous Dynamic Language Type2017 | Matematicko-fyzikální fakulta
- Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages2022 | Matematicko-fyzikální fakulta
- Binding Semantic Tree of Dynamic Languages to Static Language Constructs2017 | Matematicko-fyzikální fakulta
- Mapování dynamických jazykových konstruktů do statických abstraktních stromů2010 | Matematicko-fyzikální fakulta
- Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation2017 | Matematicko-fyzikální fakulta
- Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations2020 | Matematicko-fyzikální fakulta
- Běhové prostředí pro rychlé protypování komponentovPublikace bez příslušnosti k fakultě
- Framework for Static Analysis of PHP Applications2015 | Matematicko-fyzikální fakulta
- Characteristics of Dynamic JVM Languages2013 | Matematicko-fyzikální fakulta
- WeVerca: Web Applications Verification for PHP2014 | Matematicko-fyzikální fakulta
- Vylepšení projektu PhalangerPublikace bez příslušnosti k fakultě
- PeachPie: Mature PHP to CLI Compiler2022 | Matematicko-fyzikální fakulta
- Phalanger IntelliSense: syntaktická a sémantická predikce2009 | Matematicko-fyzikální fakulta
- PHP Visual Studio IntelliSensePublikace bez příslušnosti k fakultě
- Framework for Static Analysis of PHP Applications (Artifact)Publikace bez příslušnosti k fakultě