24 citations · 55 across the 13 of their papers we have counts for
14 papers
FedMark-FM: Auditable, Risk-Adjusted Data Markets for Federated Foundation-Model Adaptation
Phat T. Tran-Truong, Xuan-Bach Le, Minh Nhat Nguyen
Federated foundation-model adaptation increasingly relies on heterogeneous private artifacts (retrieval corpora, prompts and demonstrations, LoRA adapters, preference and safety da…
Measuring the Unmeasurable: Markov Chain Reliability for LLM Agents
Phat T. Tran-Truong, Xuan-Bach Le
Large language model (LLM) agents increasingly operate as sequential software systems, but their reliability is often summarized by scalar benchmark metrics. Metrics such as pass$@…
Adversarial Attacks on Code Models with Discriminative Graph Patterns
Thanh-Dat Nguyen, Yang Zhou, Xuan Bach D. Le +2
Pre-trained language models of code are now widely used in various software engineering tasks such as code generation, code completion, vulnerability detection, etc. This, in turn,…
Multi-Granularity Detector for Vulnerability Fixes
Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang +9
With the increasing reliance on Open Source Software, users are exposed to third-party library vulnerabilities. Software Composition Analysis (SCA) tools have been created to alert…
CHRONOS: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports
Yunbo Lyu, Thanh Le-Cong, Hong Jin Kang +5
Tools that alert developers about library vulnerabilities depend on accurate, up-to-date vulnerability databases which are maintained by security researchers. These databases recor…
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
Thanh Le-Cong, Duc-Minh Luong, Xuan Bach D. Le +4
Automated program repair (APR) faces the challenge of test overfitting, where generated patches pass validation tests but fail to generalize. Existing methods for patch assessment…
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic
Quang Loc Le, Xuan-Bach D. Le
An efficient entailment proof system is essential to compositional verification using separation logic. Unfortunately, existing decision procedures are either inexpressive or ineff…
VulCurator: A Vulnerability-Fixing Commit Detector
Truong Giang Nguyen, Thanh Le-Cong, Hong Jin Kang +2
Open-source software (OSS) vulnerability management process is important nowadays, as the number of discovered OSS vulnerabilities is increasing over time. Monitoring vulnerability…
AutoPruner: Transformer-Based Call Graph Pruning
Thanh Le-Cong, Hong Jin Kang, Truong Giang Nguyen +4
Constructing a static call graph requires trade-offs between soundness and precision. Program analysis techniques for constructing call graphs are unfortunately usually imprecise.…
Usability and Aesthetics: Better Together for Automated Repair of Web Pages
Thanh Le-Cong, Xuan Bach D. Le, Quyet-Thang Huynh +1
With the recent explosive growth of mobile devices such as smartphones or tablets, guaranteeing consistent web appearance across all environments has become a significant problem.…
Toward the Analysis of Graph Neural Networks
Thanh-Dat Nguyen, Thanh Le-Cong, ThanhVu H. Nguyen +2
Graph Neural Networks (GNNs) have recently emerged as a robust framework for graph-structured data. They have been applied to many problems such as knowledge graph analysis, social…
Complexity Analysis of Tree Share Structure
Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin
The tree share structure proposed by Dockins et al. is an elegant model for tracking disjoint ownership in concurrent separation logic, but decision procedures for tree shares are…
Monadic Decomposability of Regular Relations
Pablo Barcelo, Chih-Duo Hong, Xuan-Bach Le +2
Monadic decomposibility --- the ability to determine whether a formula in a given logical theory can be decomposed into a boolean combination of monadic formulas --- is a powerful…
On Reliability of Patch Correctness Assessment
Xuan Bach D. Le, Lingfeng Bao, David Lo +2
Current state-of-the-art automatic software repair (ASR) techniques rely heavily on incomplete specifications, e.g., test suites, to generate repairs. This, however, may render ASR…