CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
Engineering 2 Engineering 2 1156 High Street, Santa Cruz
Free
7 events found.
Week of Events
Monday, November 17, 2025
No events on this day.
Tuesday, November 18, 2025
No events on this day.
Wednesday, November 19, 2025
-
November 19, 2025CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
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 […]
Free
Thursday, November 20, 2025
No events on this day.
Friday, November 21, 2025
-
Virtual EventNovember 21, 2025Torres, S. (ECE) – An Integrated Platform for Real-time Monitoring and Support of 3D Tissue Growth
Virtual Event
Torres, S. (ECE) – An Integrated Platform for Real-time Monitoring and Support of 3D Tissue Growth
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, limit consistency and real-time monitoring. To address these issues, we developed a modular microfluidic platform that integrates automated feeding, live fluorescence imaging, and environmental control […]
Saturday, November 22, 2025
No events on this day.
Sunday, November 23, 2025
No events on this day.