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.

Multicore Programming

On Concurrency Verification

1. Hongjin Liang, Xinyu Feng, and Ming Fu. A Rely-Guarantee-Based Simulation for Verifying Concurrent Program Transformations ( TR ). In Proc. 39th ACM Symposium on Principles of Programming Languages (POPL'12), Philadelphia, Pennsylvania, pages (to appear), January 2012. 2012 ACM.



2. Yanni Kouskoulas, Ming Fu, Zhong Shao, and Peter Kazanzides. Certifying the Concurrent State Table Implementation in a Surgical Robotic System, in 3rd Joint Workshop On High Confidence Medical Devices, Software, and Systems & Medical Device Plug-and-Play Interoperability (HCMDSS/MDPnP 2011).



3. 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.



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



5. 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.



6. 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.



7. 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.