 | 2011 |
|---|
| 4 |       | Wei Wang,
Zhong Shao,
Xinyu Jiang,
Yu Guo:
A Simple Model for Certifying Assembly Programs with First-Class Function Pointers.
TASE 2011: 125-132 |
| 2010 |
|---|
| 3 | | Yu Guo,
Xinyu Jiang,
Yiyun Chen:
Certification of Thread Context Switching.
J. Comput. Sci. Technol. 25(4): 827-840 (2010) |
| 2009 |
|---|
| 2 | | Xinyu Jiang,
Yu Guo,
Yiyun Chen:
The Logical Approach to Low-Level Stack Reasoning.
TASE 2009: 209-216 |
| 2007 |
|---|
| 1 | | Yu Guo,
Xinyu Jiang,
Yiyun Chen,
Chunxiao Lin:
A Certified Thread Library for Multithreaded User Programs.
TASE 2007: 117-126 |
Data released under the ODC-BY 1.0 license — See also our legal information page