Transfer Learning within a Heterogeneous Graph

Ecosystems in industry are commonly composed of various data types in terms of data modalities or feature distributions. Heterogeneous graphs (HGs) present these multimodal data systems in a unified view by defining multiple types of nodes and edges — for instance, e-commerce ne…

Verus: A tool for verified systems code in Rust

Part of the challenge (and fun) of low-level systems code is in the optimizations they employ: developers might use manual memory management, they might use bit-packing and bit-twiddling optimizations, or they might use multi-threading to speed up their code. When dealing with su…

Provably-Safe Sandboxing with WebAssembly

What if you could run untrusted code and still be able to sleep at night, safe and sound? Disclaimer: our award-winning work [1] can only calm your unsafe-software related fears; we recommend complementing this by additionally checking for monsters under your bed, and leaving …