Dennis Liew Zhen Rong

According to our database, Dennis Liew Zhen Rong authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Memory access protocols: certified data-race freedom for GPU kernels.

Tiago Cogumbreiro, Julien Lange, Dennis Liew, Hannah Zicarelli

Formal Methods Syst. Des., October, 2024

Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs.

Dennis Liew, Tiago Cogumbreiro, Julien Lange

Proc. ACM Program. Lang., 2024

2022

Provable GPU Data-Races in Static Race Detection.

Dennis Liew, Tiago Cogumbreiro, Julien Lange

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

2021

Checking Data-Race Freedom of GPU Kernels, Compositionally.

Tiago Cogumbreiro, Julien Lange, Dennis Liew Zhen Rong, Hannah Zicarelli

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021