research
∙
08/22/2023
Adversarial Attacks on Code Models with Discriminative Graph Patterns
Pre-trained language models of code are now widely used in various softw...
share
research
∙
07/24/2023
Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues
In this paper, we systematically study the quality of 4,066 ChatGPT-gene...
research
∙
05/23/2023
Multi-Granularity Detector for Vulnerability Fixes
With the increasing reliance on Open Source Software, users are exposed ...
research
∙
01/10/2023
CHRONOS: Time-Aware Zero-Shot Identification of Libraries from Vulnerability Reports
Tools that alert developers about library vulnerabilities depend on accu...
research
∙
01/03/2023
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
In this paper, we propose a novel technique, namely INVALIDATOR, to auto...
research
∙
10/02/2022
An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic
An efficient entailment proof system is essential to compositional verif...
research
∙
09/07/2022
VulCurator: A Vulnerability-Fixing Commit Detector
Open-source software (OSS) vulnerability management process is important...
research
∙
09/07/2022
AutoPruner: Transformer-Based Call Graph Pruning
Constructing a static call graph requires trade-offs between soundness a...
research
∙
01/01/2022
Usability and Aesthetics: Better Together for Automated Repair of Web Pages
With the recent explosive growth of mobile devices such as smartphones o...
research
∙
01/01/2022
Toward the Analysis of Graph Neural Networks
Graph Neural Networks (GNNs) have recently emerged as a robust framework...
research
∙
12/21/2020
Adversarial Patch Generation for Automatic Program Repair
Automatic program repair (APR) has seen a growing interest in recent yea...
research
∙
05/15/2018
