efeslab's repositories

Atom

[MLSys'24] Atom: Low-bit Quantization for Efficient and Accurate LLM Serving

fiddler

Fast Inference of MoE Models with CPU-GPU Orchestration

Language:PythonLicense:Apache-2.0Stargazers:157Issues:8Issues:2
Language:C++License:BSD-3-ClauseStargazers:14Issues:7Issues:2
Language:CLicense:NOASSERTIONStargazers:8Issues:9Issues:0

hippocrates

Automatically fixing persistency bugs in PM applications. ASPLOS '21.

Language:C++License:MITStargazers:7Issues:8Issues:3
Language:C++License:Apache-2.0Stargazers:6Issues:9Issues:0

aws-fpga

Vidi: Record Replay support based on a fork of aws/aws-fpga

Language:VHDLLicense:NOASSERTIONStargazers:4Issues:7Issues:0

ER

Can additonal recording simplify symbolic constraints?

Language:C++License:NOASSERTIONStargazers:2Issues:8Issues:0
Language:CLicense:NOASSERTIONStargazers:1Issues:9Issues:0
Language:C++License:Apache-2.0Stargazers:0Issues:9Issues:0

hse

HSE: Heterogeneous-memory storage engine

Language:CLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:0Issues:0
Language:C++License:GPL-2.0Stargazers:0Issues:1Issues:0

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

Language:C++License:BSD-3-ClauseStargazers:0Issues:0Issues:0

lmdb

Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use OpenLDAP ITS for issues.

Language:CStargazers:0Issues:1Issues:0

mixtral-offloading

Run Mixtral-8x7B models in Colab or consumer desktops

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

pmemcheck

Enhanced Valgrind for Persistent Memory

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

Language:C++License:GPL-2.0Stargazers:0Issues:0Issues:0

rocksdb-squint

A library that provides an embeddable, persistent key-value store for fast storage.

Language:C++License:GPL-2.0Stargazers:0Issues:1Issues:0

verilog-vcd-parser

A parser for Value Change Dump (VCD) files as specified in the IEEE System Verilog 1800-2012 standard.

Language:C++License:MITStargazers:0Issues:1Issues:0

vllm

A high-throughput and memory-efficient inference and serving engine for LLMs

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

wiredtiger

WiredTiger's source tree

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

yosys

Yosys Open SYnthesis Suite

Language:C++License:ISCStargazers:0Issues:2Issues:0

ZipChannel

Artifacts for ZipChannel

Language:CStargazers:0Issues:5Issues:0

ZipChannel_linux-sgx-driver

The SGX driver used in the paper ZipChannel

Language:CLicense:NOASSERTIONStargazers:0Issues:5Issues:0

ZipChannel_SGX_attack

Artifacts for the ZipChannel paper

Language:CStargazers:0Issues:5Issues:0