Mohsen Safari

According to our database, Mohsen Safari authored at least 15 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Preserving provability over GPU program optimizations with annotation-aware transformations.

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Formal Methods Syst. Des., December, 2025

FPGA Innovation Research in the Netherlands: Present Landscape and Future Outlook.

Nikolaos Alachiotis, Sjoerd van den Belt, Steven van der Vlugt, Reinier van der Walle, Mohsen Safari, Bruno Endres Forlin, Tiziano De Matteis, Zaid Al-Ars, Roel Jordans, António J. Sousa de Almeida, Federico Corradi, Christiaan Baaij, Ana Lucia Varbanescu

CoRR, February, 2025

2023

A comparative and coupled study of the application of Dempster-Shafer, fuzzy overlay and FAHP methods for groundwater potential mapping in a fractured medium of a mine site.

Mohsen Safari, Faramarz Doulati Ardejani, Soroush Maghsoudy

Earth Sci. Informatics, June, 2023

2022

Formal verification of parallel prefix sum and stream compaction algorithms in CUDA.

Mohsen Safari, Marieke Huisman

Theor. Comput. Sci., 2022

Alpinist: An Annotation-Aware GPU Program Optimizer.

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer).

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Dataset, November, 2021

Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer).

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Dataset, November, 2021

Correct program parallelisations.

Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari

Int. J. Softw. Tools Technol. Transf., 2021

Automated Verification of the Parallel Bellman-Ford Algorithm.

Mohsen Safari, Wytse Oortwijn, Marieke Huisman

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

Formal Verification of Parallel Prefix Sum.

Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms.

Mohsen Safari, Marieke Huisman

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms.

Mohsen Safari, Marieke Huisman

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2018

An exercise in verifying sequential programs with VerCors.

Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Program Correctness by Transformation.

Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

Locality-Based Relaxation: An Efficient Method for GPU-Based Computation of Shortest Paths.

Mohsen Safari, Ali Ebnenasir

Proceedings of the Topics in Theoretical Computer Science, 2017