ℹ️
🇬🇧
Search
Search for people relevant for "buffer system"
buffer system
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Ing. Robert Husák
External academic staff at Faculty of Mathematics and Physics
9 publications
Publications
publication
Slicito: Using Computational Notebooks for Program Comprehension
2023 |
Faculty of Mathematics and Physics
publication
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages
2022 |
Faculty of Mathematics and Physics
publication
PeachPie: Mature PHP to CLI Compiler
2022 |
Faculty of Mathematics and Physics
publication
Towards Efficient Software Comprehension with Code Analysis
2022 |
Faculty of Mathematics and Physics
publication
Handling Heap Data Structures in Backward Symbolic Execution
2020 |
Faculty of Mathematics and Physics
publication
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations
2020 |
Faculty of Mathematics and Physics
publication
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
2019 |
Faculty of Mathematics and Physics
publication
Source Code Assertion Verification Using Backward Symbolic Execution
2019 |
Faculty of Mathematics and Physics
publication
AskTheCode
Publication without faculty affiliation
Loading network view...