research
∙
09/22/2021
Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
We target the problem of synthesizing proofs of semantic equivalence bet...
share
research
∙
06/01/2021
Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
We target the problem of provably computing the equivalence between two ...
research
∙
04/16/2021
Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
In this paper, we address the problem of automatic repair of software vu...
research
∙
12/12/2020
R-Hero: A Software Repair Bot based on Continual Learning
Software bugs are common and correcting them accounts for a significant ...
research
∙
11/10/2020
Coherence Traffic in Manycore Processors with Opaque Distributed Directories
Manycore processors feature a high number of general-purpose cores desig...
research
∙
02/17/2020
Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
In this work we target the problem of provably computing the equivalence...
research
∙
12/14/2019
Artificial Intelligence Techniques for Security Vulnerability Prevention
Computer security has been a concern for decades and artificial intellig...
research
∙
12/04/2019
Using Sequence-to-Sequence Learning for Repairing C Vulnerabilities
Software vulnerabilities affect all businesses and research is being don...
research
∙
12/24/2018
SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
This paper presents a novel end-to-end approach to program repair based ...
research
∙
11/19/2018