Tuan Phong Ngo

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 10

Top Topics

Formal Specification

Temporal Properties

Partial Order Reduction

Top Venues

Proc. ACM Program. Lang.

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas
Optimal stateless model checking for reads-from equivalence under sequential consistency. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial). NETYS (2019)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
Optimal stateless model checking under the release-acquire semantics. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
A Load-Buffer Semantics for Total Store Ordering. Log. Methods Comput. Sci. 14 (1) (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
Replacing Store Buffers by Load Buffers in TSO. VECoS (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo
Optimal Stateless Model Checking under the Release-Acquire Semantics. CoRR (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
Context-Bounded Analysis for POWER. CoRR (2017)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
The Benefits of Duality in Verifying Concurrent Programs under TSO. CoRR (2017)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
Context-Bounded Analysis for POWER. TACAS (2) (2017)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
The Benefits of Duality in Verifying Concurrent Programs under TSO. CONCUR (2016)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång, Tuan Phong Ngo
Precise and Sound Automatic Fence Insertion Procedure under PSO. NETYS (2015)