Robert Husk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2022
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICSoft | Using Procedure Cloning for Performance Optimization of Compiled Dynamic Languages. | Robert Husk, Jan Kofron, Jakub Msek, Filip Zavoral |
| 2020 | TASE | Optimizing Transformations of Dynamic Languages Compiled to Intermediate Representations. | Robert Husk, Filip Zavoral, Jan Kofron |
| 2019 | FM | Handling Heap Data Structures in Backward Symbolic Execution. | Robert Husk, Jan Kofron, Filip Zavoral |