Follow
Ziqing Luo
Title
Cited by
Cited by
Year
CIVL: the concurrency intermediate verification language
SF Siegel, M Zheng, Z Luo, TK Zirkel, AV Marianiello, JG Edenhofner, ...
Proceedings of the International Conference for High Performance Computing …, 2015
902015
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
432015
Verification of MPI programs using CIVL
Z Luo, M Zheng, SF Siegel
Proceedings of the 24th European MPI Users' Group Meeting, 1-11, 2017
262017
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
112016
Towards deductive verification of message-passing parallel programs
Z Luo, SF Siegel
2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC …, 2018
62018
Verifying properties of differentiable programs
J Hückelheim, Z Luo, SHK Narayanan, S Siegel, PD Hovland
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
62018
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
52017
Symbolic execution and deductive verification approaches to VerifyThis 2017 challenges
Z Luo, SF Siegel
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
42018
Model Checking Race-Freedom When “Sequential Consistency for Data-Race-Free Programs” is Guaranteed
W Wu, J Hückelheim, PD Hovland, Z Luo, SF Siegel
International Conference on Computer Aided Verification, 265-287, 2023
12023
Contracts for message-passing programs
Z Luo
University of Delaware, 2020
2020
CIVL
SF Siegel, M Zheng, Z Luo, TK Zirkel, AV Marianiello, JG Edenhofner, ...
Proceedings of the International Conference for High Performance Computing …, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–11