In Lee, R., Jha, S., & Mavridou, A., editors, *NASA Formal Methods*, pages 170–186, Cham, 2020. Springer International Publishing.

Paper abstract bibtex

Paper abstract bibtex

With the advent of dedicated hardware for multicore programming, parallel algorithms have become omnipresent. For example, various algorithms have been proposed for the parallel computation of a prefix sum in the literature. As the prefix sum is a basic building block for many other multicore algorithms, such as sorting, its correctness is of utmost importance. This means, the algorithm should be functionally correct, and the implementation should be thread and memory safe.

@InProceedings{10.1007/978-3-030-55754-6_10, author="Safari, Mohsen and Oortwijn, Wytse and Joosten, Sebastiaan and Huisman, Marieke", editor="Lee, Ritchie and Jha, Susmit and Mavridou, Anastasia", title="Formal Verification of Parallel Prefix Sum", booktitle="NASA Formal Methods", year="2020", publisher="Springer International Publishing", address="Cham", pages="170--186", abstract="With the advent of dedicated hardware for multicore programming, parallel algorithms have become omnipresent. For example, various algorithms have been proposed for the parallel computation of a prefix sum in the literature. As the prefix sum is a basic building block for many other multicore algorithms, such as sorting, its correctness is of utmost importance. This means, the algorithm should be functionally correct, and the implementation should be thread and memory safe.", isbn="978-3-030-55754-6", url="https://doi.org/10.1007/978-3-030-55754-6_10" }

Downloads: 0