Skip to content

@xlab-uiuc xlab-uiuc

Change the repository type filter

All

    Repositories list

    114 repositories

    • 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
      •28•0•0•1•Updated Jul 27, 2026Jul 27, 2026

    • Specula

      Public
      Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
      Python
      •
      Apache License 2.0
      •26•2•0•0•Updated Jul 25, 2026Jul 25, 2026

    • SREGym-REU

      Public
      Can AI agents resolve production incidents?
      Python
      •
      MIT License
      •98•0•4•0•Updated Jul 19, 2026Jul 19, 2026

    • welder-ae-cloudlab

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 15, 2026Jul 15, 2026

    • acto

      Public
      Push-Button End-to-End Testing of Kubernetes Operators and Controllers
      kubernetesoperatorkubernetes-operator
      kubernetesoperatorkubernetes-operatorsoftware-reliabilitysystem-reliability
      Python
      •
      Apache License 2.0
      •46•136•18•9•Updated Jul 14, 2026Jul 14, 2026

    • welder-ae-data

      Public
      Apache License 2.0
      •0•0•0•0•Updated Jul 14, 2026Jul 14, 2026

    • linux-mcdc

      Public
      Measure Linux kernel's modified condition/decision coverage (MC/DC)
      Shell
      •2•13•7•0•Updated Jul 5, 2026Jul 5, 2026

    • vfree

      Public
      Python
      •4•0•2•4•Updated Jul 2, 2026Jul 2, 2026

    • oxbow

      Public
      Oxbow File System
      C
      •0•6•0•0•Updated Jun 7, 2026Jun 7, 2026

    • oxbow.bench

      Public
      0•0•0•0•Updated May 14, 2026May 14, 2026

    • oxbow.kernel

      Public
      C
      •
      Other
      •0•0•0•0•Updated May 12, 2026May 12, 2026

    • mitiq

      Public
      Mitiq is an open source toolkit for implementing error mitigation techniques on most current intermediate-scale quantum computers.
      Python
      •
      GNU General Public License v3.0
      •235•0•0•0•Updated Apr 30, 2026Apr 30, 2026

    • train-ticket

      Public
      Train Ticket - A Benchmark Microservice System
      Java
      •
      Apache License 2.0
      •455•12•0•1•Updated Apr 15, 2026Apr 15, 2026

    • opentelemetry-helm-charts

      Public
      OpenTelemetry Helm Charts fork for SREGym
      Go Template
      •
      Apache License 2.0
      •783•0•0•0•Updated Apr 6, 2026Apr 6, 2026

    • 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 alwa…
      C
      •
      Other
      •4•0•0•0•Updated Mar 17, 2026Mar 17, 2026

    • DebCovDiff

      Public
      Artifact of "DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects" (ASE '25)
      debianllvmgcc
      debianllvmgcccode-coveragedifferential-testing
      Python
      •
      Apache License 2.0
      •2•8•0•0•Updated Feb 15, 2026Feb 15, 2026

    • ciri

      Public
      Python
      •
      Apache License 2.0
      •0•8•0•0•Updated Feb 11, 2026Feb 11, 2026

    • emt-system-intelligence-benchmark

      Public
      EMT: An OS Framework for New Memory Translation Architectures
      Python
      •6•0•0•1•Updated Jan 29, 2026Jan 29, 2026

    • VM-Bench

      Public
      C
      •1•0•0•0•Updated Dec 23, 2025Dec 23, 2025

    • system-intelligence-benchmark

      Public
      System Intelligence Benchmark
      TLA
      •
      MIT License
      •11•0•0•0•Updated Dec 22, 2025Dec 22, 2025

    • stratus

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

    • Kscaler

      Public
      Source for observing scheduler behavior of bandwidth controlled applications - catcloud-6.12.0 is the most recent branch
      C
      •
      Other
      •64k•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.8k•0•0•0•Updated Oct 6, 2025Oct 6, 2025

    • llvm-project-DebCovDiff

      Public
      See https://github.com/xlab-uiuc/DebCovDiff
      LLVM
      •
      Other
      •18k•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
      •4•3•1•0•Updated Sep 30, 2025Sep 30, 2025

    • oat-cloudlab

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

    • flight-ticket

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

    • emt

      Public
      EMT: An OS Framework for New Memory Translation Architectures
      memorymemory-managementvirtualmemory
      memorymemory-managementvirtualmemoryaddress-translation
      Python
      •6•36•1•0•Updated Jul 22, 2025Jul 22, 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
      •16•0•0•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.