Publications
2019
- Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas. OOPSLA’19. PDF Github Supplement
2018
- Optimal Stateless Model Checking under the Release-Acquire Semantics. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, and Tuan Phong Ngo. OOPSLA’18. PDF Slides Video Github Supplement
- A Load-Buffer Semantics for Total Store Ordering. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo LMCS’18. PDF
- Replacing Store Buffers by Load Buffers in TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo VECoS’18. PDF
2017
- Context-Bounded Analysis for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. TACAS’17. PDF Slides
2016
- The Benefits of Duality in Verifying Concurrent Programs under TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. CONCUR’16. PDF Slides Github Supplement
2015
- Precise and Sound Automatic Fence Insertion Procedure under PSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Magnus Lång, and Tuan Phong Ngo. NETYS’15. PDF Slides Github Supplement
- The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Tuan Phong Ngo. ESOP’15. PDF Slides Github Supplement
2011
- An Efficient Algorithm for Discovering Maximum Length Frequent Itemsets. Tran Anh Tai, Tuan Phong Ngo, and Nguyen Kim Anh. KSE’11. PDF
2010
- Rule-based Attribute-oriented Induction for Knowledge Discovery. Nguyen Duc Thanh, Tuan Phong Ngo, and Nguyen Kim Anh. KSE’10. PDF
- Generating Qualified Summarization Answers using Fuzzy Concept Hierarchies. Tuan Phong Ngo, Nguyen Hong Phuong, and Nguyen Kim Anh. SoICT’10. PDF