Xuan-Bach D. Le

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 12

Top Topics

Logic Based Argumentation

Textual Entailment

Top Venues

ESEC/SIGSOFT FSE

Publications

Quang Loc Le, Xuan-Bach D. Le
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. FoSSaCS (2023)
Yunbo Lyu, Thanh Le-Cong, Hong Jin Kang, Ratnadira Widyasari, Zhipeng Zhao, Xuan-Bach D. Le, Ming Li, David Lo
CHRONOS: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports. CoRR (2023)
Thanh Le-Cong, Hong Jin Kang, Truong Giang Nguyen, Stefanus Agus Haryono, David Lo, Xuan-Bach D. Le, Huynh Quyet Thang
AutoPruner: Transformer-Based Call Graph Pruning. CoRR (2022)
Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang, Xuan-Bach D. Le, David Lo
VulCurator: a vulnerability-fixing commit detector. ESEC/SIGSOFT FSE (2022)
Thanh-Dat Nguyen, Thanh Le-Cong, ThanhVu H. Nguyen, Xuan-Bach D. Le, Quyet-Thang Huynh
Toward the Analysis of Graph Neural Networks. ICSE (NIER) (2022)
Thanh-Dat Nguyen, Thanh Le-Cong, ThanhVu H. Nguyen, Xuan-Bach D. Le, Quyet-Thang Huynh
Toward the Analysis of Graph Neural Networks. CoRR (2022)
Thanh Le-Cong, Hong Jin Kang, Truong Giang Nguyen, Stefanus Agus Haryono, David Lo, Xuan-Bach D. Le, Huynh Quyet Thang
AutoPruner: transformer-based call graph pruning. ESEC/SIGSOFT FSE (2022)
Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang, Xuan-Bach D. Le, David Lo
VulCurator: A Vulnerability-Fixing Commit Detector. CoRR (2022)
Thanh-Dat Nguyen, Thanh Le-Cong, Duc-Minh Luong, Van-Hai Duong, Xuan-Bach D. Le, David Lo, Quyet-Thang Huynh
FFL: Fine-grained Fault Localization for Student Programs via Syntactic and Semantic Reasoning. ICSME (2022)
Quang Loc Le, Xuan-Bach D. Le
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic. CoRR (2022)
Xuan-Bach D. Le, Quang Loc Le
ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors. ISSRE (2021)
Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, Xuan-Bach D. Le
More Reliable Test Suites for Dynamic APR by using Counterexamples. ISSRE (2021)