Robert Husák

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Highly Optimized

Intermediate Representations

Symbolic Execution

Program Comprehension

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

J. Comput. Lang.

Publications

Robert Husák, Jan Kofron, Filip Zavoral
Slicito: Using Computational Notebooks for Program Comprehension. ICPC (2023)
Robert Husák, Jakub Mísek, Filip Zavoral, Jan Kofron
PeachPie: Mature PHP to CLI compiler. J. Comput. Lang. 73 (2022)
Robert Husák, Jan Kofron, Jakub Mísek, Filip Zavoral
Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages. ICSOFT (2022)
Robert Husák, Filip Zavoral, Jan Kofron
Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations. TASE (2020)
Robert Husák, Jan Kofron, Filip Zavoral
Handling Heap Data Structures in Backward Symbolic Execution. FM Workshops (2) (2019)
Robert Husák, Jan Kofron, Filip Zavoral
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019)