Related Papers
星期六, 06/13/2009 - 20:11 — mfu
Papers
- Long Li, Yu Zhang, Yiyun Chen, Yong Li. Certifying Concurrent Programs Using Transactional Memory. Journal of Computer Science and Technology, 24(1):110-121, Jan.2009.
Drafts
- Yong Li,Yu Zhang, Yiyun Chen, Ming Fu. Formal Reasoning about Concurrent Programs Using a Lazy-STM System. Oct.2008.
- Ming Fu, Yu Zhang, Yong Li. Formal Verification of Concurrent Programs with Read-Write Locks. Oct.2008. Revised: Mar.2009
- Yong Li,Yu Zhang, Yiyun Chen, Ming Fu. On the Verification of Strong Atomicity of Programs Using STM. to appear in SSIRI 2009
- Ming Fu, Yu Zhang, Yong Li. Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.to appear in TASE 2009.