Ordered Systems Lab

icon indicating a website link https://orderlab.io

icon location United States of America icon location The Ordered Systems Lab at University of Michigan CSE

Results 3 repositories owned by Ordered Systems Lab

violet

16
Stars
0
Forks
Watchers

Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration

verified publisher icon OrderLab

OKLib

23
Stars
4
Forks
Watchers

OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems

verified publisher icon OrderLab

orbit

18
Stars
0
Forks
Watchers

Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications

verified publisher icon OrderLab