Expertises
Engineering & Materials Science
# Compaction
# Formal Verification
# Graphics Processing Unit
# Parallel Algorithms
Mathematics
# Compaction
# Correctness
# Formal Verification
# Parallel Algorithms
Publicaties
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.
, & Huisman, M. (2022).
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA.
Theoretical computer science,
912, 81-98.
https://doi.org/10.1016/j.tcs.2022.02.027
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
Contactgegevens
Bezoekadres
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
Postadres
Universiteit Twente
Postbus 217
7500 AE Enschede