Publikace
- Handling Heap Data Structures in Backward Symbolic Execution2020 | Matematicko-fyzikální fakulta
- Slicito: Using Computational Notebooks for Program Comprehension2023 | Matematicko-fyzikální fakulta
- Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages2022 | Matematicko-fyzikální fakulta
- PeachPie: Mature PHP to CLI Compiler2022 | Matematicko-fyzikální fakulta
- Towards Efficient Software Comprehension with Code Analysis2022 | Matematicko-fyzikální fakulta
- Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations2020 | Matematicko-fyzikální fakulta
- AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention2019 | Matematicko-fyzikální fakulta
- Source Code Assertion Verification Using Backward Symbolic Execution2019 | Matematicko-fyzikální fakulta
- AskTheCodePublikace bez příslušnosti k fakultě
Loading network view...