Pinned Repositories
dace
DaCe - Data Centric Parallel Programming
faaskeeper
A fully serverless implementation of the ZooKeeper coordination protocol.
fmi
Function Message Interface (FMI): library for message-passing and collective communication for serverless functions.
gemm_hls
Scalable systolic array-based matrix-matrix multiplication implemented in Vivado HLS for Xilinx FPGAs.
graph-of-thoughts
Official Implementation of "Graph of Thoughts: Solving Elaborate Problems with Large Language Models"
ncc
Neural Code Comprehension: A Learnable Representation of Code Semantics
pymlir
Python interface for MLIR - the Multi-Level Intermediate Representation
QuaRot
Code for Neurips24 paper: QuaRot, an end-to-end 4-bit inference of large language models.
rFaaS
rFaaS: a high-performance FaaS platform with RDMA acceleration for low-latency invocations.
serverless-benchmarks
SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.
SPCL's Repositories
spcl/graph-of-thoughts
Official Implementation of "Graph of Thoughts: Solving Elaborate Problems with Large Language Models"
spcl/dace
DaCe - Data Centric Parallel Programming
spcl/gemm_hls
Scalable systolic array-based matrix-matrix multiplication implemented in Vivado HLS for Xilinx FPGAs.
spcl/serverless-benchmarks
SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.
spcl/npbench
NPBench - A Benchmarking Suite for High-Performance NumPy
spcl/x1
Official Implementation of "Reasoning Language Models: A Blueprint"
spcl/rFaaS
rFaaS: a high-performance FaaS platform with RDMA acceleration for low-latency invocations.
spcl/rapidchiplet
A toolchain for rapid design space exploration of chiplet architectures
spcl/sten
Sparsity support for PyTorch
spcl/CheckEmbed
Official Implementation of "CheckEmbed: Effective Verification of LLM Solutions to Open-Ended Tasks"
spcl/dace-vscode
Rich editor for SDFGs with included profiling and debugging, static analysis, and interactive optimization.
spcl/muliticast-based-allgather
spcl/.github
spcl/cppless
spcl/dace-webclient
Web-based SDFG viewer for DaCe
spcl/serverless-benchmarks-data
spcl/f2dace-artifact
spcl/icon-dace
spcl/mignificient
spcl/sebs-flow-artifact
spcl/icon-artifacts
spcl/sebs
A minimal, responsive, and feature-rich Jekyll theme for technical writing.
spcl/gpuless-thesis
spcl/PlaceIT
spcl/CQSim
spcl/EBCC
Error bounded lossy compression for weather and climate data
spcl/gpuless
spcl/mignificient-artifact
spcl/psit
A system to compress lagrangian flows.
spcl/serverless-software-disaggregation-artifact