Author-Roberthusak on D3S https://d3s.mff.cuni.cz/tags/author-roberthusak/ Recent content in Author-Roberthusak on D3S Hugo en AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention https://d3s.mff.cuni.cz/publications/husak_askthecode_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/husak_askthecode_2019/ Combining Static Analysis Techniques for Program Comprehension Using Slicito https://d3s.mff.cuni.cz/publications/husak_combining_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/husak_combining_2025/ Handling Heap Data Structures in Backward Symbolic Execution https://d3s.mff.cuni.cz/publications/husak_handling_2019/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/husak_handling_2019/ Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations https://d3s.mff.cuni.cz/publications/husak_optimizing_2020/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/husak_optimizing_2020/ PeachPie: Mature PHP to CLI compiler https://d3s.mff.cuni.cz/publications/husak_peachpie_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/husak_peachpie_2022/ Slicito: Using Computational Notebooks for Program Comprehension https://d3s.mff.cuni.cz/publications/husak_slicito_2023/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/husak_slicito_2023/ Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages https://d3s.mff.cuni.cz/publications/husak_using_2022/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/husak_using_2022/