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/QuaRot
Code for Neurips24 paper: QuaRot, an end-to-end 4-bit inference of large language models.
spcl/pymlir
Python interface for MLIR - the Multi-Level Intermediate Representation
spcl/ncc
Neural Code Comprehension: A Learnable Representation of Code Semantics
spcl/MRAG
Official Implementation of "Multi-Head RAG: Solving Multi-Aspect Problems with LLMs"
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/rFaaS
rFaaS: a high-performance FaaS platform with RDMA acceleration for low-latency invocations.
spcl/sten
Sparsity support for PyTorch
spcl/DiffDA
spcl/dace-vscode
Rich editor for SDFGs with included profiling and debugging, static analysis, and interactive optimization.
spcl/faaskeeper
A fully serverless implementation of the ZooKeeper coordination protocol.
spcl/CheckEmbed
Official Implementation of "CheckEmbed: Effective Verification of LLM Solutions to Open-Ended Tasks"
spcl/smat
Code for High Performance Unstructured SpMM Computation Using Tensor Cores
spcl/LogGOPSim
A LogGOPS (LogP, LogGP, LogGPS) Simulator and Simulation Framework
spcl/FBACode
spcl/muliticast-based-allgather
spcl/dace-webclient
Web-based SDFG viewer for DaCe
spcl/mignificient
spcl/praas-benchmarks
spcl/sebs
A minimal, responsive, and feature-rich Jekyll theme for technical writing.
spcl/sebs-flow-artifact
spcl/cxx-langstat
spcl/hbase-faaskeeper
Apache HBase
spcl/mignificient-artifact
spcl/praas
spcl/praas-artifact
spcl/praas-kubernetes
spcl/serverless-software-disaggregation-artifact