Login / Signup
Rafael Barbalho
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Rewriting Rules
Optimization Problems
Weighted Graph
Multilingual Information Retrieval
Top Venues
CoRR
ASPLOS (2)
</>
Publications
</>
Jianyi Cheng
,
Samuel Coward
,
Lorenzo Chelini
,
Rafael Barbalho
,
Theo Drane
SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting.
ASPLOS (2)
(2024)
Jianyi Cheng
,
Samuel Coward
,
Lorenzo Chelini
,
Rafael Barbalho
,
Theo Drane
SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR.
CoRR
(2023)