4 citations · 6 across the 15 of their papers we have counts for
4 papers · 1 filter
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
Boqi Chen, José Antonio Hernández López, Gunter Mussbacher +1
Motivation: Automated bug detection in dynamically typed languages such as Python is essential for maintaining code quality. The lack of mandatory type annotations in such language…
ALPINE: An adaptive language-agnostic pruning method for language models for code
Mootez Saad, José Antonio Hernández López, Boqi Chen +2
Language models of code have demonstrated state-of-the-art performance across various software engineering and source code analysis tasks. However, their demanding computational re…
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation
Boqi Chen, Kristóf Marussy, Oszkár Semeráth +2
Graph convolutional neural networks (GCNs) are powerful tools for learning graph-based knowledge representations from training data. However, they are vulnerable to small perturbat…
On Inter-dataset Code Duplication and Data Leakage in Large Language Models
José Antonio Hernández López, Boqi Chen, Mootez Saaz +2
Motivation. Large language models (LLMs) have exhibited remarkable proficiency in diverse software engineering (SE) tasks. Handling such tasks typically involves acquiring foundati…