DENNIS LIEW, LIEW ZHEN RONG, 刘 振 荣

Hello! I am currently pursuing a Computer Science PhD at UMass Boston. I'm interested in researching ways to help verify the correctness of programs.

Publications Education About me More stuff

PUBLICATIONS

  • Provable GPU Data-Races in Static Race Detection.

    Dennis Liew, Tiago Cogumbreiro, Julien Lange. In PLACES, 2022.

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

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

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

About me

Research Lab

Part of UMass Boston's Software Verification Lab. "We make your programs run right"

Repositories

Projects can be found on my GitLab and GitHub pages.

Research Interests

Proofs formalization and various methods to improve upon software correctness.

MORE STUFF


Coming soon...