2 citations · 5 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018★ 1 cited
Exploiting Pointer Analysis in Memory Models for Deductive Verification
Bouillaguet Quentin, Bobot François, Sighireanu Mihaela +1
Cooperation between verification methods is crucial to tackle the challenging problem of software verification. The paper focuses on the verification of C programs using pointers a…
cs.PL2016★ 2 cited
Hierarchical Shape Abstraction for Analysis of Free-List Memory Allocators
Bin Fang, Mihaela Sighireanu
We propose a hierarchical abstract domain for the analysis of free-list memory allocators that tracks shape and numerical properties about both the heap and the free lists. Our dom…