E-mail: jpzha@smail.nju.edu.cn
I received my Ph.D. degree from Nanjing University. My research interests are in the area of formal methods, programming language and building high-confident software. Building high-confident software has been focused by all over the world, because of the widely use of computer system. And formal verification is based on rigorous mathematical theories and methods and can provide a strong guarantee for the correctness of software. Here is my CV.
2019-2022, Ph.D. Degree, Computer Science, Nanjing University
2016-2019, Master's Degree, Computer Science, University of Science and Technology of China
2012-2016, Bachelor's Degree, Software Engineering, Shandong University at Weihai
Junpeng Zha, Hongjin Liang, and Xinyu Feng.
Verifying Optimizations of Concurrent Programs in the Promising Semantics. (project page)
In Proc. 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'22), San Diego, California, USA, pages 903-917, June 2022.
Junpeng Zha, Xinyu Feng, and Lei Qiao.
Modular Verification of SPARCv8 Code. (copy)
Journal of Computer Science and Technology (Special Section on Software System 2020), Nov 2020, 35(6): 1382-1405.
Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng.
Towards Certified Separate Compilation for Concurrent Programs. (project page)
In Proc. 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'19), Phoenix, Arizona, USA, June 2019. (one of six 2019 PLDI distinguished paper)
Junpeng Zha, Xinyu Feng, and Lei Qiao.
Modular Verification of SPARCv8 Code. (copy) (more informations about SPARCv8)
16th Asian Symposium on Programming Languages and Systems (APLAS'18), Wellington, New Zealand, pages 245-263, December 2018.