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 2026 · cs.SEShow all

5 papers · 2 filters

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.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…