1. VSLIM: A Vietnamese Explicit Slot-Intent Mapping for Joint Multi-Intent Detection and Slot FillingACIIDS (Kaohsiung, Taiwan) (2026)Paper
2. SBV-LawGraph: A Hybrid RAG Approach Integrating Knowledge Graph for the State Bank of Vietnam Legal DocumentsACIIDS (Oral, top 20%) (Kaohsiung, Taiwan) (2026)Paper
3. Reinforcement Learning with LTL and Omega-Regular Objectives via Optimality-Preserving Translation to Average RewardsNeurIPS (Vancouver, Canada) (A* conference in AI) (2024)Paper
4. A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separation LogicPOPL (Philadelphia, USA) (A* conference in Programming Languages) (2022)Paper
5. Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee SpecificationsICECCS (Singapore) (2021)Paper
6. Monadic Decomposability of Regular Relations ICALP (Patras, Greece) (A conference in Theoretical Computer Science) (2019)Paper
8. Logical Reasoning for Disjoint PermissionsESOP (Thessaloniki, Greece) (A conference in Programming Languages) (2018)Paper
