jiangyy / c3

Related projects ⓘ

Alternatives and complementary repositories for c3

• sslab-gatech / libmpk
  ☆48Updated 3 years ago
• sslab-gatech / shfllock
  ☆40Updated 3 years ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• cocoppang / ShieldStore
  Trusted in-memory key-value store based on ShieldStore which is published in EuroSys 2019
  ☆37Updated 2 years ago
• ix-project / dune
  ☆31Updated 6 years ago
• ut-osa / strata
  Strata: A Cross Media File System
  ☆70Updated last year
• IPADS-DuVisor / kvm-tutorial
  ☆22Updated last year
• columbia / crane
  Transparent Paxos
  ☆43Updated 5 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆29Updated 2 years ago
• xu910121 / x86_64-Architecture
  x86_64体系结构学习
  ☆10Updated 5 years ago
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 4 years ago
• jakobbotsch / llvm-sgx
  LLVM with SGX support
  ☆13Updated 6 years ago
• efeslab / DMon-AE
  DMon Prototype for OSDI 2021 Artifact Evaluation
  ☆21Updated 3 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆46Updated this week
• sonarsys / BadgerTrap
  BadgerTrap is a tool to instrument x86-64 TLB misses.
  ☆11Updated 8 years ago
• madsys-dev / syscall_intercept
  The system call intercepting library
  ☆22Updated 2 years ago
• thu-pacman / Spindle
  ☆31Updated last year
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆34Updated last year
• utsaslab / optfs
  The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…
  ☆33Updated 11 years ago
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• WiscADSL / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆16Updated last year
• OSUSysLab / wPerf
  ☆53Updated 4 years ago
• stonysystems / depfast-ae
  ☆18Updated 2 weeks ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆22Updated 2 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week
• sslab-gatech / fxmark
  FxMark: Filesystem Multicore Scalability Benchmark
  ☆62Updated 3 years ago
• foxhoundsk / FlexSC
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Updated 4 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆94Updated 7 years ago