4 citations · 20 across the 28 of their papers we have counts for
3 papers · 1 filter
Pointer Race Freedom
Frédéric Haziza, Lukáš Holík, Roland Meyer +1
We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed, and it is out of the…
From Low-Level Pointers to High-Level Containers
Kamil Dudka, Lukáš Holík, Petr Peringer +2
We propose a method that transforms a C program manipulating containers using low-level pointer statements into an equivalent program where the containers are manipulated via calls…
Nested Antichains for WS1S
Tomas Fiedor, Lukas Holik, Ondrej Lengal +1
We propose a novel approach for coping with alternating quantification as the main source of nonelementary complexity of deciding WS1S formulae. Our approach is applicable within t…