2005.11

,

Data Refinement with Low-level Pointer Operations

2005.06

,

Semantics of Separation-logic Typing and Higher-order Frame Rules

2005.04

,

Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis

2003.06

,

Inserting Safe Memory Re-use Commands into ML-like Programs

2003.04

,

Correctness of Data Representations involving Heap Data Structures