Explore @ssrg-vt Open Source projects

Systems Software Research Group @ Virginia Tech (@ssrg-vt)

ssrg-vt

Stars
726
Global Org. Rank 18,958 (Top 7 %)
Registered over 7 years ago
Most used languages

C
65.4 %

C++
11.5 %

Python
7.7 %

Assembly
3.8 %

Isabelle 3.8 %

Shell
3.8 %

HTML
3.8 %
Location 🇺🇸 United States
Country Total Rank 11,434
Country Ranking

Isabelle 14

C
540

Assembly
1,052

C++
4,904

HTML
8,260

hermitux

A binary-compatible unikernel

popcorn-kernel

Popcorn Linux kernel for distributed thread execution

popcorn-compiler

Popcorn Linux compiler toolchain for heterogeneous-ISA execution

hermitux-kernel

SlimGuard

A Secure and Memory-Efficient Heap Allocator

FoxDec

Formally verified x86-64 decompilation

Chum-src

librettos-src

LibrettOS: A Dynamically Adaptable Multiserver-Library OS

renee-artifacts

popcorn-chameleon

Secure Popcorn Linux runtime state transformation framework

TransProc

Transform the CRIU image between different architectures for vanilla code.

popcorn-openmp

A collection of OpenMP applications ported from other benchmark suites for use with Popcorn Linux

kite

NFM_2021

aira

Automatic Instrumentation for Resource Adjustment (AIRA) framework

n3350_pacman

Case Study to demonstrate ARM-style PAC on Intel's Goldmont CPU with the help of micro-code patching.

mklinux

Old Popcorn Linux kernel

DynaCut

DynaCut: Dynamic and Adaptive Code Customization with Process Rewriting.

popcorn-xen-wiki

mklinux-ft

sail2pvs

HeterSec

Source code for the HeterSec project.

Luce-src

MonGuard

Artifact of the MonGuard pape (EuroSec'20)

numa-stm

popcorn-kernel-lib

Userspace tools for Popcorn rack

hermitux-toolchain

ebpf-fuzzer

A fuzzer for Linux eBPF module; build on top of LKL