Ziqing Luo
Cited by
Cited by
CIVL: the concurrency intermediate verification language
SF Siegel, M Zheng, Z Luo, TK Zirkel, AV Marianiello, JG Edenhofner, ...
SC'15: Proceedings of the International Conference for High Performance …, 2015
CIVL: formal verification of parallel programs
M Zheng, MS Rogers, Z Luo, MB Dwyer, SF Siegel
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
Verification of MPI programs using CIVL
Z Luo, M Zheng, SF Siegel
Proceedings of the 24th European MPI Users' Group Meeting, 1-11, 2017
CIVL: applying a general concurrency verification framework to C/Pthreads programs (competition contribution)
M Zheng, JG Edenhofner, Z Luo, MJ Gerrard, MS Rogers, MB Dwyer, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
Towards deductive verification of message-passing parallel programs
Z Luo, SF Siegel
2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC …, 2018
Towards self-verification in finite difference code generation
J Hückelheim, Z Luo, F Luporini, N Kukreja, M Lange, G Gorman, S Siegel, ...
Proceedings of the First International Workshop on Software Correctness for …, 2017
Symbolic execution and deductive verification approaches to VerifyThis 2017 challenges
Z Luo, SF Siegel
International Symposium on Leveraging Applications of Formal Methods, 160-178, 2018
Verifying Properties of Differentiable Programs
J Hückelheim, Z Luo, SHK Narayanan, S Siegel, PD Hovland
International Static Analysis Symposium, 205-222, 2018
Contracts for message-passing programs
Z Luo
University of Delaware, 2020
The system can't perform the operation now. Try again later.
Articles 1–9