Ngo Tuan Phong

According to our database, Ngo Tuan Phong authored at least 12 papers between 2010 and 2019.

Collaborative distances:

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

2019

Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas

Dataset, October, 2019

Optimal stateless model checking for reads-from equivalence under sequential consistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, Konstantinos Sagonas

Proc. ACM Program. Lang., 2019

Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial).

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo

Proceedings of the Networked Systems - 7th International Conference, 2019

2018

Optimal stateless model checking under the release-acquire semantics.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Tuan Phong Ngo

Proc. ACM Program. Lang., 2018

A Load-Buffer Semantics for Total Store Ordering.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Log. Methods Comput. Sci., 2018

Replacing Store Buffers by Load Buffers in TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017

Context-Bounded Analysis for POWER.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

The Benefits of Duality in Verifying Concurrent Programs under TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Precise and Sound Automatic Fence Insertion Procedure under PSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång, Tuan Phong Ngo

Proceedings of the Networked Systems - Third International Conference, 2015

The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong

Proceedings of the Programming Languages and Systems, 2015

2011

An Efficient Algorithm for Discovering Maximum Length Frequent Itemsets.

Tran Anh Tai, Ngo Tuan Phong, Nguyen Kim Anh

Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

2010

Generating qualified summarization answers using fuzzy concept hierarchies.

Ngo Tuan Phong, Nguyen Hong Phuong, Nguyen Kim Anh

Proceedings of the 2010 Symposium on Information and Communication Technology, 2010