Recent Technical Report

  1. Qiu Zongyan, Hong Ali, and Liu Yijing, Modular Verification of OO Programs with Interfaces (Technical Report). 2012.5. PDF
  2. Qiu Zongyan, Liu Yijing, and Long Quan, WP Semantics for OO Programs and Its Applications (Technical Report). 2012.2. PDF
  3. Liu Yijing and Qiu Zongyan, OO Separation Logic and Specification/Verification of OO Programs (Technical Report), 2011.10. PDF
  4. Lei Jinjiang and Qiu Zongyan, Verification of Lock-free Scalable Synchronous Queue (Technical Report). 2011.5. PDF
  5. Shu Qin, Qiu Zongyan, and Wang Shuling, A Confinement Framework for OO Programs (Technical Report). 2011.3. PDF
  6. Yijing Liu, Hong Ali, and Qiu Zongyan, Specification Predicates: Linking Abstract Specification to Implementation (Technical Report). 2011.3. PDF
  7. Yijing Liu and Qiu Zongyan, A Separation Logic for OO programs (Technical Report). 2010.7. PDF
  8. Qiu Zongyan, Wang Shuling and Quan Long, Sequential ¦ĚJava: Formal Foundations (Technical Report). 2007. PDF

Accessing Number: 77972015-11-28