44 citations · 218 across the 42 of their papers we have counts for
1 paper · 1 filter
Aws Albarghouthi, Josh Berdine, Byron Cook +1
We propose Splinter, a new technique for proving properties of heap-manipulating programs that marries (1) a new separation logic-based analysis for heap reasoning with (2) an inte…