According to our database1, Manchun Zheng authored at least 10 papers between 2011 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 24th European MPI Users' Group Meeting, 2017
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the International Conference for High Performance Computing, 2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Proceedings of the Verification, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Int. J. Softw. Tools Technol. Transf., 2012
Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011
Proceedings of the Formal Methods and Software Engineering, 2011