Junpeng Zha

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Process Algebra

Concurrent Programs

Top Venues

J. Comput. Sci. Technol.

Publications

Junpeng Zha, Hongjin Liang, Xinyu Feng
Verifying optimizations of concurrent programs in the promising semantics. PLDI (2022)
Junpeng Zha, Xin-Yu Feng, Lei Qiao
Modular Verification of SPARCv8 Code. J. Comput. Sci. Technol. 35 (6) (2020)
Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng
Towards certified separate compilation for concurrent programs. PLDI (2019)
Junpeng Zha, Xinyu Feng, Lei Qiao
Modular Verification of SPARCv8 Code. APLAS (2018)