Skip to content

@TELOS-syslab TELOS-syslab

Change the repository type filter

All

    Repositories list

    9 repositories

    • telos-syslab.github.io

      Public
      TeX
      •
      MIT License
      •0•1•0•0•Updated Dec 17, 2025Dec 17, 2025

    • CortenMM-Artifact

      Public
      The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".
      Rust
      •
      Mozilla Public License 2.0
      •3•32•0•0•Updated Nov 12, 2025Nov 12, 2025

    • SimAI

      Public
      C++
      •
      Apache License 2.0
      •125•0•0•0•Updated Oct 29, 2025Oct 29, 2025

    • asterinas

      Public
      Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
      Rust
      •
      Other
      •252•1•0•0•Updated Oct 21, 2025Oct 21, 2025

    • Aeolia

      Public
      C
      •1•8•0•0•Updated Oct 11, 2025Oct 11, 2025

    • Pivot

      Public
      The artifact of the HPCA 2025 paper "Criticality-Aware Instruction-Centric Bandwidth Partitioning for Data Center Applications".
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •0•7•0•0•Updated Jul 19, 2025Jul 19, 2025

    • vostd

      Public
      A community preview of ongoing formal verification efforts for Asterinas
      Rust
      •9•0•0•0•Updated Jul 16, 2025Jul 16, 2025

    • hugescope-atc24-ae

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

    • relay

      Public
      RELAY: a data race detector.
      OCaml
      •
      Other
      •2•0•0•0•Updated Nov 22, 2023Nov 22, 2023