Welcome...

M. Safari MSc (Mohsen)

Expertise

Engineering & Materials Science
Compaction
Formal Verification
Graphics Processing Unit
Parallel Algorithms
Mathematics
Compaction
Correctness
Formal Verification
Parallel Algorithms

Publications

Recent
Şakar, Ö. , Safari, M. , Huisman, M., & Wijs, A. (2022). Alpinist: An Annotation-Aware GPU Program Optimizer. In D. Fisman, & G. Rosu (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II (pp. 332–352). (Lecture Notes in Computer Science; Vol. 13244). Springer. https://doi.org/10.1007/978-3-030-99527-0_18
Safari, M. , Oortwijn, W. , & Huisman, M. (2021). Automated Verification of the Parallel Bellman–Ford Algorithm. In C. Drăgoi, S. Mukherjee, & K. Namjoshi (Eds.), Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (pp. 346-358). (Lecture Notes in Computer Science; Vol. 12913). Springer. https://doi.org/10.1007/978-3-030-88806-0_17
Blom, S. , Darabi, S. , Huisman, M. , & Safari, M. (2021). Correct program parallelisations. International journal on software tools for technology transfer, 23(5), 741-763. https://doi.org/10.1007/s10009-020-00601-z
Safari, M. , Oortwijn, W. , Joosten, S. J. C. , & Huisman, M. (2020). Formal Verification of Parallel Prefix Sum. In R. Lee, S. Jha, & A. Mavridou (Eds.), NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings (pp. 170-186). (Lecture Notes in Computer Science; Vol. 12229). Springer. https://doi.org/10.1007/978-3-030-55754-6_10
Safari, M. , & Huisman, M. (2020). A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. In B. Dongol, & E. Troubitsyna (Eds.), Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (pp. 257-275). (Lecture Notes in Computer Science; Vol. 12546). Springer. https://doi.org/10.1007/978-3-030-63461-2_14
Safari, M. , & Huisman, M. (2020). Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. In V. K. I. Pun, V. Stolz, & A. Simão (Eds.), Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings (pp. 181-199). (Lecture Notes in Computer Science; Vol. 12545). Springer. https://doi.org/10.1007/978-3-030-64276-1_10
Huisman, M. , Blom, S. , Darabi, S. , & Safari, M. (2018). Program Correctness by Transformation. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (pp. 365-380). (Lecture Notes in Computer Science; Vol. 11244). Springer. https://doi.org/10.1007/978-3-030-03418-4_22
Joosten, S. J. C. , Oortwijn, W. , Safari, M. , & Huisman, M. (2018). An Exercise in Verifying Sequential Programs with VerCors. In ISSTA '18: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops https://doi.org/10.1145/3236454.3236479

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands