Skip to content

@efeslab Efeslab

Change the repository type filter

All

    Repositories list

    97 repositories

    • wiredtiger

      Public
      WiredTiger's source tree
      C
      •
      Other
      •392•0•0•0•Updated Jan 8, 2025Jan 8, 2025

    • genmc

      Public
      Generic model checker for concurrent C programs (mirror repository)
      C++
      •
      GNU General Public License v3.0
      •21•0•0•0•Updated Jan 7, 2025Jan 7, 2025

    • rocksdb-squint

      Public
      A library that provides an embeddable, persistent key-value store for fast storage.
      C++
      •
      GNU General Public License v2.0
      •6.4k•0•0•0•Updated Jan 7, 2025Jan 7, 2025

    • alice

      Public
      C
      •
      Other
      •25•0•0•0•Updated Jan 6, 2025Jan 6, 2025

    • leveldb

      Public
      LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •7.9k•0•0•0•Updated Dec 28, 2024Dec 28, 2024

    • UopRepl-Artifact

      Public
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 30, 2024Nov 30, 2024

    • fiddler

      Public
      Fast Inference of MoE Models with CPU-GPU Orchestration
      mixture-of-expertsllmlocal-inferencellm-inferencemixtral-8x7b
      Python
      •
      Apache License 2.0
      •16•178•1•0•Updated Nov 18, 2024Nov 18, 2024

    • Nanoflow

      Public
      A throughput-oriented high-performance serving framework for LLMs
      cudainferencemodel-servingllmllm-servingllama2
      Cuda
      •
      Apache License 2.0
      •29•689•6•2•Updated Sep 21, 2024Sep 21, 2024

    • ispy-ripple

      Public
      C++
      •
      Apache License 2.0
      •2•7•0•0•Updated Jul 4, 2024Jul 4, 2024

    • Atom

      Public
      [MLSys'24] Atom: Low-bit Quantization for Efficient and Accurate LLM Serving
      Cuda
      •25•286•4•0•Updated Jul 2, 2024Jul 2, 2024

    • ZipChannel

      Public
      Artifacts for ZipChannel
      C
      •0•0•0•0•Updated Jun 27, 2024Jun 27, 2024

    • asplos22-hardware-debugging-artifact

      Public
      3•11•0•0•Updated Jun 12, 2024Jun 12, 2024

    • hardware-bugbase

      Public
      SystemVerilog
      •7•17•0•0•Updated Jun 12, 2024Jun 12, 2024

    • ZipChannel_SGX_attack

      Public
      Artifacts for the ZipChannel paper
      C
      •0•0•0•0•Updated Apr 9, 2024Apr 9, 2024

    • ZipChannel_linux-sgx-driver

      Public
      The SGX driver used in the paper ZipChannel
      C
      •
      Other
      •0•0•0•0•Updated Apr 9, 2024Apr 9, 2024

    • rocksdb

      Public
      A library that provides an embeddable, persistent key-value store for fast storage.
      C++
      •
      GNU General Public License v2.0
      •6.4k•0•0•0•Updated Apr 4, 2024Apr 4, 2024

    • vllm

      Public
      A high-throughput and memory-efficient inference and serving engine for LLMs
      Python
      •
      Apache License 2.0
      •5.1k•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • mixtral-offloading

      Public
      Run Mixtral-8x7B models in Colab or consumer desktops
      Python
      •
      MIT License
      •227•0•0•0•Updated Feb 6, 2024Feb 6, 2024

    • lmdb

      Public
      Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use OpenLDAP ITS for issues.
      C
      •589•0•0•0•Updated Nov 9, 2023Nov 9, 2023

    • verilog-vcd-parser

      Public
      A parser for Value Change Dump (VCD) files as specified in the IEEE System Verilog 1800-2012 standard.
      C++
      •
      MIT License
      •36•0•0•0•Updated Sep 13, 2023Sep 13, 2023

    • siloz

      Public
      C
      •
      Other
      •0•11•0•0•Updated Aug 23, 2023Aug 23, 2023

    • qemu-siloz

      Public
      C
      •
      Other
      •0•1•0•0•Updated Jul 19, 2023Jul 19, 2023

    • hippocrates

      Public
      Automatically fixing persistency bugs in PM applications. ASPLOS '21.
      C++
      •
      MIT License
      •3•7•1•0•Updated May 10, 2023May 10, 2023

    • jaaru

      Public
      C++
      •
      GNU General Public License v2.0
      •1•0•0•0•Updated May 4, 2023May 4, 2023

    • ironpatch_task2_release

      Public
      C
      •0•0•0•0•Updated Mar 29, 2023Mar 29, 2023

    • aws-fpga

      Public
      Vidi: Record Replay support based on a fork of aws/aws-fpga
      VHDL
      •
      Other
      •1•4•0•1•Updated Mar 28, 2023Mar 28, 2023

    • thermometer-artifact

      Public
      C++
      •
      Other
      •2•3•1•0•Updated Mar 3, 2023Mar 3, 2023

    • moesi-prime

      Public
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •2•15•1•0•Updated Dec 15, 2022Dec 15, 2022

    • nvm-file-indexing

      Public
      C++
      •0•1•0•0•Updated Nov 15, 2022Nov 15, 2022

    • ER

      Public
      Can additonal recording simplify symbolic constraints?
      C++
      •
      Other
      •1•3•0•0•Updated Nov 6, 2022Nov 6, 2022