ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "buffer system"
buffer system
Osoba
Předměty
Osoby
Publikace
Studium
Mgr. Ing. Robert Husák
Externí akademický pracovník na Matematicko-fyzikální fakulta
9 publikací
Publikace
publication
Slicito: Using Computational Notebooks for Program Comprehension
2023 |
Matematicko-fyzikální fakulta
publication
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages
2022 |
Matematicko-fyzikální fakulta
publication
PeachPie: Mature PHP to CLI Compiler
2022 |
Matematicko-fyzikální fakulta
publication
Towards Efficient Software Comprehension with Code Analysis
2022 |
Matematicko-fyzikální fakulta
publication
Handling Heap Data Structures in Backward Symbolic Execution
2020 |
Matematicko-fyzikální fakulta
publication
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations
2020 |
Matematicko-fyzikální fakulta
publication
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
2019 |
Matematicko-fyzikální fakulta
publication
Source Code Assertion Verification Using Backward Symbolic Execution
2019 |
Matematicko-fyzikální fakulta
publication
AskTheCode
Publikace bez příslušnosti k fakultě
Loading network view...