Formal Methods for GPGPU Programming: Is the Demand Met?

von Haak, Lars B. van den
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Accelerating Nested Data Parallelism: Preserving Regularity

von Haak, Lars B. van den
Veröffentlicht in Euro-Par (26. : 2020 : Warschau; Online) Euro-Par 2020: parallel processing (2020)