CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
Engineering 2 Engineering 2 1156 High Street, Santa Cruz, CAPresenter: Ranjit Jhala, UCSD Abstract: Rust has risen as a language of choice for new systems code — from OS kernels to hypervisors, firmware and run-times — as it is memory […]