Company: Amazon AWS Project: Solvers’ portfolio for the Dafny verification language Student: Eric Mugnier Company Supervisor: Sean McLaughlin Advisor: YY Zhou
Company: Apple Project: Runtime Optimization of Machine Learning Compiler on Neutral Engine Student: Li Zhong Company Supervisor: Cecile Foret and Zheng Li Advisor: Yuanyuan (YY) Zhou
Company: Google Project: Using Machine Learning to Detect BGP Hijacking Student: Ben Du Company Supervisors: Ilker Nadi Bozkurt, Phillipa Gill Advisors: Alex Snoeren, KC Claffy
Company: Google Project: Specializing Linux paging policy with efficient Userspace delegation Student: Anil Yelam Company Supervisor: Kan Wu, Stanko Novakovic, and Kimberly Keeton Advisor: Alex Snoeren
Company: Google Project: Repurposing Pixel phones in the datacenter to reduce carbon emissions Student: Jennifer Switzer Advisor: Pat Pannuto and Ryan Kastner
Company: IBM Research Project: DPU-accelerated Near Storage Data Filtering Student: Narangerelt Batsoyol Company Supervisors: Daniel Waddington and Swaminathan Sundararaman Advisor: Steven Swanson
Company: Micron Project: Using LLVM to optimize workloads for CXL Student: Alex Bellon Company Supervisor: Eishan Mirakhur Advisor: Pat Pannuto and Deian Stefan
Company: Qualcomm AI Project: Generative Prompt-Based Data Augmentation for Non-IID Federated Learning with Stable Diffusion Student: Mahdi Morafah Company Supervisor: Matthias Reisser & Christos Louizos Advisor: Bill Lin
