research
∙
06/29/2023
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
Smart contracts are critical financial instruments, and their security i...
share
research
∙
05/29/2023
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics
Transformer-based models, such as BERT and ViT, have achieved state-of-t...
research
∙
10/26/2022
Benchmarking Language Models for Code Syntax Understanding
Pre-trained language models have demonstrated impressive performance in ...
research
∙
07/26/2022
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity
We propose transferability from Large Geometric Vicinity (LGV), a new te...
research
∙
05/14/2022
The Sky Above The Clouds
Technology ecosystems often undergo significant transformations as they ...
research
∙
08/30/2021
Learning Highly Recursive Input Grammars
This paper presents Arvada, an algorithm for learning context-free gramm...
research
∙
03/07/2021
Growing a Test Corpus with Bonsai Fuzzing
This paper presents a coverage-guided grammar-based fuzzing technique fo...
research
∙
11/03/2020
Exempla Gratis (E.G.): Code Examples for Free
Modern software engineering often involves using many existing APIs, bot...
research
∙
06/12/2020
Hindsight Logging for Model Training
Due to the long time-lapse between the triggering and detection of a bug...
research
∙
06/11/2020
Ansor : Generating High-Performance Tensor Programs for Deep Learning
High-performance tensor programs are crucial to guarantee efficient exec...
research
∙
05/09/2019
When Deep Learning Met Code Search
There have been multiple recent proposals on using deep neural networks ...
research
∙
12/04/2018
Aroma: Code Recommendation via Structural Code Search
Programmers often write code which have similarity to existing code writ...
research
∙
11/30/2018
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing
Programs expecting structured inputs often consist of both a syntactic a...
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
∙
04/30/2018
DeepBugs: A Learning Approach to Name-based Bug Detection
Natural language elements in source code, e.g., the names of variables a...
research
∙
03/21/2018
Selecting Fault Revealing Mutants
Mutant selection refers to the problem of choosing, among a large number...
research
∙
09/20/2017