Languages

Biblio

Filters: Author is Xinyu Jiang  [Clear All Filters]
2011
Wang W, Shao Z, Jiang X, Guo Y.  2011.  A Simple Model for Certifying Assembly Programs with First-class Function Pointers. 5th IEEE International Symposium on Theoretical Aspects of Software Engineering.
2009
Jiang X, Guo Y, Chen Y.  2009.  The Logical Approach to Low-level Stack Reasoning. 3th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE'09).  Download: tase-ieee.pdf (109.46 KB)
2007
Guo Y, Jiang X, Chen Y, Lin C.  2007.  A Certified Thread Library for Multithreaded User Programs. Proceedings of 1st IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007). :127-136. Download: guo07tase.pdf (319.29 KB)