Dennis Liew Zhen Rong, 刘 振 荣

I work in formal methods of software to prove program correctness and research novel techniques to help programmers validate reports from verification tools.


About me Education Resume Publications Contact

About me


I am from Malaysia, currently living in the United States. I'm currently in my 5th year of my Ph.D. in Computer Science at UMass Boston.


I research formal verification of software, proving the absence of bugs in parallel programs. I work on a static verification tool Faial, that verifies the absence of data-races in CUDA kernels. I use behavioral type systems to prove true alarms that plague most static analysis techniques.

Research Lab

Graduate Researcher at UMass Boston's Software Verification Lab. "We make your programs run right"

Repositories

Projects can be found on my GitLab and GitHub pages.

Topics

Formal Verification Methods. Programming Language Theory. Theorem Provers.

EDUCATION

Resume
PhD in Computer ScienceIN PROGRESS

University of Massachusetts Boston

Bachelor of Science in Computer Science2019

University of Massachusetts Boston

Business Foundation2012

Bellerbys College Brighton

PUBLICATIONS

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

    Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2024.

    Dennis Liew, Tiago Cogumbreiro, Julien Lange.

  • Memory Access Protocols: Certified Data-Race Freedom for GPU Kernels.

    Formal Methods in System Design (FMSD), 2023. invited paper (CAV'21 special issue).

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

  • Provable GPU Data-Races in Static Race Detection.

    Programming Language Approaches to Concurrency & Communication-cEntric Software (PLACES), 2022.

    Dennis Liew, Tiago Cogumbreiro, Julien Lange.

  • Checking Data-Race Freedom of GPU Kernels, Compositionally.

    International Conference on Computer-Aided Verification (CAV), 2021. 1 of 8 top papers invited for FMSD'23

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

Contact