Handling Heap Data Structures in Backward Symbolic Execution. - Robert Husák; Jan Kofron; Filip Zavoral (FM Workshops (2), 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)

Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations. - Robert Husák; Filip Zavoral; Jan Kofron (TASE, 2020)

Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages. - Robert Husák; Jan Kofron; Jakub Mísek; Filip Zavoral (ICSOFT, 2022)

PeachPie: Mature PHP to CLI compiler. - Robert Husák; Jakub Mísek; Filip Zavoral; Jan Kofron (J. Comput. Lang., 2022)

Slicito: Using Computational Notebooks for Program Comprehension. - Robert Husák; Jan Kofron; Filip Zavoral (ICPC, 2023)

Combining Static Analysis Techniques for Program Comprehension Using Slicito. - Robert Husák; Jan Kofron; Filip Zavoral (ICPC, 2025)