4 citations · 7 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PF2022
Perun: Performance Version System
Tomáš Fiedor, Jiří Pavela, Adam Rogalewicz +1
In this paper, we present Perun: an open-source tool suite for profiling-based performance analysis. At its core, Perun maintains links between project versions and the correspondi…
cs.LO2022
Low-Level Bi-Abduction
Lukáš Holík, Petr Peringer, Adam Rogalewicz +3
The paper proposes a new static analysis designed to handle open programs, i.e., fragments of programs, with dynamic pointer-linked data structures - in particular, various kinds o…