Robert Husák

According to our database, Robert Husák authored at least 6 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Slicito: Using Computational Notebooks for Program Comprehension.

Robert Husák, Jan Kofron, Filip Zavoral

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

2022

PeachPie: Mature PHP to CLI compiler.

Robert Husák, Jakub Mísek, Filip Zavoral, Jan Kofron

J. Comput. Lang., 2022

Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages.

Robert Husák, Jan Kofron, Jakub Mísek, Filip Zavoral

Proceedings of the 17th International Conference on Software Technologies, 2022

2020

Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations.

Robert Husák, Filip Zavoral, Jan Kofron

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019

AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention.

Robert Husák, Jan Kofron, Filip Zavoral

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

Handling Heap Data Structures in Backward Symbolic Execution.

Robert Husák, Jan Kofron, Filip Zavoral

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019