STAFF PROFILE
Dr. Phong Ngo
Position:
Lecturer, IT
College / Portfolio:
STEM College VN
School / Department:
VNM|School of Science,Engineering & Tech
Email:
phong.ngo@rmit.edu.vn
Campus:
Hanoi Campus
Contact me about:
Research supervision
- Abdulla, P.,Atig, M.,Jonsson, B.,Lang, M.,Ngo, P.,Sagonas, K. (2019). Optimal stateless model checking for reads-from equivalence under sequential consistency In: Proceedings of the ACM on Programming Languages, Phoenix, United States, 22/06/2019-26/06/2019
- Abdulla, P.,Atig, M.,Jonsson, B.,Ngo, P. (2018). Optimal stateless model checking under the release-acquire semantics In: Proceedings of the ACM on Programming Languages, Boston, United States, 4/11/2018-9/11/2018
- Abdulla, P.,Atig, M.,Bouajjani, A.,Ngo, P. (2018). A load-buffer semantics for total store ordering In: Logical Methods in Computer Science, 14, 1 - 46
- Abdulla, P.,Atig, M.,Bouajjani, A.,Ngo, P. (2017). Context-Bounded Analysis for POWER In: Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Uppsala, Sweden, 22/04/2017-29/04/2017
- Abdulla, P.,Atig, M.,Bouajjani, A.,Ngo, P. (2016). The Benefits of Duality in Verifying Concurrent Programs under TSO In: Proceedings of the 27th International Conference on Concurrency Theory, Quebec City, Canada, 23/08/2016-26/08/2016