397 citations · 594 across the 8 of their papers we have counts for
3 papers · 1 filter
A Software-Repair Robot based on Continual Learning
Benoit Baudry, Zimin Chen, Khashayar Etemadi +8
Software bugs are common and correcting them accounts for a significant part of costs in the software development and maintenance process. This calls for automatic techniques to de…
Coherence Traffic in Manycore Processors with Opaque Distributed Directories
Steve Kommrusch, Marcos Horro, Louis-Noël Pouchet +2
Manycore processors feature a high number of general-purpose cores designed to work in a multithreaded fashion. Recent manycore processors are kept coherent using scalable distribu…
Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Steve Kommrusch, Théo Barollet, Louis-Noël Pouchet
In this work we target the problem of provably computing the equivalence between two programs represented as dataflow graphs. To this end, we formalize the problem of equivalence b…