Latency and Memory Analysis of Transformer Models for Training and Inference

A schedule language for large model training

ClickHouse® is a real-time analytics DBMS

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

TAPA is a dataflow HLS framework that features fast compilation, expressive programming model and generates high-frequency FPGA accelerators.

[FPGA 2021, Best Paper Award] An automated floorplanning and pipelining tool for Vivado HLS.

A Docker wrapper script for researchers

Source code of MPU simulator and compiler for ASPLOS 2021 submission.

Haystack is an analytical cache model that given a program computes the number of cache misses.

power estimate

A polyhedral compiler for expressing fast and portable data parallel algorithms

a language for fast, portable data-parallel computation

[DAC 2020] Analysis and Optimization of the Implicit Broadcasts in FPGA HLS to Improve Maximum Frequency

Ultralightweight JSON parser in ANSI C

HeteroCL: A Multi-Paradigm Programming Infrastructure for Software-Defined Heterogeneous Computing