Repositories list

• page-success-exception

  Public
  Nix

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 8, 2026Sep 8, 2026

• PvCC

  Public
  This repository contains the artifact for the Middleware'24 paper: "PvCC: A vCPU Scheduling Policy for DPDK-applied Systems at Multi-Tenant Edge Data Centers"

  Python

  •11 fork•22 stars•00 issues•00 pull requests•Updated Jul 22, 2025Jul 22, 2025

• ST_Free

  Public
  C++

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 15, 2025Apr 15, 2025

• FiTx

  Public
  Bug detection framework for finding Finger tracable bugs in Linux

  C++

  •00 forks•2121 stars•11 issue•00 pull requests•Updated Mar 23, 2025Mar 23, 2025

• FWinst

  Public
  An emulation context-aware filter presented in "Hardening Hypervisors against Vulnerabilities in Instruction Emulators"

  GNU General Public License v2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 31, 2024Jan 31, 2024

• mergeable-page-demo

  Public
  C

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 25, 2023Oct 25, 2023

• ple-kvm

  Public
  Patches for "Mitigating Excessive Pause-Loop Exiting in VM-Agnostic KVM"

  11 fork•44 stars•00 issues•00 pull requests•Updated Jul 13, 2021Jul 13, 2021

• sgx-mtcp

  Public
  Port of the mTCP user-level TCP library to Intel SGX

  C

  •

  Other

  •00 forks•11 star•00 issues•00 pull requests•Updated May 3, 2021May 3, 2021

• beignet

  Public
  Beignet is an open source implementation of the OpenCL specification - a generic compute oriented API. Here is Beignet Source Code Mirror in github- This is a …

  C++

  •

  GNU Lesser General Public License v2.1

  •4040 forks•00 stars•00 issues•00 pull requests•Updated Oct 5, 2018Oct 5, 2018

• linux-gdev

  Public
  gdev linux kernel (WIP)

  C

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 25, 2017Dec 25, 2017