Filters: Author is Yong Li  [Clear All Filters]
Zhang Z, Feng X, Fu M, Shao Z, Li Y.  2012.  A Structural Approach to Prophecy Variables. 9th annual conference on Theory and Applications of Models of Computation.
Fu M, Zhang Y, Li Y.  2010.  Formal verification of concurrent programs with read-write locks. Frontiers of Computer Science in China. 4(1):13. Download: paper.pdf (317.3 KB); ccprwl_impl.rar (44.96 KB)
Li Y, Zhang Y, Chen Y, Fu M.  2009.  Formal reasoning about lazy-STM programs. submitted to Journal of Computer Science and Technology.  Download: Formal reasoning about lazy-STM programs.pdf (246.32 KB); coq-impl.rar (54.34 KB)
Fu M, Zhang Y, Li Y.  2009.  Formal reasoning about concurrent assembly code with reentrant locks. 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE 2009).  Download: tase2009.pdf (89.95 KB); impl.rar (50.53 KB)
Li Y, Zhang Y, Chen Y, Fu M.  2009.  On the verification of strong atomicity of programs using STM. 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement(SSIRI2009).  Download: SSIRI2009.pdf (269 KB); coq-impl.rar (54.34 KB)
Li L, Zhang Y, Chen Y, Li Y.  2009.  Certifying concurrent programs using transactional memory. Journal of Computer Science and Technology. 24:121. Download: jcst0901.pdf (467.14 KB); impl.rar (75.93 KB)