Variables as Resource in Separation Logic Bằng Bornat, R, Calcagno, C, Yang, H

Computability and Complexity Results for a Spatial Assertion Language for Data Structures Bằng Calcagno, C, Yang, H, O'Hearn, P

Local Action and Abstract Separation Logic Bằng Calcagno, C, O'Hearn, P, Yang, H

Footprint Analysis: A Shape Analysis that Discovers Preconditions Bằng Calcagno, C, Distefano, D, O'Hearn, P, Yang, H

Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic Bằng Calcagno, C, Distefano, D, Yang, H, O'Hearn, P

SAW: the spatial assertion workbench Bằng Calcagno, C, Berdine, J, Yang, H, O'Hearn, P

Compositional Shape Analysis by means of Bi−abduction Bằng Calcagno, C, Distefano, D, O’Hearn, P, Yang, H

Compositional Shape Analysis by Means of Bi-Abduction Bằng Calcagno, C, Distefano, D, O'Hearn, P, Yang, H

Compositional Shape Analysis by means of Bi−abduction Bằng Calcagno, C, Distefano, D, O’Hearn, P, Yang, H

Shape Analysis for Composite Data Structures Bằng Berdine, J, Calcagno, C, Cook, B, Distefano, D, O'Hearn, P, Wies, T, Yang, H

Scalable shape analysis for systems code Bằng Yang, H, Lee, O, Berdine, J, Calcagno, C, Cook, B, Distefano, D, O'Hearn, P

Scalable Shape Analysis for Systems Code Bằng Yang, H, Lee, O, Berdine, J, Calcagno, C, Cook, B, Distefano, D, O'Hearn, P