research
∙
07/12/2023
Sound One-Phase Shape Analysis with Biabduction
Biabduction-based shape analysis is a static analysis technique that can...
share
research
∙
07/26/2022
Perun: Performance Version System
In this paper, we present Perun: an open-source tool suite for profiling...
research
∙
05/05/2022
