Feb 13 3:30pm - 5PM Doctoral Thesis Proposal - Yash Savani YASH SAVANI Controlled Generation of Foundation Models for Training In Person and Virtual - ET Gates Hillman 9115 and Zoom Add event to Google Add event to iCal
Jan 23 10AM - 11:30am Doctoral Thesis Proposal - Joshua Clune JOSHUA CLUNE Leveraging Automated Theorem Provers for Lean Proof Automation 4405 & Zoom Gates and Hillman Centers Add event to Google Add event to iCal
Jan 12 9:30am - 11AM Doctoral Thesis Proposal - Zhihao Zhang ZHIHAO ZHANG A Path Towards Efficient Large Language Model Deployment through Algorithm and System Co-Design 6501 Gates & Hillman Centers Add event to Google Add event to iCal
Dec 8 12:30pm - 2PM Doctoral Thesis Proposal - Myra Dotzel MYRA DOTZEL Logical Foundations of Intermittent Computing In Person Reddy Conference Room, Gates Hillman 4405 Add event to Google Add event to iCal
Dec 2 10AM - 11:30am Doctoral Thesis Proposal - Kaiyang Zhao KAIYANG ZHAO Architecting Memory Efficiency in Modern Datacenters In Person Traffic21 Classroom, Gates Hillman 6501 Add event to Google Add event to iCal
Nov 20 9AM - 10:30am Doctoral Thesis Proposal - Cayden Codel CAYDEN CODEL Building a Verified SAT Toolchain in Trestle In Person and Virtual - ET Gates Hillman 8102 and Zoom Add event to Google Add event to iCal
Oct 22 12PM - 1:30pm Doctoral Thesis Proposal - Saranya Vijayakumar SARANYA VIJAYAKUMAR Protection Boundary Integrity: Detecting and Preventing Security Failures Across Contexts In Person Reddy Conference Room, Gates Hillman 4405 Add event to Google Add event to iCal
Oct 10 8:30am - 10AM Doctoral Thesis Proposal - Nicole Feng NICOLE FENG Robust Algorithms for Winding Numbers and Signed Distance In Person Reddy Conference Room, Gates Hillman 4405 Add event to Google Add event to iCal
Oct 3 4PM - 5:30pm Doctoral Thesis Proposal - Honghao Lin HONGHAO LIN Advances in Algorithms for Massive Data: Optimal Bounds, Adversarial Robustness, and Data-Driven Insights In Person and Virtual Newell-Simon 4305 and Zoom Add event to Google Add event to iCal
Sep 23 12PM - 1:30pm Doctoral Thesis Proposal - William Zhang WILLIAM ZHANG On Holistic Database Optimization via Leveraging Similarity Across Actions, Workloads, Configurations, and Scenarios In Person Gates Hillman 8115 Add event to Google Add event to iCal
