Internal Paper Reading Group Meetings
Seminars with External Speakers
Time: Aug 05 (Mon), 2024 @ 10:30 am, Location: WVH 366
Haoran Ding (SJTU), "Automated Verification of Idempotence for Serverless Applications"
Time: May 02 (Thu), 2024 @ 11:00 am, Location: WVH 166 and online
Seo Jin Park (USC), "Tools to Facilitate Granular Distributed Computing (Ongoing Work)"
Time: Apr 19 (Fri), 2024 @ 12:30 0m, Location: WVH 362
Yuhong Zhong (Columbia University), "XRP: In-Kernel Storage Functions with eBPF"
Time: Nov 30 (Thu), 2023 @ 2:50 pm, Location: Hastings Suite 107
Joshua Fried (MIT), "Toward Practical Kernel Bypass for Datacenter Computing"
Time: Oct 18 (Wed), 2023 @ 3:00 pm, Location: 655 ISEC
Yossi Gilad (Hebrew University of Jerusalem), "Distributed PIR: Scaling Private Messaging via the Users' Machines"
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?"