research
∙
09/13/2023
OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability
The development of correct and efficient software can be hindered by com...
share
research
∙
05/06/2023
Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
Long patch validation time is a limiting factor for automated program re...
research
∙
02/13/2023
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
With the widespread deployment of deep neural networks (DNNs), ensuring ...
research
∙
02/02/2023
Effective Random Test Generation for Deep Learning Compilers
Deep learning compilers help address difficulties of deploying deep lear...
research
∙
02/24/2022
Synthesizing Efficient Dynamic Programming Algorithms
Dynamic programming is an important optimization technique, but designin...
research
∙
02/24/2022
Black-Box Algorithm Synthesis – Divide-and-Conquer and More
Algorithm synthesis is a newly emerging branch of program synthesis, tar...
research
∙
08/27/2021
Lyra: A Benchmark for Turducken-Style Code Generation
Code generation is crucial to reduce manual software development efforts...
research
∙
05/30/2021
Occam Learning Meets Synthesis Through Unification
The generalizability of PBE solvers is the key to the empirical synthesi...
research
∙
02/23/2021
Dynamic Labeling for Unlabeled Graph Neural Networks
Existing graph neural networks (GNNs) largely rely on node embeddings, w...
research
∙
08/12/2020
OCoR: An Overlapping-Aware Code Retriever
Code retrieval helps developers reuse the code snippet in the open-sourc...
research
∙
04/19/2020
Interactive Patch Filtering as Debugging Aid
It is widely recognized that program repair tools need to have a high pr...
research
∙
01/26/2020
NLocalSAT: Boosting Local Search with Solution Prediction
The boolean satisfiability problem is a famous NP-complete problem in co...
research
∙
11/22/2019
TreeGen: A Tree-Based Transformer Architecture for Code Generation
A code generation system generates programming language code based on an...
research
∙
11/14/2018
A Grammar-Based Structural CNN Decoder for Code Generation
Code generation maps a program description to executable source code in ...
research
∙
07/30/2018
Automatic Clone Recommendation for Refactoring Based on the Present and the Past
When many clones are detected in software programs, not all clones are e...
research
∙
03/27/2018
An Empirical Study of Fault Localization Families and Their Combinations
The performance of fault localization techniques is critical to their ad...
research
∙
02/21/2018