cornell-zhang / SmoothELinks
SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)
☆24Updated this week
Alternatives and similar repositories for SmoothE
Users that are interested in SmoothE are comparing it to the libraries listed below
Sorting:
- ☆11Updated 4 years ago
- Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits☆33Updated last year
- A Generic Distributed Auto-Tuning Infrastructure☆22Updated 4 years ago
- A graph linear algebra overlay☆51Updated 2 years ago
- Graph-learning assisted instruction vulnerability estimation published in DATE 2020☆14Updated 4 years ago
- ☆17Updated 3 months ago
- Using e-graphs for logic synthesis☆24Updated 3 weeks ago
- EQueue Dialect☆41Updated 3 years ago
- QuickEst repository: Quick Estimation of Quality of Results☆26Updated 7 years ago
- Differentiable Combinatorial Scheduling at Scale (ICML'24). Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu.☆20Updated last year
- ☆61Updated 8 months ago
- Graph Learning at Scale: Characterizing and Optimizing Pre-Propagation GNNs (MLSys'25)☆17Updated 7 months ago
- An MLIR dialect to enable the efficient acceleration of ML model on CGRAs.☆64Updated last year
- UniSparse: An Intermediate Language for General Sparse Format Customization (OOPSLA'24)☆32Updated last year
- DAC'22 paper: "Automated Accelerator Optimization Aided by Graph Neural Networks"☆40Updated 2 years ago
- ☆16Updated 3 years ago
- ☆29Updated 4 years ago
- ☆10Updated 2 years ago
- ICCAD'23 Best Paper Award candidate: Robust GNN-based Representation Learning for HLS☆22Updated last year
- A portable framework to map DFG (dataflow graph, representing an application) on spatial accelerators.☆40Updated 3 years ago
- A fast, accurate trace-based simulator for High-Level Synthesis.☆72Updated 8 months ago
- AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP (Full Paper a…☆25Updated 6 months ago
- Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks (DAC'23)☆54Updated 10 months ago
- A scheduler for spatial DNN accelerators that generate high-performance schedules in one shot using mixed integer programming (MIP)☆83Updated 2 years ago
- MLIR+EqSat☆21Updated 3 months ago
- A research shell for Alveo V80☆19Updated last month
- ☆40Updated last year
- ☆32Updated last year
- ☆26Updated 2 years ago
- ☆17Updated last month