70 citations · 123 across the 26 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022★ 1 cited
On the Expressiveness of a Logic of Separated Relations
Radu Iosif, Florian Zuleger
We compare the model-theoretic expressiveness of the existential fragment of Separation Logic over unrestricted relational signatures (SLR) -- with only separating conjunction as l…
cs.LO2022★ 18 cited
Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
Lorenz Leutgeb, Georg Moser, Florian Zuleger
In this paper, we present the first fully-automated expected amortised cost analysis of self-adjusting data structures, that is, of randomised splay trees, randomised splay heaps a…
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…