Presenter: 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 […]

Organoids are three-dimensional tissue cultures that model real organs and serve as valuable tools for studying development, disease, and treatment response. Traditional methods, which rely on manual handling and incubators, […]