Systems Research Group

Time: Nov 30 (Wed), 2022 @ 3:00 pm, Location: online
Stanley Bak (Stony Brook University), "Formal Verification for Autonomous Cyber-Physical Systems"

Time: Nov 07 (Mon), 2022 @ 3:00 pm, Location: online
Andreas Kipf (MIT), "Cardinality Estimation in the Learned Systems Era"

Time: Oct 11 (Tue), 2022 @ 10:30 am, Location: 655 ISEC and online
Vishal Shrivastav (Purdue University), "Enabling Stateful In-Network Computing at Multi-Terabit Line Rates"

Time: Aug 23 (Tue), 2022 @ 11:00 am, Location: 366 WVH and online
Yossi Gilad (Hebrew University of Jerusalem), "Groove: Flexible Metadata-Private Messaging"

Time: Aug 09 (Tue), 2022 @ 1:00 pm, Location: 655 ISEC and online
Sebastian Angel (University of Pennsylvania), "New Advances in Private Information Retrieval"

Time: Jul 06 (Wed), 2022 @ 11:00 am, Location: online
Chang Lou (Johns Hopkins University), "Demystifying and Checking Silent Semantic Violations in Large Distributed Systems"

Time: Jun 29 (Wed), 2022 @ 11:00 am, Location: 366 WVH and online
Dan Williams (Virginia Tech), "Isolation in the cloud: control the system calls, control the attackers"

Time: Mar 25 (Fri), 2022 @ 11:00 am, Location: online
Yongle Zhang (Purdue University), "Failure Diagnosis and Detection for Distributed Systems"

Time: Nov 19 (Fri), 2021 @ 11:00 am, Location: ISEC 142 and online
Seo Jin Park (MIT), "Efficient Strong Scaling Through Burst Parallel Training"

Time: Nov 03 (Wed), 2021 @ 11:00 am, Location: online
Cheng Tan (Northeastern University), "Constructing Certified Neural Networks for Computer Systems"

Time: Oct 14 (Thu), 2021 @ 1:30 pm, Location: ISEC 140 and online
Alan Liu (Boston University), "Can Sketch-based Telemetry be Ready for Prime Time?"