Skip to content

@xlab-uiuc xlab-uiuc

Change the repository type filter

All

    Repositories list

    82 repositories

    • verifiable-controllers

      Public
      This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
      Rust
      •
      Other
      •5•0•3•0•Updated Oct 1, 2024Oct 1, 2024

    • acto

      Public
      Push-Button End-to-End Testing of Kubernetes Operators and Controllers
      kubernetesoperatorkubernetes-operatorsoftware-reliabilitysystem-reliability
      Python
      •
      Apache License 2.0
      •43•113•18•10•Updated Oct 1, 2024Oct 1, 2024

    • ctest4j

      Public
      A configuration testing framework for Java
      Java
      •
      MIT License
      •0•3•1•1•Updated Sep 23, 2024Sep 23, 2024

    • dynamorio

      Public
      Dynamic Instrumentation Tool Platform
      C
      •
      Other
      •557•0•1•0•Updated Sep 22, 2024Sep 22, 2024

    • postgres

      Public
      Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
      C
      •
      Other
      •4.6k•0•0•0•Updated Sep 21, 2024Sep 21, 2024

    • memcached_rethinkvm

      Public
      memcached development tree
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •3.3k•0•0•0•Updated Sep 19, 2024Sep 19, 2024

    • ycsb

      Public
      Yahoo! Cloud Serving Benchmark
      Java
      •
      Apache License 2.0
      •2.2k•0•0•0•Updated Sep 12, 2024Sep 12, 2024

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      •
      Other
      •13k•0•0•0•Updated Sep 9, 2024Sep 9, 2024

    • linux-mcdc

      Public
      Measure Linux kernel's modified condition/decision coverage (MC/DC)
      Shell
      •2•6•5•1•Updated Sep 5, 2024Sep 5, 2024

    • qemu_ECPT

      Public
      Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
      C
      •
      Other
      •5.5k•0•1•0•Updated Aug 28, 2024Aug 28, 2024

    • llvm-rust

      Public
      Rust-specific fork of LLVM.
      LLVM
      •
      Other
      •12k•0•0•0•Updated Aug 24, 2024Aug 24, 2024

    • DeathStarBench

      Public
      Open-source benchmark suite for cloud microservices
      C
      •
      Apache License 2.0
      •403•0•0•0•Updated Jul 9, 2024Jul 9, 2024

    • acto-chameleon

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 9, 2024Jul 9, 2024

    • anvil-chameleon

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •0•1•0•0•Updated Jul 5, 2024Jul 5, 2024

    • memtis

      Public
      Tiered memory management
      C
      •18•0•7•0•Updated Jun 26, 2024Jun 26, 2024

    • llvm-mcdc

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
      Other
      •12k•0•0•0•Updated Jun 19, 2024Jun 19, 2024

    • cassandra

      Public
      Mirror of Apache Cassandra
      Java
      •
      Apache License 2.0
      •3.6k•0•0•0•Updated Jun 15, 2024Jun 15, 2024

    • kube-523

      Public
      Python
      •48•8•0•1•Updated May 10, 2024May 10, 2024

    • hugegpt-linux

      Public
      HugeGPT Linux Kernel Implementation
      C
      •
      Other
      •0•0•0•0•Updated May 1, 2024May 1, 2024

    • anvil-ae-cloudlab

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 19, 2024Apr 19, 2024

    • anvil-ae-data

      Public
      Apache License 2.0
      •0•0•0•0•Updated Apr 18, 2024Apr 18, 2024

    • sysbench

      Public
      Scriptable database and system performance benchmark
      C
      •
      GNU General Public License v2.0
      •1.1k•0•0•0•Updated Apr 6, 2024Apr 6, 2024

    • gups

      Public
      gups mirror
      C
      •8•0•0•0•Updated Apr 5, 2024Apr 5, 2024

    • graphBIG

      Public
      A Comprehensive Benchmark Suite for Graph Computing
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •35•0•0•0•Updated Apr 5, 2024Apr 5, 2024

    • ltp

      Public
      Linux Test Project http://linux-test-project.github.io/
      C
      •
      GNU General Public License v2.0
      •1k•0•0•0•Updated Mar 8, 2024Mar 8, 2024

    • memc3

      Public
      MemC3
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •35•0•0•0•Updated Feb 22, 2024Feb 22, 2024

    • dmt

      Public
      Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]
      C
      •3•7•0•0•Updated Feb 20, 2024Feb 20, 2024

    • craft

      Public
      C implementation of the Raft consensus protocol
      C
      •
      Other
      •136•0•0•0•Updated Jan 31, 2024Jan 31, 2024

    • lcov

      Public
      LCOV
      Perl
      •
      GNU General Public License v2.0
      •240•0•0•0•Updated Jan 10, 2024Jan 10, 2024

    • memcached_benchmark

      Public
      Rust
      •0•0•0•0•Updated Dec 19, 2023Dec 19, 2023