Tuan Phong Ngo

Registered user since Tue 30 Dec 2014

Name: Tuan Phong Ngo

Bio: I am a software engineer at IAR Systems where I have been developing a symbolic model checker for UML models. Before, I was a Ph.D. student in Software Verification at Uppsala University, Sweden. My supervisors are Dr Mohamed Faouzi Atig, Pr Parosh Aziz Abdulla, and Dr Philipp Rümmer. I was also a member of the Algorithmic Program Verification group and UPMARC center, Uppsala University.

Country: Sweden

Affiliation: Uppsala University, Sweden

Personal website: https://phongngo.github.io/

Research interests: Software model checking, Sofware verification, concurrent programs, weak memory models

Contributions

SPLASH 2019Author of Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency within the OOPSLA Artifacts-track
Author of Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency within the OOPSLA-track
SPLASH 2018Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the OOPSLA-track
Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the Artifacts-track
ESOP 2015Author of The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO within the ESOP-track