Detecting Parallelism in C Programs with Recursive Data Structures الأبحاث والدراسات العلمية (ملفات PDF)
Inference and Enforcement of Data Structure Consistency Specifications الأبحاث والدراسات العلمية (ملفات PDF)