| 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 | 97 | 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 | 44 | 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 | 27 | 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 | 11 | 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 | 7 | 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 | 7 | 2018 |
| Symbolic execution and deductive verification approaches to VerifyThis 2017 challenges Z Luo, SF Siegel Leveraging Applications of Formal Methods, Verification and Validation …, 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 | 4 | 2017 |
| 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 | 1 | 2023 |
| Collective Contracts for Message-Passing Parallel Programs Z Luo, SF Siegel International Conference on Computer Aided Verification, 44-68, 2024 | | 2024 |
| 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 |
Manchun ZhengPure Storage Inc.Verified email at purestorage.com
