Cited By
View all- Ye FZhao JSarkar V(2018)Detecting MPI usage anomalies via partial program symbolic executionProceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis10.5555/3291656.3291740(1-5)Online publication date: 11-Nov-2018
- Ye FZhao JSarkar V(2018)Detecting MPI usage anomalies via partial program symbolic executionProceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis10.1109/SC.2018.00066(1-5)Online publication date: 11-Nov-2018
- Gupta AKahlon VQadeer STouili T(2018)Model Checking Concurrent ProgramsHandbook of Model Checking10.1007/978-3-319-10575-8_18(573-611)Online publication date: 19-May-2018
- Show More Cited By