Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. Safari, M. & Huisman, M. Theoretical Computer Science, 912:81-98, 2022.
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA [link]Paper  doi  bibtex   
@article{Safari2022,
title = {Formal verification of parallel prefix sum and stream compaction algorithms in CUDA},
journal = {Theoretical Computer Science},
volume = {912},
pages = {81-98},
year = {2022},
issn = {0304-3975},
doi = {https://doi.org/10.1016/j.tcs.2022.02.027},
url = {https://www.sciencedirect.com/science/article/pii/S0304397522001232},
author = {Mohsen Safari and Marieke Huisman},
keywords = {GPU verification, CUDA, Deductive verification, Separation logic, Prefix sum, Stream compaction}
}

Downloads: 0