| 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 | 66 | 2018 |
| Context-bounded analysis for POWER PA Abdulla, MF Atig, A Bouajjani, TP Ngo Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 40 | 2017 |
| 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 | 39 | 2015 |
| 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 | 31 | 2019 |
| 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 | 23 | 2016 |
| 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 | 22 | 2015 |
| A load-buffer semantics for total store ordering PA Abdulla, MF Atig, A Bouajjani, TP Ngo arXiv preprint arXiv:1701.08682, 2017 | 18 | 2017 |
| 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 | 7 | 2011 |
| 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 | 3 | 2010 |
| 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 | 1 | 2019 |
| Model Checking of Software Systems under Weak Memory Models TP Ngo Acta Universitatis Upsaliensis, 2019 | 1 | 2019 |
| 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 | 1 | 2018 |
| A Load-Buffer Semantics for Total Store Ordering TP Ngo, PA Abdulla, MF Atig, A Bouajjani Logical Methods in Computer Science, 2018 | 1 | 2018 |
| 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 1st Symposium on Information and Communication Technology …, 2010 | | 2010 |
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
