Pinned Repositories
anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
equivalence
skypilot
SkyPilot: Run AI and batch jobs on any infra (Kubernetes or 12+ clouds). Get unified execution, cost savings, and high GPU availability via a simple interface.
Tai-e
An easy-to-learn/use static analysis framework for Java
Validation
verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
YCSB-cpp
skypilot
SkyPilot: Run AI and batch jobs on any infra (Kubernetes or 12+ clouds). Get unified execution, cost savings, and high GPU availability via a simple interface.
reading-system-verification-papers
A reading group for system verification papers
euclidgame's Repositories
euclidgame/equivalence
euclidgame/skypilot
SkyPilot: Run AI and batch jobs on any infra (Kubernetes or 12+ clouds). Get unified execution, cost savings, and high GPU availability via a simple interface.
euclidgame/Tai-e
An easy-to-learn/use static analysis framework for Java
euclidgame/Validation
euclidgame/verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
euclidgame/YCSB-cpp