Skip to content
@dslab-epfl

Dependable Systems Laboratory

Popular repositories Loading

  1. tinynf tinynf Public

    Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)

    Roff 57 7

  2. cloud9 cloud9 Public

    The Cloud9 main repository

    C++ 52 29

  3. asap asap Public

    Official repository for ASAP: High System-code Security at Low Overhead

    C++ 23 8

  4. lfi lfi Public

    Fault injection library

    Objective-C 22 10

  5. pix pix Public

    Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.

    C 16 2

  6. chef chef Public

    The Chef symbolic execution platform, based off S2E

    C 13 2

Repositories

Showing 10 of 43 repositories
  • lpn Public

    Repo for Performance Interfaces for Hardware Accelerators.

    dslab-epfl/lpn’s past year of commit activity
    C++ 2 0 0 0 Updated Jun 28, 2024
  • klint Public

    Repository for the "Automated Verification of Network Function Binaries" paper (NSDI'22).

    dslab-epfl/klint’s past year of commit activity
    Python 8 MIT 5 2 0 Updated Mar 27, 2024
  • concord Public
    dslab-epfl/concord’s past year of commit activity
    C 4 MIT 3 0 0 Updated Mar 25, 2024
  • ebpf-se Public

    Tool to symbolically execute eBPF programs

    dslab-epfl/ebpf-se’s past year of commit activity
    C 7 MIT 4 0 0 Updated Mar 5, 2024
  • mv-rlu Public Forked from cosmoss-jigu/mv-rlu

    MV-RLU: Scaling Read-Log-Update with Multi-Versioning

    dslab-epfl/mv-rlu’s past year of commit activity
    HTML 0 12 0 0 Updated Feb 5, 2024
  • systems-epfl.github.io Public

    Systems @epfl research group home page.

    dslab-epfl/systems-epfl.github.io’s past year of commit activity
    HTML 4 9 0 3 Updated Dec 5, 2023
  • nfos Public

    A framework for productive development of scalable network functions

    dslab-epfl/nfos’s past year of commit activity
    C 4 MIT 0 0 0 Updated Nov 13, 2023
  • nfos-experiments Public
    dslab-epfl/nfos-experiments’s past year of commit activity
    Lua 0 MIT 0 0 0 Updated Nov 9, 2023
  • tinynf Public

    Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)

    dslab-epfl/tinynf’s past year of commit activity
    Roff 57 MIT 7 0 0 Updated Apr 14, 2023
  • svshi Public

    Formal verification for smart infrastructure (buildings, cities, etc.)

    dslab-epfl/svshi’s past year of commit activity
    Python 8 MIT 3 0 2 Updated Feb 7, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…