Yong Li
Contact Information
Office: Qinmin Building, Room 203
Phone: (0512) 87161325
Email: liyong@mail.ustc.edu.cn
Address:
- Suzhou Institution for Advanced Study
- University of Science and Technology of China
- Renai Road 166#
- Suzhou 215123
Research Interests
- Programming Languages and Type Systems
- Concurrent Program Verification
- Formal Methods
Publications
- On the verification of strong atomicity of programs using STM
Yong Li, Yu Zhang, Yiyun Chen and Ming Fu
3rd IEEE International Conference on Secure Software Intergration and Reliability Improvement
- Formal reasoning about concurrent assembly code with reentrant locks
Ming Fu, Yu Zhang and Yong Li
3rd IEEE International Symposium on Theoretical Aspects of Software Engineering
- Certifying concurrent programs using transactional memory
Long Li, Yu Zhang, Yiyun Chen and Yong Li
Journal of Computer Science and Technology. 24:121, 2009.