Follow
Tuan Phong Ngo
Tuan Phong Ngo
Lecturer at RMIT University in Vietnam
Verified email at rmit.edu.vn
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
822018
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
462019
The best of both worlds: Trading efficiency and optimality in fence insertion for TSO
PA Abdulla, MF Atig, TP Ngo
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
432015
Context-bounded analysis for POWER
PA Abdulla, MF Atig, A Bouajjani, TP Ngo
International Conference on Tools and Algorithms for the Construction and …, 2017
422017
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
272016
A Load-Buffer Semantics for Total Store Ordering
TP Ngo, PA Abdulla, MF Atig, A Bouajjani
Logical Methods in Computer Science, 2018
25*2018
Precise and sound automatic fence insertion procedure under PSO
PA Abdulla, MF Atig, M Lång, TP Ngo
Networked Systems: Third International Conference, NETYS 2015, Agadir …, 2015
222015
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
Dynamic partial order reduction under the release-acquire semantics (tutorial)
PA Abdulla, MF Atig, B Jonsson, TP Ngo
Networked Systems: 7th International Conference, NETYS 2019, Marrakech …, 2019
42019
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
Verification and Evaluation of Computer and Communication Systems: 12th …, 2018
12018
Replacing Store Buffers by Load Buffers in TSO
TP Ngo
Verification and Evaluation of Computer and Communication Systems: 12th …, 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 1st Symposium on Information and Communication Technology …, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–15