Ming Fu

I'm interested in Parallel programming language design and implementation, Transactional memory, Concurrency verification, Program logics for reasoning about concurrent programs, language-based security, certifying and certified compiler, and proof-carrying code.

On Concurrency Verification

1. Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, and Yu Zhang. Reasoning about optimistic concurrency using a program logic for history, Proc. of 21st International Conference on Concurrency Theory (CONCUR'10), Paris, France, August 2010. Lecture Notes in Computer Science Vol.6269, pages 388-402, 2010 Springer-Verlag.



2. Yong Li, Yu Zhang, Yiyun Chen, Ming Fu. Formal reasoning about lazy-STM programs. accepted by Journal of Computer Science and Technology, Apr. 2010.



3. Ming Fu, Yu Zhang, Yong Li. Formal verification of concurrent programs with read-write locks. Frontiers of Computer Science in China, 4(1): 65-77, Jan.2010. DOI: 10.1007/s11704-009-0067-6.



4. Ming Fu, Yu Zhang, Yong Li. Formal reasoning about concurrent assembly code with reentrant locks. 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE 2009), July 29-31, 2009, Tianjin, China. IEEE Computer Society Order Number P3757: 233-240.



5. Yong Li, Yu Zhang, Yiyun Chen, Ming Fu. On the verification of strong atomicity of programs using STM. 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement(SSIRI2009), July 8-10, 2009, Shanghai, China. IEEE Computer Society Order Number P3758: 117-125.

On XML Query Optimization

1. Ming Fu, Yu Zhang. Homomorphism Resolving of XPath Trees Based on Automata. In Proceedings of APWeb/WAIM 2007, Huang Shan, China, June 16~18, LNCS 4505:821-828, 2007.

Also see my CV for a complete list.