Mohsen Safari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2018–2022
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TACAS | Alpinist: An Annotation-Aware GPU Program Optimizer. | mer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs |
| 2021 | SAS | Automated Verification of the Parallel Bellman-Ford Algorithm. | Mohsen Safari, Wytse Oortwijn, Marieke Huisman |
| 2020 | ICTAC | Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. | Mohsen Safari, Marieke Huisman |
| 2020 | IFM | A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. | Mohsen Safari, Marieke Huisman |
| 2018 | ISoLA | Program Correctness by Transformation. | Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari |
| 2018 | ISSTA | An exercise in verifying sequential programs with VerCors. | Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman |