Repositories list

• biblio

  Public
  TeX

  •1•5•0•1•Updated Dec 18, 2025Dec 18, 2025

• libcuckoo

  Public
  A high-performance, concurrent hash table

  C++

  •

  Other

  •289•1.7k•18•3•Updated Mar 31, 2025Mar 31, 2025

• rankselect

  Public
  Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences

  C++

  •

  Other

  •20•55•2•1•Updated Jan 3, 2024Jan 3, 2024

• rdma_bench

  Public
  A framework to understand RDMA

  C

  •112•406•4•1•Updated Oct 12, 2023Oct 12, 2023

• efficient.github.io

  Public
  Please don't rename the anchors, in case they are referenced from papers (e.g., Lightweight Preemptible Functions)

  HTML

  •0•0•0•0•Updated Mar 26, 2022Mar 26, 2022

• libinger

  Public
  https://www.usenix.org/conference/atc20/presentation/boucher

  Rust

  •2•26•1•0•Updated Mar 25, 2022Mar 25, 2022

• strobelight-rpc

  Public
  Rust

  •0•0•6•0•Updated Mar 24, 2022Mar 24, 2022

• libac-safe

  Public
  Asynchronous thread cancellation for glibc NPTL!

  C

  •0•0•0•0•Updated Mar 24, 2022Mar 24, 2022

• dyno

  Public
  Deno but dynamically linked

  Shell

  •0•0•0•0•Updated Mar 24, 2022Mar 24, 2022

• SuRF

  Public
  First Practical and General-purpose Range Filter

  C++

  •

  Other

  •94•549•4•0•Updated Mar 11, 2022Mar 11, 2022

• libas-safe

  Public
  POSIX async-signal safety without thinking about it

  C

  •2•4•0•0•Updated Feb 20, 2022Feb 20, 2022

• cuckoofilter

  Public
  C++

  •

  Other

  •176•1k•16•6•Updated Nov 12, 2021Nov 12, 2021

• tokio

  Public
  Forked from tokio-rs/tokio

  Rust

  •

  MIT License

  •0•1•0•0•Updated Sep 9, 2021Sep 9, 2021

• epaxos

  Public
  Go

  •

  Other

  •138•631•15•1•Updated Aug 15, 2021Aug 15, 2021

• faiss-learned-termination

  Public
  Source code for SIGMOD 2020 paper "Improving Approximate Nearest Neighbor Search through Learned Adaptive Early Termination"

  C++

  •

  MIT License

  •4.2k•59•0•0•Updated Jul 17, 2020Jul 17, 2020

• HOPE

  Public
  Order-preserving key encoder

  C++

  •

  Apache License 2.0

  •16•127•2•0•Updated Apr 28, 2020Apr 28, 2020

• wrk

  Public
  Forked from wg/wrk

  C

  •

  Other

  •0•0•0•0•Updated Jan 3, 2020Jan 3, 2020

• microservices_microbenchmarks

  Public
  Code for the benchmarks presented in https://www.usenix.org/conference/atc18/presentation/boucher

  Rust

  •1•12•0•0•Updated Apr 18, 2019Apr 18, 2019

• paper_skel

  Public
  A LaTeX paper skeleton for CS systems conference formats

  Python

  •

  Other

  •30•54•1•1•Updated Mar 20, 2019Mar 20, 2019

• rocksdb

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

  C++

  •

  GNU General Public License v2.0

  •6.7k•38•0•1•Updated Dec 20, 2018Dec 20, 2018

• fasst

  Public
  Source code for our OSDI 2016 paper

  C++

  •26•110•1•0•Updated Nov 11, 2018Nov 11, 2018

• SuRF-demo

  Public
  SuRF demo

  C++

  •

  Other

  •3•5•0•0•Updated Jun 9, 2018Jun 9, 2018

• ARF

  Public
  C++

  •4•11•0•0•Updated Apr 19, 2018Apr 19, 2018

• mysql-5.6

  Public
  Facebook's branch of the Oracle MySQL v5.6 database. This includes MyRocks.

  C++

  •

  GNU General Public License v2.0

  •721•0•0•0•Updated Oct 12, 2017Oct 12, 2017

• mica2-catbench

  Public
  MICA 2 and gRPC for CATBench

  C++

  •1•1•0•0•Updated Oct 9, 2017Oct 9, 2017

• catbench

  Public
  CATBench, the Intel Cache Allocation Technology benchmarking suite described in our tech report, "Simple Cache Partitioning for Networked Workloads"

  C

  •0•12•21•0•Updated Oct 6, 2017Oct 6, 2017

• mica2

  Public
  A fast in-memory key-value store

  C++

  •23•52•0•0•Updated Oct 5, 2017Oct 5, 2017

• cicada-exp-sigmod2017

  Public
  Cicada SIGMOD 2017 evaluation

  Python

  •7•16•0•0•Updated Sep 19, 2017Sep 19, 2017

• cicada

  Public
  Dependably fast multi-core in-memory transactions

  3•21•0•0•Updated Aug 10, 2017Aug 10, 2017

• cicada-engine

  Public
  The Cicada engine

  C++

  •23•59•0•0•Updated Jun 16, 2017Jun 16, 2017