"HyperOS Systems"@cs .