Member

Xuan-Bach Le

Lab Head

Email: lexuanbach@hcmut.edu.vn

Phone: (+84) 88 683 7321

Office: A3

Google Scholar ORCID Website

Research interests in AI, software engineering, and formal methods.

Research Output

Selected Publications

1. GraphMemShield: Auditing Cross-Session Leakage in Graph Memories

CIKM (Full Research Track, CORE Rank A, Acceptance Rate: 597/2216, 27%) (2026)

2. Test-Time Spectral Adaptation for Image-to-Image Multispectral Retrieval

ACIVS (2026)

Paper

3. Latent-Space Prediction Error and Fuzzy Risk-Scaled Recovery for Robotic Manipulation

ACIVS (2026)

Paper

4. Swin-AQI: Depth-Aware Vision Transformer with Physics-Informed Learning for Particulate Matter Estimation from Ground Imagery

ACIVS (2026)

Paper

5. Distributional Program Analysis: Treating Large Language Models as Program Samplers

ASE 2026 (NIER Track, CORE Rank A*, Acceptance Rate: 23/89, 25%) (2026)

Paper

6. GraphLedger: Repository-Level Vulnerability Detection via Graph-Based Compression and Assumption Validation

ASE 2026 (Research Track, CORE Rank A*, Acceptance Rate: 115/1236) (2026)

Paper

7. Towards Resource-Constrained Event Extraction: A Knowledge-Augmented Framework for Overcoming Challenges in Vietnamese NLP

International Journal of Innovative Computing (IJIC), 16(1), pp. 79-85 (2026)

Paper

8. Examination Room Usage Optimization Via Greedy and Exact Methods: A Vietnamese University Case Study

SOMET (2026)

Paper

9. Measuring the Unmeasurable: Markov Chain Reliability for LLM Agents

ISSRE 2026 (Research Track, CORE Rank A) (2026)

10. Uncertainty-Aware Forecasting and Inventory Optimization for ATM Cash Management in Vietnam

FLINS-ISKE (Won Outstanding Student Paper Award) (2026)

Paper

11. The Paradigm Shift in Event Extraction: An In-Depth Overview with Large Language Models

IEA/AIE (2026)

Paper

12. Industrial Visual Anomaly Detection in Robotics: Methods, Datasets, and Deployable System Architectures

IEA/AIE (2026)

Paper

13. Emerging Trends and Challenges Toward LLM Agents in Static Analysis

IEA/AIE (2026)

Paper

14. From Black-Box to Glass-Box: Explainable AI for Applied Intelligent Software Systems Across the Software Development Life Cycle

IEA/AIE (Won Best Paper Award) (2026)

Paper

15. SBV-LawGraph: A Hybrid RAG Approach Integrating Knowledge Graph for the State Bank of Vietnam Legal Documents

ACIIDS (Oral, top 20%) (Kaohsiung, Taiwan) (2026)

Paper

16. VSLIM: A Vietnamese Explicit Slot-Intent Mapping for Joint Multi-Intent Detection and Slot Filling

ACIIDS (Kaohsiung, Taiwan) (2026)

Paper

17. Reinforcement Learning with LTL and Omega-Regular Objectives via Optimality-Preserving Translation to Average Rewards

NeurIPS (Vancouver, Canada) (A* conference in AI) (2024)

Paper

18. A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separation Logic

POPL (Philadelphia, USA) (A* conference in Programming Languages) (2022)

Paper

19. Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications

ICECCS (Singapore) (2021)

Paper

20. Monadic Decomposability of Regular Relations

ICALP (Patras, Greece) (A conference in Theoretical Computer Science) (2019)

Paper

21. Logical Reasoning for Disjoint Permissions

ESOP (Thessaloniki, Greece) (A conference in Programming Languages) (2018)

Paper

22. Complexity Analysis of Tree Share Structure

APLAS (Wellington, New Zealand) (2018)

Paper

23. A Certified Decision Procedure for Tree Shares

ICFEM (Xian, China) (2017)

Paper

24. Decidability and Complexity of Tree Share Formulas

FSTTCS (Chennai, India) (2016)

Paper

25. Decision Procedures Over Sophisticated Fractional Permissions

APLAS (Kyoto, Japan) (2012)

Paper