Skip to content

@sfu-rsl Reliable Systems Lab at SFU

Change the repository type filter

All

    Repositories list

    20 repositories

    • bv

      Public
      Artifact for the paper "Formalization, Implementation, and Verification of the Bluetooth L2CAP State Machine" at MobiCom'25
      Dafny
      •0•0•0•0•Updated Sep 7, 2025Sep 7, 2025

    • bv-manifest

      Public
      0•0•0•0•Updated Sep 7, 2025Sep 7, 2025

    • bv-source

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Sep 7, 2025Sep 7, 2025

    • leaf_dev

      Public
      Concolic execution for Rust through MIR instrumentation.
      Rust
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 26, 2025Aug 26, 2025

    • gpu-block-solver

      Public
      Modified g2o with GPU support for general matrix calculations.
      C++
      •4•14•1•0•Updated Jun 28, 2025Jun 28, 2025

    • compute-engine

      Public
      GPU acceleration for sparse block matrix operations.
      C++
      •
      MIT License
      •0•1•0•0•Updated Jun 28, 2025Jun 28, 2025

    • kompute

      Public
      Fork of Kompute for modifications.
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 28, 2025Jun 28, 2025

    • FastTrack

      Public
      GPU-Accelerated Tracking for ORB-SLAM3
      C++
      •2•6•0•0•Updated Jun 17, 2025Jun 17, 2025

    • cargo-minimize

      Public
      A tool to help with minimization of Rust code
      Rust
      •
      Apache License 2.0
      •9•0•0•0•Updated Apr 17, 2025Apr 17, 2025

    • LibAFL

      Public
      Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
      Rust
      •
      Apache License 2.0
      •397•0•0•0•Updated Apr 15, 2025Apr 15, 2025

    • jacobiGPU

      Public
      C++
      •0•0•0•0•Updated Sep 14, 2024Sep 14, 2024

    • rust-leaf

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      •
      Other
      •14k•0•0•0•Updated Jun 19, 2024Jun 19, 2024

    • challenge-001-exemplar

      Public
      Challenge Problem #1 - Linux Kernel
      Python
      •
      MIT License
      •30•0•0•0•Updated Apr 3, 2024Apr 3, 2024

    • symrustc_toolchain

      Public
      Rust
      •2•3•0•0•Updated Jun 28, 2023Jun 28, 2023

    • symrustc

      Public
      SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.
      Shell
      •2•10•7•0•Updated Jun 28, 2023Jun 28, 2023

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      14k•0•0•0•Updated Jun 15, 2023Jun 15, 2023

    • llvm-project

      Public
      Rust-specific fork of LLVM.
      15k•0•0•0•Updated Jun 15, 2023Jun 15, 2023

    • symcc

      Public
      SymCC: efficient compiler-based symbolic execution
      145•0•0•0•Updated Jun 14, 2023Jun 14, 2023

    • libafl_symcc

      Public
      SymCC: efficient compiler-based symbolic execution
      C++
      •
      GNU General Public License v3.0
      •145•0•0•0•Updated Apr 18, 2023Apr 18, 2023

    • course_itp_fds_ss20

      Public
      Lecture course on verified Functional Data Structures
      Isabelle
      •5•0•0•0•Updated Oct 24, 2022Oct 24, 2022