Seminars

*Abstract*: The denoising diffusion probabilistic model (DDPM) has become a cornerstone of generative AI.

Talk 1.

NetFridgeS: Enabling Dynamic Frequency Scaling on Network Switches through Carbon-Aware Routing

Talk 1.

NetFridgeS: Enabling Dynamic Frequency Scaling on Network Switches through Carbon-Aware Routing

In a functioning democracy, a free press plays a vital role in holding powerful institutions to account. But for journalism to thrive, citizens must be able to contact reporters securely—especially when revealing sensitive or controversial information.

Abstract not available

*Abstract*

At Google, we are exploring how CHERI can be used to build next-generation systems that deliver strong privacy and security guarantees with lower overhead, coupled with formal methods that prove both functional correctness and security across the entire stack. This is active WIP.

Find out what it's like to build and ship software at scale at Cambridge's fastest-growing tech company, with Joe Lawry Short

Please register for the talk at the following link: https://forms.gle/K2seHb8t4NR8oLcb6

Some catering will be provided.

Abstract not available