Skip to content

@sfu-rsl Reliable Systems Lab at SFU

Change the repository type filter

All

    Repositories list

    17 repositories

    • FastTrack

      Public
      GPU-Accelerated Tracking for ORB-SLAM3
      C++
      •1•3•0•0•Updated Feb 19, 2025Feb 19, 2025

    • leaf_dev

      Public
      Concolic execution for Rust through MIR instrumentation.
      Rust
      •
      Apache License 2.0
      •1•0•0•0•Updated Feb 9, 2025Feb 9, 2025

    • leaf

      Public
      Concolic execution for Rust through MIR instrumentation.
      Rust
      •
      Apache License 2.0
      •1•2•2•0•Updated Feb 7, 2025Feb 7, 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
      •340•0•0•0•Updated Dec 20, 2024Dec 20, 2024

    • 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
      •13k•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

    • gpu-block-solver

      Public
      Modified g2o with GPU support for general matrix calculations.
      C++
      •4•12•1•0•Updated Dec 25, 2023Dec 25, 2023

    • compute-engine

      Public
      GPU acceleration for sparse block matrix operations.
      C++
      •
      MIT License
      •0•1•0•0•Updated Dec 25, 2023Dec 25, 2023

    • 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.
      13k•0•0•0•Updated Jun 15, 2023Jun 15, 2023

    • llvm-project

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

    • symcc

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

    • kompute

      Public
      Fork of Kompute for modifications.
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated May 9, 2023May 9, 2023

    • libafl_symcc

      Public
      SymCC: efficient compiler-based symbolic execution
      C++
      •
      GNU General Public License v3.0
      •141•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