efeslab's repositories
hippocrates
Automatically fixing persistency bugs in PM applications. ASPLOS '21.
Language:C000
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++BSD-3-Clause000
mixtral-offloading
Run Mixtral-8x7B models in Colab or consumer desktops
rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
Language:C++GPL-2.0000
rocksdb-squint
A library that provides an embeddable, persistent key-value store for fast storage.
verilog-vcd-parser
A parser for Value Change Dump (VCD) files as specified in the IEEE System Verilog 1800-2012 standard.
wiredtiger
WiredTiger's source tree
Language:CNOASSERTION000
ZipChannel
Artifacts for ZipChannel
ZipChannel_linux-sgx-driver
The SGX driver used in the paper ZipChannel
ZipChannel_SGX_attack
Artifacts for the ZipChannel paper