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
∙
12/21/2020
From micro-OPs to abstract resources: constructing a simpler CPU performance model through microbenchmarking
In a super-scalar architecture, the scheduler dynamically assigns micro-...
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
∙
11/15/2019
Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
For most relevant computation, the energy and time needed for data movem...
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
Synthetic Lung Nodule 3D Image Generation Using Autoencoders
One of the challenges of using machine learning techniques with medical ...
research
∙
11/14/2018