@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}
}

{"_id":"pmGE5KB7ANHqw4t5F","bibbaseid":"safari-huisman-formalverificationofparallelprefixsumandstreamcompactionalgorithmsincuda-2022","author_short":["Safari, M.","Huisman, M."],"bibdata":{"bibtype":"article","type":"article","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":[{"firstnames":["Mohsen"],"propositions":[],"lastnames":["Safari"],"suffixes":[]},{"firstnames":["Marieke"],"propositions":[],"lastnames":["Huisman"],"suffixes":[]}],"keywords":"GPU verification, CUDA, Deductive verification, Separation logic, Prefix sum, Stream compaction","bibtex":"@article{Safari2022,\ntitle = {Formal verification of parallel prefix sum and stream compaction algorithms in CUDA},\njournal = {Theoretical Computer Science},\nvolume = {912},\npages = {81-98},\nyear = {2022},\nissn = {0304-3975},\ndoi = {https://doi.org/10.1016/j.tcs.2022.02.027},\nurl = {https://www.sciencedirect.com/science/article/pii/S0304397522001232},\nauthor = {Mohsen Safari and Marieke Huisman},\nkeywords = {GPU verification, CUDA, Deductive verification, Separation logic, Prefix sum, Stream compaction}\n}\n\n","author_short":["Safari, M.","Huisman, M."],"key":"Safari2022","id":"Safari2022","bibbaseid":"safari-huisman-formalverificationofparallelprefixsumandstreamcompactionalgorithmsincuda-2022","role":"author","urls":{"Paper":"https://www.sciencedirect.com/science/article/pii/S0304397522001232"},"keyword":["GPU verification","CUDA","Deductive verification","Separation logic","Prefix sum","Stream compaction"],"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"article","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["2tJugFYAignELAmZo","cCvCnPTRQYq3qPe9y"],"keywords":["gpu verification","cuda","deductive verification","separation logic","prefix sum","stream compaction"],"search_terms":["formal","verification","parallel","prefix","sum","stream","compaction","algorithms","cuda","safari","huisman"],"title":"Formal verification of parallel prefix sum and stream compaction algorithms in CUDA","year":2022,"downloads":3}