Følg
Ziqing Luo
Ziqing Luo
Bekræftet mail på udel.edu
Titel
Citeret af
Citeret af
År
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
832015
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
362015
Verification of MPI programs using CIVL
Z Luo, M Zheng, SF Siegel
Proceedings of the 24th European MPI Users' Group Meeting, 1-11, 2017
202017
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
102016
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
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
International Symposium on Leveraging Applications of Formal Methods, 160-178, 2018
42018
Verifying Properties of Differentiable Programs
J Hückelheim, Z Luo, SHK Narayanan, S Siegel, PD Hovland
International Static Analysis Symposium, 205-222, 2018
32018
Contracts for Message-Passing Programs
Z Luo, SF Siegel
University of Delaware, 2020
2020
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–9