Cornell Zhang Research Group

All

38 repositories

allo
Public
Allo Accelerator Design and Programming Framework
asic fpga compiler hardware dsl high-level-synthesis npu
Python
•
Apache License 2.0
•63•314•44•7•Updated Dec 20, 2025Dec 20, 2025
eqmap
Public
Using e-graphs for logic synthesis
rust fpga compiler rtl verilog synthesis egg yosys
Rust
•
Apache License 2.0
•3•29•4•0•Updated Dec 18, 2025Dec 18, 2025
SmoothE
Public
SmoothE: Differentiable E-Graph Extraction (ASPLOS'25 Best Paper)
Python
•
Apache License 2.0
•3•29•0•0•Updated Dec 8, 2025Dec 8, 2025
heurigym
Public
Agentic Benchmark for LLM-Crafted Heuristics in Combinatorial Optimization
agent benchmark optimization large-language-models chatgpt
Python
•
Apache License 2.0
•6•57•2•0•Updated Nov 18, 2025Nov 18, 2025
apu-micro25-artifact
Public
Artifact of MICRO'25 paper Characterizing and Optimizing Realistic Workloads on a Commercial Compute-in-SRAM Device
C
•
Other
•1•7•0•0•Updated Aug 3, 2025Aug 3, 2025
preprop-gnn
Public
Graph Learning at Scale: Characterizing and Optimizing Pre-Propagation GNNs (MLSys'25)
Python
•0•17•0•0•Updated Apr 4, 2025Apr 4, 2025
allo-tutorials
Public
Jupyter Notebook
•4•8•0•0•Updated Mar 11, 2025Mar 11, 2025
UniSparse
Public
UniSparse: An Intermediate Language for General Sparse Format Customization (OOPSLA'24)
MLIR
•
Apache License 2.0
•0•33•4•0•Updated Nov 12, 2024Nov 12, 2024
past-python-bindings
Public
C++
•1•3•0•0•Updated Oct 16, 2024Oct 16, 2024
HiSparse
Public
High-Performance Sparse Linear Algebra on HBM-Equipped FPGAs Using HLS
open-source-hardware high-level-synthesis fpga-programming sparse-linear-algebra
C++
•
BSD 3-Clause "New" or "Revised" License
•13•95•1•1•Updated Sep 27, 2024Sep 27, 2024
hcl-dialect
Public
HeteroCL-MLIR dialect for accelerator design
fpga compiler intermediate-representation open-source-hardware high-level-synthesis fpga-programming
C++
•
Other
•15•42•24•3•Updated Sep 18, 2024Sep 18, 2024
HOGA
Public
Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits
logic-synthesis distributed-training electronic-design-automation graph-learning graph-transformer
Python
•
BSD 3-Clause "New" or "Revised" License
•6•34•1•0•Updated Aug 25, 2024Aug 25, 2024
llm-datatypes
Public
Codebase for ICML'24 paper: Learning from Students: Applying t-Distributions to Explore Accurate and Efficient Formats for LLMs
Python
•
Apache License 2.0
•2•27•0•0•Updated Jun 25, 2024Jun 25, 2024
svpp
Public
Mixing HLS and Backend Versions in Vitis
C++
•2•2•0•0•Updated May 23, 2024May 23, 2024
heterocl
Public
HeteroCL: A Multi-Paradigm Programming Infrastructure for Software-Defined Heterogeneous Computing (FPGA'19 Best Paper)
python fpga compiler dsl high-level-synthesis accelerators fpga-programming
Python
•
Apache License 2.0
•93•339•90•12•Updated Apr 20, 2024Apr 20, 2024
allo-pldi24-artifact
Public
Artifact evaluation of PLDI'24 paper "Allo: A Programming Model for Composable Accelerator Design"
VHDL
•
Apache License 2.0
•1•30•1•0•Updated Apr 11, 2024Apr 11, 2024
Polynormer
Public
Polynormer: Polynomial-Expressive Graph Transformer in Linear Time (ICLR'24)
graph-neural-network graph-transfomer linear-transformer homophilic-and-heterophilic-graphs polynomial-network
Python
•
BSD 3-Clause "New" or "Revised" License
•3•42•2•0•Updated Apr 6, 2024Apr 6, 2024
rosetta
Public
Rosetta: A Realistic High-level Synthesis Benchmark Suite for Software Programmable FPGAs (FPGA'18)
C++
•
BSD 3-Clause "New" or "Revised" License
•40•169•1•1•Updated Nov 7, 2023Nov 7, 2023
GARNET
Public
GARNET: Reduced-Rank Topology Learning for Robust and Scalable Graph Neural Networks
graphical-lasso spectral-methods graph-neural-networks adversarial-defense
Python
•
BSD 3-Clause "New" or "Revised" License
•1•36•2•0•Updated Oct 1, 2023Oct 1, 2023
GraphLily
Public
A graph linear algebra overlay
graph-processing open-source-hardware high-level-synthesis fpga-programming
C++
•
BSD 3-Clause "New" or "Revised" License
•4•51•0•0•Updated Apr 26, 2023Apr 26, 2023
GraphZoom
Public
GraphZoom: A Multi-level Spectral Approach for Accurate and Scalable Graph Embedding (ICLR'20 Oral)
graph-learning
Python
•
BSD 3-Clause "New" or "Revised" License
•17•114•4•2•Updated Mar 24, 2023Mar 24, 2023
bsg_bladerunner
Public
Meta-Repository for Bespoke Silicon Group's Manycore Architecture (A.K.A HammerBlade)
C++
•
BSD 3-Clause "New" or "Revised" License
•20•8•0•0•Updated Aug 4, 2022Aug 4, 2022
RapidStream
Public
[FPGA 2022, Best Paper Award] Parallel placement and routing of Vivado HLS dataflow designs.
Python
•
MIT License
•17•4•0•0•Updated Jun 13, 2022Jun 13, 2022
pokebnn
Public
JAX quantization library used for PokeBNN project
Python
•
Apache License 2.0
•29•6•0•0•Updated May 16, 2022May 16, 2022
SPADE
Public
Python
•3•11•0•0•Updated Oct 28, 2021Oct 28, 2021
Dagger
Public
HW/SW co-designed end-host RPC stack
Verilog
•
MIT License
•6•7•0•0•Updated Oct 14, 2021Oct 14, 2021
FracBNN
Public
FracBNN: Accurate and FPGA-Efficient Binary Neural Networks with Fractional Activations
Python
•
BSD 3-Clause "New" or "Revised" License
•23•95•4•0•Updated Oct 2, 2021Oct 2, 2021
uptune
Public
A Generic Distributed Auto-Tuning Infrastructure
python distributed-systems cpp heuristics auto-tuning
Python
•
BSD 3-Clause "New" or "Revised" License
•2•24•0•0•Updated Jul 29, 2021Jul 29, 2021
tutorial-fccm21
Public
HTML
•0•6•0•0•Updated Jul 23, 2021Jul 23, 2021
FeatGraph
Public
Python
•
Apache License 2.0
•9•6•0•0•Updated Jun 16, 2021Jun 16, 2021