curtsinger-lab / riker

Related projects ⓘ

Alternatives and complementary repositories for riker

• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆134Updated 2 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆49Updated last month
• dettrace / dettrace
  A determinizing tracer using Ptrace
  ☆34Updated 4 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆93Updated last week
• zyedidia / lfi
  LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆45Updated this week
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆83Updated this week
• LinuxPerfStudy / LEBench
  ☆60Updated 4 months ago
• gz / autoperf
  Simplify the use of performance counters.
  ☆62Updated 2 years ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 4 years ago
• LLNL / umap
  User-space Page Management
  ☆104Updated 3 months ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆119Updated 2 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated last year
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆21Updated 2 months ago
• stanford-mast / shinjuku
  ☆45Updated last year
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆83Updated last week
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆25Updated last month
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆19Updated last week
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 2 years ago
• parttimenerd / temci
  An advanced benchmarking tool
  ☆144Updated 2 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated 5 months ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆95Updated 3 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆77Updated this week
• upenn-acg / ocolos-public
  Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.
  ☆52Updated last year
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• uw-unsat / exoverifier
  ☆16Updated last year
• olivierpierre / unikernel-papers
  ☆108Updated this week
• bpfverif / agni
  ☆16Updated 2 weeks ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆15Updated this week