Skip to content
Change the repository type filter

All

    Repositories list

    • C
      0000Updated Jan 29, 2026Jan 29, 2026
    • "A Comprehensive Study of Concurrency Bugs in the Linux Kernel", Sishuai Gong, Chih-En Lin, Kevin Wu, Edwin Lu, Pedro Fonseca
      0300Updated Jan 27, 2026Jan 27, 2026
    • snowplow

      Public
      Sishuai Gong, Rui Wang, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator"
      Go
      21620Updated Sep 30, 2025Sep 30, 2025
    • Python
      31210Updated Sep 19, 2025Sep 19, 2025
    • uswitch

      Public
      Code for the paper: uSwitch: Fast Kernel Context Isolation with Implicit Context Switches
      C
      11110Updated May 31, 2025May 31, 2025
    • snowboard

      Public
      This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard: Finding Kernel Concurr…
      C
      62700Updated May 28, 2025May 28, 2025
    • pegasus

      Public
      C++
      0000Updated Mar 4, 2025Mar 4, 2025
    • 0800Updated Sep 3, 2024Sep 3, 2024
    • C
      0000Updated Aug 30, 2024Aug 30, 2024
    • f-stack

      Public
      C
      0100Updated Aug 30, 2024Aug 30, 2024
    • Python
      0300Updated Mar 26, 2024Mar 26, 2024
    • This artifact accompanies the paper 'Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts,' which has been accepted for presentation at EuroS…
      Jupyter Notebook
      22100Updated Nov 8, 2023Nov 8, 2023
    • snowcat

      Public
      This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowcat: Efficient …
      01500Updated Oct 24, 2023Oct 24, 2023
    • On-demand-fork
      C
      33220Updated Mar 28, 2023Mar 28, 2023
    • This is the artifact of "KIT: Testing OS-level Virtualization for Functional Interference Bugs" in ASPLOS'23.
      C
      21110Updated Oct 20, 2022Oct 20, 2022
    • kit

      Public
      Kernel isolation tester.
      Go
      41800Updated Oct 20, 2022Oct 20, 2022
    • 0000Updated Jul 17, 2022Jul 17, 2022
    • shard

      Public
      LLVM
      31300Updated Oct 17, 2021Oct 17, 2021
    • Python
      0300Updated Aug 20, 2020Aug 20, 2020
    • Fast interactive code navigation
      Shell
      2200Updated Oct 14, 2019Oct 14, 2019