Ngo Tuan Phong

Orcid: 0000-0003-4993-0092

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency.
Dataset, October, 2019

Optimal stateless model checking for reads-from equivalence under sequential consistency.
Proc. ACM Program. Lang., 2019

Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial).
Proceedings of the Networked Systems - 7th International Conference, 2019

2018
Optimal stateless model checking under the release-acquire semantics.
Proc. ACM Program. Lang., 2018

A Load-Buffer Semantics for Total Store Ordering.
Log. Methods Comput. Sci., 2018

Replacing Store Buffers by Load Buffers in TSO.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017
Context-Bounded Analysis for POWER.
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.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Precise and Sound Automatic Fence Insertion Procedure under PSO.
Proceedings of the Networked Systems - Third International Conference, 2015

The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO.
Proceedings of the Programming Languages and Systems, 2015

2011
An Efficient Algorithm for Discovering Maximum Length Frequent Itemsets.
Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

2010
Generating qualified summarization answers using fuzzy concept hierarchies.
Proceedings of the 2010 Symposium on Information and Communication Technology, 2010


  Loading...