Tuan Phong Ngo
Tuan Phong Ngo
PhD, Uppsala University
Verified email at hust.edu.vn - Homepage
Title
Cited by
Cited by
Year
Optimal stateless model checking under the release-acquire semantics
PA Abdulla, MF Atig, B Jonsson, TP Ngo
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
412018
The best of both worlds: Trading efficiency and optimality in fence insertion for TSO
PA Abdulla, MF Atig, TP Ngo
European Symposium on Programming Languages and Systems, 308-332, 2015
322015
Context-bounded analysis for POWER
PA Abdulla, MF Atig, A Bouajjani, TP Ngo
International Conference on Tools and Algorithms for the Construction and …, 2017
292017
The benefits of duality in verifying concurrent programs under TSO
PA Abdulla, MF Atig, A Bouajjani, TP Ngo
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
222016
Precise and sound automatic fence insertion procedure under PSO
PA Abdulla, MF Atig, M Lång, TP Ngo
International Conference on Networked Systems, 32-47, 2015
162015
A Load-Buffer Semantics for Total Store Ordering
TP Ngo, PA Abdulla, MF Atig, A Bouajjani
Logical Methods in Computer Science, 2018
13*2018
Optimal stateless model checking for reads-from equivalence under sequential consistency
PA Abdulla, MF Atig, B Jonsson, M Lång, TP Ngo, K Sagonas
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
112019
An efficient algorithm for discovering maximum length frequent itemsets
TA Tai, NT Phong, NK Anh
2011 Third International Conference on Knowledge and Systems Engineering, 62-69, 2011
62011
Rule-based attribute-oriented induction for knowledge discovery
ND Thanh, NT Phong, NK Anh
2010 Second International Conference on Knowledge and Systems Engineering, 55-62, 2010
32010
Model Checking of Software Systems under Weak Memory Models
TP Ngo
Acta Universitatis Upsaliensis, 2019
12019
Replacing store buffers by load buffers in TSO
PA Abdulla, MF Atig, A Bouajjani, TP Ngo
International Conference on Verification and Evaluation of Computer and …, 2018
12018
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial)
PA Abdulla, MF Atig, B Jonsson, TP Ngo
International Conference on Networked Systems, 3-18, 2019
2019
Replacing Store Buffers by Load Buffers in TSO
TP Ngo
Verification and Evaluation of Computer and Communication Systems: 12th …, 2018
2018
Optimal Stateless Model Checking under the Release-Acquire Semantics
TP Ngo, P Abdulla, B Jonsson, MF Atig
SPLASH OOPSLA 2018, 2018
2018
Ensuring The Correctness of Concurrent Programs under TSO Memory Models
TP Ngo
2013
Generating qualified summarization answers using fuzzy concept hierarchies
NT Phong, NH Phuong, NK Anh
Proceedings of the 2010 Symposium on Information and Communication …, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–16