activity
20202026
most citedInvalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

24 citations · 93 across the 26 of their papers we have counts for

collaborators
Showing 2026Show all

7 papers · 1 filter

cs.SE2026

One Strategy Does Not Fit All: Rethinking Data Labeling for Just-in-Time Vulnerability Prediction

Quan Tran, Duong Nguyen, Thanh Le-Cong +4

Just-In-Time Vulnerability Prediction (JIT-VP) identifies security risks in code changes at commit time, enabling early feedback before vulnerabilities enter software systems. Howe…

cs.SE2026

Correct Code, Broken Contributions? SWE-CC: Benchmarking Repository Policy Compliance for Coding Agents

Hai Dang Truong, Rayner Goh, Thanh Le-Cong +1

Autonomous coding agents now resolve a substantial share of real-world GitHub issues. However, passing functional tests differs fundamentally from producing a high-quality contribu…

cs.SE2026

Athena: Vulnerability-Affected Library Identification via Knowledge Graph Completion

Phong Trinh Duy, Trang Dang Yen, Hung Nguyen-Huu +5

A single vulnerability in a widely used library can cascade through millions of dependent applications, yet more than half of vulnerability database entries contain missing or inco…

cs.PL2026

FPMoE: A Sparse Mixture-of-Experts Approach to Functional Code Generation

Loc Pham, Lang Hong Nguyet Anh, Thanh Le-Cong

Despite rapid progress in LLM-based code generation, existing models are predominantly trained on imperative languages, leaving functional programming languages (FPLs) such as Hask…

cs.SE2026

PatchGuru: Patch Oracle Inference from Natural Language Artifacts

Thanh Le-Cong, Bach Le, Toby Murray +2

As software systems evolve, patches may unintentionally alter program behavior. Validating patches against their intended semantics is difficult due to incomplete regression tests…

cs.SE2026

How Do Semantically Equivalent Code Transformations Impact Membership Inference on LLMs for Code?

Hua Yang, Alejandro Velasco, Thanh Le-Cong +3

The success of large language models for code relies on vast amounts of code data, including public open-source repositories, such as GitHub, and private, confidential code from co…

cs.PL2026

Perish or Flourish? A Holistic Evaluation of Large Language Models for Code Generation in Functional Programming

Nguyet-Anh H. Lang, Eric Lang, Thanh Le-Cong +2

Functional programming provides strong foundations for developing reliable and secure software systems, yet its adoption remains not widespread due to the steep learning curve. Rec…