research
∙
08/09/2023
Universal Fuzzing via Large Language Models
Fuzzing has achieved tremendous success in discovering bugs and vulnerab...
share
research
∙
05/12/2023
Where to Look When Repairing Code? Comparing the Attention of Neural Models and Developers
Neural network-based techniques for automated program repair are becomin...
research
∙
04/25/2023
TraceFixer: Execution Trace-Driven Program Repair
When debugging unintended program behavior, developers can often identif...
research
∙
02/05/2023
LExecutor: Learning-Guided Execution
Executing code is essential for various program analysis tasks, e.g., to...
research
∙
01/25/2023
Beware of the Unexpected: Bimodal Taint Analysis
Static analysis is a powerful tool for detecting security vulnerabilitie...
research
∙
06/02/2022
Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code
Few-shot learning with large-scale, pre-trained language models is a pow...
research
∙
06/02/2022
MorphQ: Metamorphic Testing of Quantum Computing Platforms
As quantum computing is becoming increasingly popular, the underlying qu...
research
∙
04/06/2022
DiffSearch: A Scalable and Precise Search Engine for Code Changes
The source code of successful projects is evolving all the time, resulti...
research
∙
04/06/2022
Code Search: A Survey of Techniques for Finding Code
The immense amounts of source code provide ample challenges and opportun...
research
∙
12/12/2021
Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks
Variable names are important to understand and maintain code. If a varia...
research
∙
10/28/2021
Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly
WebAssembly binaries are often compiled from memory-unsafe languages, su...
research
∙
10/27/2021
Bugs in Quantum Computing Platforms: An Empirical Study
The interest in quantum computing is growing, and with it, the importanc...
research
∙
02/24/2021
Learning to Make Compiler Optimizations More Effective
Because loops execute their body many times, compiler developers place m...
research
∙
11/16/2020
Neural Software Analysis
Many software development problems can be addressed by program analysis ...
research
∙
10/31/2020
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript
Third-party libraries ease the development of large-scale software syste...
research
∙
10/24/2020
Satisfying Increasing Performance Requirements with Caching at the Application Level
Application-level caching is a form of caching that has been increasingl...
research
∙
12/08/2019
TypeWriter: Neural Type Prediction with Search-based Validation
Maintaining large code bases written in dynamically typed languages, suc...
research
∙
11/28/2019
Type Safety with JSON Subschema
JSON is a popular data format used pervasively in web APIs, cloud comput...
research
∙
10/11/2019
Evaluating Semantic Representations of Source Code
Learned representations of source code enable various software developer...
research
∙
06/27/2019
An Empirical Study of Information Flows in Real-World JavaScript
Information flow analysis prevents secret or untrusted data from flowing...
research
∙
06/01/2019
Neural Bug Finding: A Study of Opportunities and Challenges
Static analysis is one of the most widely adopted techniques to find sof...
research
∙
02/25/2019
Small World with High Risks: A Study of Security Threats in the npm Ecosystem
The popularity of JavaScript has lead to a large ecosystem of third-part...
research
∙
01/17/2019
Easy to Fool? Testing the Anti-evasion Capabilities of PDF Malware Scanners
Malware scanners try to protect users from opening malicious documents b...
research
∙
08/31/2018
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts
Most of the JavaScript code deployed in the wild has been minified, a pr...
research
∙
08/31/2018
Wasabi: A Framework for Dynamically Analyzing WebAssembly
WebAssembly is the new low-level language for the web and has now been i...
research
∙
04/30/2018