Formal verification of parallel prefix sum M Safari, W Oortwijn, S Joosten, M Huisman NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020 | 20 | 2020 |
Correct program parallelisations S Blom, S Darabi, M Huisman, M Safari International Journal on Software Tools for Technology Transfer 23, 741-763, 2021 | 12 | 2021 |
A generic approach to the verification of the permutation property of sequential and parallel swap-based sorting algorithms M Safari, M Huisman Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020 | 11 | 2020 |
An exercise in verifying sequential programs with VerCors SJC Joosten, W Oortwijn, M Safari, M Huisman Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 40-45, 2018 | 9 | 2018 |
Formal verification of parallel stream compaction and summed-area table algorithms M Safari, M Huisman Theoretical Aspects of Computing–ICTAC 2020: 17th International Colloquium …, 2020 | 7 | 2020 |
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA M Safari, M Huisman Theoretical Computer Science 912, 81-98, 2022 | 6 | 2022 |
Program correctness by transformation M Huisman, S Blom, S Darabi, M Safari Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 5 | 2018 |
Alpinist: An Annotation-Aware GPU Program Optimizer Ö Şakar, M Safari, M Huisman, A Wijs International Conference on Tools and Algorithms for the Construction and …, 2022 | 4 | 2022 |
Automated verification of the parallel Bellman–Ford algorithm M Safari, W Oortwijn, M Huisman Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021 | 4 | 2021 |
Locality-based relaxation: an efficient method for GPU-based computation of shortest paths M Safari, A Ebnenasir Topics in Theoretical Computer Science: Second IFIP WG 1.8 International …, 2017 | 1 | 2017 |
Alpinist: an Annotation-Aware GPU Program O Sakar, M Safari, M Huisman, A Wijs Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022 | | 2022 |
Correct Optimized GPU Programs M Safari | | 2022 |