Skip to content

@ssrg-vt Systems Software Research Group @ Virginia Tech

Change the repository type filter

All

    Repositories list

    76 repositories

    • BeePL_compcert

      Public
      Rocq Prover
      •
      Other
      •0•2•0•0•Updated Oct 30, 2025Oct 30, 2025

    • FoxDec

      Public
      Formally verified x86-64 decompilation
      HTML
      •
      Apache License 2.0
      •2•44•4•0•Updated Oct 30, 2025Oct 30, 2025

    • rumprun-servers

      Public
      0•0•0•0•Updated Oct 21, 2025Oct 21, 2025

    • x86-to-LLVM-IR_LLM

      Public
      Irek's repository - working on using LLMs to convert from x86 to either LLVM IR or to Cheri directly
      Jupyter Notebook
      •0•0•0•0•Updated Aug 15, 2025Aug 15, 2025

    • driver_translation

      Public
      Exploring linux device driver translation from C to Rust
      C
      •0•0•0•0•Updated Jul 17, 2025Jul 17, 2025

    • FoxDeL

      Public
      Assembly to LLVM IR lifter for x86-64 ELF Executables
      ANTLR
      •
      Apache License 2.0
      •1•0•0•0•Updated Jul 7, 2025Jul 7, 2025

    • koka-ebpf-experiments

      Public
      Implementations of eBPF examples in Koka
      C
      •0•1•0•0•Updated May 2, 2025May 2, 2025

    • hapstone

      Public
      Capstone bindings for Haskell: https://github.com/aquynh/capstone
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •6•0•0•0•Updated Nov 15, 2024Nov 15, 2024

    • borrowing_calculus_coq

      Public
      Coq
      •0•0•0•0•Updated Nov 6, 2024Nov 6, 2024

    • koka

      Public
      Koka language compiler and interpreter
      Haskell
      •
      Other
      •189•0•0•0•Updated Oct 27, 2024Oct 27, 2024

    • koka_coq

      Public
      TeX
      •0•0•0•0•Updated Oct 15, 2024Oct 15, 2024

    • hermitux

      Public
      A binary-compatible unikernel
      unikernel
      C
      •29•398•16•0•Updated Aug 13, 2024Aug 13, 2024

    • SlimGuard

      Public
      A Secure and Memory-Efficient Heap Allocator
      securityheap-algorithmmiddleware2019
      C++
      •
      MIT License
      •8•34•3•0•Updated Jun 21, 2024Jun 21, 2024

    • compcert_stack_aware

      Public
      Coq
      •
      Other
      •0•0•0•0•Updated Jun 14, 2024Jun 14, 2024

    • TransProc

      Public
      Transform the CRIU image between different architectures for vanilla code.
      C
      •
      MIT License
      •2•6•1•1•Updated May 16, 2024May 16, 2024

    • popcorn-compiler

      Public
      Popcorn Linux compiler toolchain for heterogeneous-ISA execution
      popcorn
      C
      •23•49•9•1•Updated Apr 5, 2024Apr 5, 2024

    • librettos-packages

      Public
      Packages for LibrettOS
      C
      •
      Other
      •3•0•0•0•Updated Dec 7, 2023Dec 7, 2023

    • DynaCut

      Public
      DynaCut: Dynamic and Adaptive Code Customization with Process Rewriting.
      criucode-customizationprocess-rewriting
      C
      •
      MIT License
      •0•2•6•0•Updated Nov 15, 2023Nov 15, 2023

    • ebpf-fuzzer

      Public
      A fuzzer for Linux eBPF module; build on top of LKL
      C
      •
      Other
      •3•5•1•0•Updated Sep 5, 2023Sep 5, 2023

    • HermitCore

      Public
      A Unikernel for Extreme-Scale Computing
      popcorn-xen
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •42•0•0•0•Updated Aug 11, 2023Aug 11, 2023

    • HW-Accel-APP-VM

      Public
      Accelerating Applications Inside Virtual Machines Running on Embedded Platforms
      0•1•0•0•Updated Jul 24, 2023Jul 24, 2023

    • popcorn-kernel

      Public
      Popcorn Linux kernel for distributed thread execution
      kernelpopcorn
      C
      •
      Other
      •23•167•43•0•Updated Jul 16, 2023Jul 16, 2023

    • CRIU-RTX

      Public
      CRIU with Remote Thread eXecution (RTX)
      C
      •
      MIT License
      •3•0•0•0•Updated Jun 29, 2023Jun 29, 2023

    • sMVX

      Public
      sMVX: Multi-Variant Execution on Selected Code Paths
      C
      •
      MIT License
      •0•1•0•0•Updated Feb 22, 2023Feb 22, 2023

    • hermit-caves

      Public
      Tool to start and handle HermitCore applications
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •12•0•0•0•Updated Feb 18, 2023Feb 18, 2023

    • hermitux-kernel

      Public
      unikernel
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •28•35•2•0•Updated Jan 12, 2023Jan 12, 2023

    • popcorn-benchmark

      Public
      Application collection for popcorn linux (include both homogeneous and heterogeneous setting)
      C
      •2•0•1•0•Updated Nov 8, 2022Nov 8, 2022

    • mklinux-compiler

      Public
      Old Popcorn Compiler Toolchain
      legacypopcorn
      C
      •1•0•0•1•Updated Oct 16, 2022Oct 16, 2022

    • kite

      Public
      C
      •
      Other
      •0•3•0•0•Updated Sep 18, 2022Sep 18, 2022

    • hermitux-musl

      Public
      C
      •
      Other
      •1•0•0•0•Updated Sep 1, 2022Sep 1, 2022