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 safe and provides the sort of abstractions needed for efficient low-level systems implementation. We present Flux, a refinement type checker for Rust that shows how […]