| 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 | 88 | 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 | 41 | 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 | 22 | 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 | 10 | 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 | 6 | 2018 |
| 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 | 5 | 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 | 5 | 2017 |
| Symbolic execution and deductive verification approaches to VerifyThis 2017 challenges Z Luo, SF Siegel Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 4 | 2018 |
| 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 arXiv preprint arXiv:2305.18198, 2023 | 1 | 2023 |
| Contracts for message-passing programs Z Luo University of Delaware, 2020 | | 2020 |
Manchun ZhengPure Storage Inc.Potvrđena adresa e-pošte na purestorage.com
