uw-unsat

icon indicating a website link https://unsat.systems

icon location Seattle, WA

Results 5 repositories owned by uw-unsat

hyperkernel

180
Stars
25
Forks
Watchers

verified publisher icon uw-unsat

jitterbug

40
Stars
4
Forks
Watchers

Verification of BPF JIT compilers

verified publisher icon uw-unsat

serval

40
Stars
10
Forks
Watchers

verified publisher icon uw-unsat

serval-sosp19

28
Stars
6
Forks
Watchers

This repo contains the artifact for our SOSP'19 paper on Serval

verified publisher icon uw-unsat

yggdrasil

30
Stars
7
Forks
Watchers

verified publisher icon uw-unsat