Ş, Ömer ; Safari, Mohsen; Huisman, Marieke; Wijs, Anton

Alpinist: An Annotation-Aware GPU Program Optimizer Inproceedings

Fisman, Dana; Rosu, Grigore (Ed.): Tools and Algorithms for the Construction and Analysis of Systems, pp. 332–352, Springer International Publishing, Cham, 2022, ISBN: 978-3-030-99527-0.

Abstract | Links | BibTeX

Martens, Jan; Jan Friso, ; Lars B.van den, ; Hijma, Pieter; Wijs, Anton

Linear parallel algorithms to compute strong and branching bisimilarity Journal Article

Software and Systems Modeling, 2022, ISSN: 1619-1366.

Abstract | Links | BibTeX


Martens, Jan; Groote, Jan Friso; van den Haak, Lars; Hijma, Pieter; Wijs, Anton

A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions Inproceedings

Salaün, Gwen; Wijs, Anton (Ed.): Formal Aspects of Component Software, pp. 115–133, Springer International Publishing, Cham, 2021, ISBN: 978-3-030-90636-8.

Abstract | Links | BibTeX


van den Haak, Lars B; Wijs, Anton; van den Brand, Mark; Huisman, Marieke

Formal methods for GPGPU programming: is the demand met? Inproceedings

Integrated Formal Methods, Springer International Publishing, 2020.

Abstract | Links | BibTeX

Huisman, Marieke; Wijs, Anton

Towards Verified Construction of Correct and Optimised GPU Software Inproceedings

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, pp. 10–14, Association for Computing Machinery, Virtual, USA, 2020, ISBN: 9781450381864.

Abstract | Links | BibTeX