Skip to content

@xlab-uiuc xlab-uiuc

Change the repository type filter

All

    Repositories list

    110 repositories

    • DebCovDiff

      Public
      Artifact of "DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects" (ASE '25)
      debianllvmgcccode-coveragedifferential-testing
      Python
      •
      Apache License 2.0
      •2•6•0•0•Updated Nov 22, 2025Nov 22, 2025

    • Fast-and-Safe-IO-Memory-Protection

      Public
      Shell
      •3•0•3•1•Updated Nov 21, 2025Nov 21, 2025

    • iommu-vm

      Public
      Shell
      •0•2•0•0•Updated Nov 18, 2025Nov 18, 2025

    • Specula

      Public
      Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
      TLA
      •
      Apache License 2.0
      •11•2•0•0•Updated Oct 27, 2025Oct 27, 2025

    • stratus

      Public
      Python
      •
      Apache License 2.0
      •0•5•0•0•Updated Oct 23, 2025Oct 23, 2025

    • linux-mcdc

      Public
      Measure Linux kernel's modified condition/decision coverage (MC/DC)
      Shell
      •2•11•7•0•Updated Oct 21, 2025Oct 21, 2025

    • Kscaler

      Public
      Source for observing scheduler behavior of bandwidth controlled applications - catcloud-6.12.0 is the most recent branch
      C
      •
      Other
      •59k•1•0•1•Updated Oct 13, 2025Oct 13, 2025

    • gcc-DebCovDiff

      Public
      See https://github.com/xlab-uiuc/DebCovDiff
      C++
      •
      GNU General Public License v2.0
      •4.6k•0•0•0•Updated Oct 6, 2025Oct 6, 2025

    • llvm-project-DebCovDiff

      Public
      See https://github.com/xlab-uiuc/DebCovDiff
      LLVM
      •
      Other
      •15k•0•0•0•Updated Oct 6, 2025Oct 6, 2025

    • aiopslab-applications

      Public
      This is where the targeted applications for AIOpsLab are stored.
      Lua
      •
      Apache License 2.0
      •3•3•1•0•Updated Sep 30, 2025Sep 30, 2025

    • oat-cloudlab

      Public
      Python
      •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

    • qemu-nested

      Public
      This assists the iommufd upstream, and new features like Intel(R) scalable IOV (SIOV) and Shared Virtual Addressing (SVA). Note that, to play with it, it's always recommended to ask the repo owner to get a paired kernel and Qemu branch as the Qemu branch may require new uAPIs. Key contributor: Zhenzhong Duan (github: duanzhenzhong)
      C
      •
      Other
      •4•0•0•0•Updated Sep 14, 2025Sep 14, 2025

    • train-ticket

      Public
      Train Ticket - A Benchmark Microservice System
      Java
      •
      Apache License 2.0
      •417•5•0•0•Updated Sep 1, 2025Sep 1, 2025

    • acto

      Public
      Push-Button End-to-End Testing of Kubernetes Operators and Controllers
      kubernetesoperatorkubernetes-operatorsoftware-reliabilitysystem-reliability
      Python
      •
      Apache License 2.0
      •48•129•18•10•Updated Aug 26, 2025Aug 26, 2025

    • flight-ticket

      Public
      Python
      •3•1•1•0•Updated Aug 11, 2025Aug 11, 2025

    • opentelemetry-helm-charts

      Public
      OpenTelemetry Helm Charts fork for SREArena
      Smarty
      •
      Apache License 2.0
      •681•0•0•0•Updated Aug 11, 2025Aug 11, 2025

    • emt

      Public
      EMT: An OS Framework for New Memory Translation Architectures
      memorymemory-managementvirtualmemoryaddress-translation
      Python
      •3•23•1•0•Updated Jul 22, 2025Jul 22, 2025

    • rex

      Public
      Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.
      Rust
      •
      GNU General Public License v2.0
      •10•0•0•0•Updated Jul 13, 2025Jul 13, 2025

    • anvil

      Public
      This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
      Rust
      •
      Other
      •11•0•1•0•Updated Jun 19, 2025Jun 19, 2025

    • geni-lib

      Public
      Python 3 fork of geni-lib.
      Python
      •
      Mozilla Public License 2.0
      •0•0•0•0•Updated Jun 9, 2025Jun 9, 2025

    • open-gpu-kernel-modules

      Public
      NVIDIA Linux open GPU kernel module source
      C
      •
      Other
      •1.5k•0•0•0•Updated May 22, 2025May 22, 2025

    • AIOpsLab

      Public
      A holistic framework to enable the design, development, and evaluation of autonomous AIOps agents.
      Python
      •
      MIT License
      •125•12•5•0•Updated May 21, 2025May 21, 2025

    • VM-Bench

      Public
      C
      •0•0•0•0•Updated May 15, 2025May 15, 2025

    • ITBench-Scenarios

      Public
      Code repository for scenarios and environment setup as part of ITBench
      Python
      •
      Apache License 2.0
      •23•0•0•0•Updated May 11, 2025May 11, 2025

    • emt-linux

      Public
      C
      •
      Other
      •0•1•0•0•Updated May 8, 2025May 8, 2025

    • dynamorio

      Public
      Dynamic Instrumentation Tool Platform
      C
      •
      Other
      •601•0•0•0•Updated May 4, 2025May 4, 2025

    • cloudtest

      Public
      This repository contains results of systematic analysis of cloud emulators used in software testing, focusing on their fidelity compared to real cloud services.
      Python
      •0•2•12•0•Updated Apr 30, 2025Apr 30, 2025

    • ycsb

      Public
      Yahoo! Cloud Serving Benchmark
      Java
      •
      Apache License 2.0
      •2.3k•0•0•0•Updated Apr 28, 2025Apr 28, 2025

    • ITBench2

      Public
      Code repository for sample scenarios as part of ITBench
      Python
      •
      Apache License 2.0
      •23•0•0•0•Updated Apr 24, 2025Apr 24, 2025

    • postgresql-14.13

      Public
      C
      •
      Other
      •0•0•0•0•Updated Apr 14, 2025Apr 14, 2025