Search Results for author:
Found 39 papers, 31 papers with code
DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts
The DISL dataset features a collection of $514, 506$ unique Solidity files that have been deployed to Ethereum mainnet.
Generative AI to Generate Test Data Generators
The results show that LLMs can successfully generate realistic test data generators in a wide range of domains at all three levels of integrability.
RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair
This results in RepairLLaMA producing a highly effective `program repair adapter' for fixing bugs with language models.
Supersonic: Learning to Generate Source Code Optimizations in C/C++
Software optimization refines programs for resource efficiency while preserving functionality.
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
We propose a neural network architecture based on a transformer model to generate proofs of equivalence between program pairs.
Multimodal Representation for Neural Code Search
In this paper, to improve the vector space, we introduce tree-serialization methods on a simplified form of AST and build the multimodal representation for the code data.
Ranked #1 on
Code Search
on CodeSearchNet - Ruby
Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
To sum up, this paper shows that transfer learning works well for repairing security vulnerabilities in C compared to learning on a small dataset.
Maximizing Error Injection Realism for Chaos Engineering with System Calls
In this paper, we present a novel fault injection framework for system call invocation errors, called Phoebe.
Software Engineering
Java Decompiler Diversity and its Application to Meta-decompilation
In this work, we hypothesize that the diverse ways in which bytecode can be decompiled has a direct impact on the quality of the source code produced by decompilers.
Software Engineering
A Comprehensive Study of Bloated Dependencies in the Maven Ecosystem
Bloated dependencies are libraries that the build tool packages with the application's compiled code but that are actually not necessary to build and run the application.
Software Engineering
Automatic Observability for Dockerized Java Applications
In this paper, we present a novel approach, called POBS, to automatically improve the observability of Dockerized Java applications.
Software Engineering
Using Sequence-to-Sequence Learning for Repairing C Vulnerabilities
Software vulnerabilities affect all businesses and research is being done to avoid, detect or repair them.
The Strengths and Behavioral Quirks of Java Bytecode Decompilers
During compilation from Java source code to bytecode, some information is irreversibly lost.
Software Engineering
Observability and Chaos Engineering on System Calls for Containerized Applications in Docker
The unique feature of ChaosOrca is that it conducts experiments under production-like workload without instrumenting the application.
Software Engineering
Learning the Relation between Code Features and Code Transforms with Structured Prediction
We instantiate our approach in the context of repair transform prediction for Java programs.
iFixR: Bug Report driven Program Repair
Towards increasing the adoption of patch generation tools by practitioners, we investigate a new repair pipeline, iFixR, driven by bug reports: (1) bug reports are fed to an IR-based fault localizer; (2) patches are generated from fix patterns and validated via regression testing; (3) a prioritized list of generated patches is proposed to developers.
Software Engineering
A Literature Study of Embeddings on Source Code
In this survey, we aim to collect and discuss the usage of word embedding techniques on programs and source code.
Styler: learning formatting conventions to repair Checkstyle violations
We found out that Styler fixes violations of a diverse set of Checkstyle rules (24/25 rules), generates smaller repairs in comparison to the other systems, and predicts repairs in seconds once trained on a project.
Software Engineering
Bears: An Extensible Java Bug Benchmark for Automatic Program Repair Studies
We present in this paper the approach employed by Bears, and we deliver the version 1. 0 of Bears, which contains 251 reproducible bugs collected from 72 projects that use the Travis CI and Maven build environment.
Software Engineering
A Journey Among Java Neutral Program Variants
This work aims at characterizing plastic code regions in Java programs, i. e., the areas that are prone to the synthesis of neutral program variants.
Software Engineering
TripleAgent: Monitoring, Perturbation And Failure-obliviousness for Automated Resilience Improvement in Java Applications
In this paper, we present a novel system for fault injection in production for Java applications.
Software Engineering
SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
This paper presents a novel end-to-end approach to program repair based on sequence-to-sequence learning.
The Remarkable Role of Similarity in Redundancy-based Program Repair
Recently, there have been original attempts to use the concept of "code similarity" in program repair, suggesting that similarity analysis has an important role in the repair process.
Software Engineering
Human-competitive Patches in Automatic Program Repair with Repairnator
Repairnator is a bot.
Software Engineering
IntRepair: Informed Repairing of Integer Overflows
Thus, in this paper, we propose a novel technique to provide automatic repairs of integer overflows in C source code.
Software Engineering
The CodRep Machine Learning on Source Code Competition
CodRep is a machine learning competition on source code data.
A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM
In this paper, we propose a novel design and implementation of a chaos engineering system in Java called CHAOSMACHINE.
Software Engineering
A Comprehensive Study of Automatic Program Repair on the QuixBugs Benchmark
This sets a baseline for future research of automatic repair on QuixBugs.
Software Engineering
Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg
Our goal is to facilitate the design, development and evaluation of repair approaches by providing a framework that: a) contains components commonly present in approaches implementations thus new approaches can be built over them, b) provides built-in implementations of existing repair approach.
Software Engineering
Open-ended Exploration of the Program Repair Search Space with Mined Templates: the Next 8935 Patches for Defects4J
For that, we design Cardumen, a repair approach based mined templates that has an ultra-large search space.
Software Engineering
Exhaustive Exploration of the Failure-oblivious Computing Search Space
In this paper, we study, design and perform an experiment that analyzes the size and the diversity of the failure-oblivious behaviors.
Software Engineering
Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities
We aim to reason about the repair ingredients by using code similarities to prioritize and transform statements in a codebase for patch generation.
Software Engineering
Dynamic Analysis can be Improved with Automatic Test Suite Refactoring
Results: Experimental results show that test suite refactoring can effectively simplify the execution traces of the test suite.
Software Engineering
Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset
The result of our experiment shows that 47 bugs of the Defects4J dataset can be automatically repaired by state-of- the-art repair.
Software Engineering
Automatic Repair of Infinite Loops
We state the problem of repairing infinite loops in the context of test-suite based software repair: given a test suite with at least one failing test, generate a patch that makes all test cases pass.
Software Engineering
A Generative Model of Software Dependency Graphs to Better Understand Software Evolution
Then, we propose a generative model of software dependency graphs which synthesizes graphs whose degree distribution is close to the empirical ones observed in real software systems.
Software Engineering
ASTOR: Evolutionary Automatic Software Repair for Java
Context: During last years, many automatic software repair approaches have been presented by the software engineering research community.
Software Engineering
A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair
First, we aim at explaining why we disagree with Kim and colleagues and why the reasons behind this disagreement are important for research on automatic software repair in general.
Software Engineering
Principles of Antifragile Software
The goal of this paper is to study and define the concept of "antifragile software".
Software Engineering
