Research interests in AI, software engineering, and formal methods.
Publications (45)
Stability Across Environments, Not Resamples: Noise-Corrected Symbolic Pattern Mining
WSDM 2027 (Main Conference; acceptance rate: 15.8%), Hong Kong · February 2027
A Selection-Aware Audit of Learned Stopping in Short-Horizon Iterative Retrieval
WSDM 2027 (Main Conference; acceptance rate: 15.8%), Hong Kong · February 2027
EvidenceGraph: Measuring and Controlling Repeated Evidence in Retrieval-Augmented Verification
WSDM 2027 (Main Conference; acceptance rate: 15.8%), Hong Kong · February 2027
When Do Propagation Models Beat Cascade Summaries? A Released-Signal Audit of Text-Free Misinformation Detection
WSDM 2027 (Findings; acceptance rate: 12.6%), Hong Kong · February 2027
Anchor the Head: Alignment Drift in Open-Vocabulary Segmentation
WACV 2027 (Applications Track, CORE Rank A), Orlando, Florida, USA · January 2027
SegMaFormer: A Hybrid State-Space and Transformer Model for Efficient 3D Medical Image Segmentation
WACV 2027 (Applications Track, CORE Rank A), Orlando, Florida, USA · January 2027
RelationalRAG-Tables: A Learned Join Verifier for QA over Tables and Knowledge Graphs
ACML 2026 (Journal Track) — Machine Learning journal (Springer, Scimago Q1, Impact Factor 4.9), Melbourne, Australia · December 2026
MDP-Guided Reinforcement Learning for Cost-Aware LLM-Based Test Generation
CSoNet 2026, Ho Chi Minh City, Vietnam · November 2026
To appearAuditable AI AgentsSource-Obligation-Guided Validation of LLM-Based Code Translation
CSoNet 2026, Ho Chi Minh City, Vietnam · November 2026
To appearVerified AINetwork-Aware Post-Timetabling Examination Room Allocation with Screened-Pool Repair
CSoNet 2026, Ho Chi Minh City, Vietnam · November 2026
To appearApplied & CollaborativeQuantumTrustKG: Provenance-Aware Orchestration for Quantum-Safe Microservices
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
Deon: Runtime Guards for Policy-Safe Agentic Service Composition under Attack
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
Lexi: Priority-First Service Orchestration
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
A Failure-Mode Taxonomy for LLM-Agent Services: An Empirical Mining Study
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
ACaaS: Privacy-Preserving Access Control as a Service for Healthcare on the Cloud-Edge Continuum
ICSOC 2026 (Main Track, CORE Rank A, Acceptance Rate: 64/240, 27%), Lodz, Poland · December 2026
When Grounding Hurts: Retrieval and Validation for LLM Repair of Quantum Programs
ICECCS 2026 (Research Track), Brisbane, Australia · November 2026
To appearQuantum ReasoningWhen Audit Quality Fails to Predict Downstream Utility: Synthetic-Data Selection for Low-Resource Classification
EMNLP 2026 (Findings Track, CORE Rank A*), Budapest, Hungary · October 2026
LTM-RAG: Longitudinal Trust Mining for Poison-Resilient Retrieval-Augmented Generation
ICDM 2026 (Research Track, CORE Rank A*, Acceptance Rate: 392/1966, 20%), Shenyang, China · November 2026
From Natural-Language Hypotheses to Verified Data-Mining Discoveries
ICDM 2026 (Research Track, CORE Rank A*, Acceptance Rate: 392/1966, 20%), Shenyang, China · November 2026
GraphMemShield: Auditing Cross-Session Leakage in Graph Memories
CIKM 2026 (Full Research Track, CORE Rank A, Acceptance Rate: 597/2216, 27%), Rome, Italy · November 2026
Test-Time Spectral Adaptation for Image-to-Image Multispectral Retrieval
ACIVS 2026, Okinawa, Japan · December 2026
To appearApplied & CollaborativeLatent-Space Prediction Error and Fuzzy Risk-Scaled Recovery for Robotic Manipulation
ACIVS 2026, Okinawa, Japan · December 2026
To appearSafe Autonomous SystemsSwin-AQI: Depth-Aware Vision Transformer with Physics-Informed Learning for Particulate Matter Estimation from Ground Imagery
ACIVS 2026, Okinawa, Japan · December 2026
To appearApplied & CollaborativeDistributional Program Analysis: Treating Large Language Models as Program Samplers
ASE 2026 (NIER Track, CORE Rank A*, Acceptance Rate: 23/89, 25%), Munich, Germany · November 2026
GraphLedger: Repository-Level Vulnerability Detection via Graph-Based Compression and Assumption Validation
ASE 2026 (Research Track, CORE Rank A*, Acceptance Rate: 115/1236), Munich, Germany · November 2026
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 · June 2026
Examination Room Usage Optimization Via Greedy and Exact Methods: A Vietnamese University Case Study
SOMET 2026, Kuala Lumpur, Malaysia · September 2026
To appearApplied & CollaborativeTraceToChain: Auditing LLM-Agent Reliability with Absorbing Markov Chains
ISSRE 2026 (Research Track, CORE Rank A), Limassol, Cyprus · October 2026
Uncertainty-Aware Forecasting and Inventory Optimization for ATM Cash Management in Vietnam
FLINS-ISKE 2026, Sydney, Australia · July 2026
Outstanding Student Paper AwardApplied & CollaborativeThe Paradigm Shift in Event Extraction: An In-Depth Overview with Large Language Models
IEA/AIE 2026, Kuala Lumpur, Malaysia · July 2026
Emerging Trends and Challenges Toward LLM Agents in Static Analysis
IEA/AIE 2026, Kuala Lumpur, Malaysia · July 2026
Nominated for Best Paper AwardAuditable AI AgentsFrom Black-Box to Glass-Box: Explainable AI for Applied Intelligent Software Systems Across the Software Development Life Cycle
IEA/AIE 2026, Kuala Lumpur, Malaysia · July 2026
Best Paper AwardAuditable AI AgentsIndustrial Visual Anomaly Detection in Robotics: Methods, Datasets, and Deployable System Architectures
IEA/AIE 2026, Kuala Lumpur, Malaysia · July 2026
VSLIM: A Vietnamese Explicit Slot-Intent Mapping for Joint Multi-Intent Detection and Slot Filling
ACIIDS 2026, Kaohsiung, Taiwan · April 2026
SBV-LawGraph: A Hybrid RAG Approach Integrating Knowledge Graph for the State Bank of Vietnam Legal Documents
ACIIDS 2026 (Oral), Kaohsiung, Taiwan · April 2026
Reinforcement Learning with LTL and Omega-Regular Objectives via Optimality-Preserving Translation to Average Rewards
NeurIPS 2024 (CORE Rank A*), Vancouver, Canada · December 2024
CORE A*Safe Autonomous SystemsA Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separation Logic
POPL 2022 (CORE Rank A*), Philadelphia, USA · January 2022
CORE A*Quantum ReasoningAutomatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications
ICECCS 2020 (CORE Rank A), Singapore · March 2021
CORE AVerified AIMonadic Decomposability of Regular Relations
ICALP 2019 (CORE Rank A*), Patras, Greece · July 2019
CORE A*Verified AIComplexity Analysis of Tree Share Structure
APLAS 2018, Wellington, New Zealand · December 2018
Logical Reasoning for Disjoint Permissions
ESOP 2018 (CORE Rank A), Thessaloniki, Greece · April 2018
CORE AVerified AIA Certified Decision Procedure for Tree Shares
ICFEM 2017, Xi'an, China · November 2017
Disjoint Fractional Permissions in Verification: Applications, Systems and Theory
PhD Thesis, submitted September 2017
Decidability and Complexity of Tree Share Formulas
FSTTCS 2016, Chennai, India · December 2016
Decision Procedures Over Sophisticated Fractional Permissions
APLAS 2012, Kyoto, Japan · December 2012