| Date |
Topic |
Speaker |
| 8/27 |
CAP Seminar, 4pm, 1040 NCSA Building
Cache Coherence Protocols are Notoriously Hard Easy
|
Vijay Nagarajan
(University of Utah)
|
| 8/30 |
Introduction and organization
|
Jongyul Kim
Ramnatthan Alagappan
Aishwarya Ganesan
Indy Gupta
Tianyin Xu
|
| 9/6 |
VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity
OSDI, 2023
|
Cathy Cai
|
| 9/13 |
HotGPT: How to Make Software Documentation More Useful with a Large Language Model?
HotOS, 2023
|
Yiming Su
|
| 9/20 |
ScaleCache: A Scalable Page Cache for Multiple Solid-State Drives
EuroSys, 2024
|
Seokjoo Cho
|
| 9/23 |
CS colloquium (talk info)
AI for Health with Wearables
|
Chenyang Lu
(Washington University in St. Louis)
|
| 9/27 |
IronSpec: Increasing the Reliability of Formal Specifications
OSDI, 2024
|
Xudong Sun
|
| 10/4 |
No Seminar
|
|
| 10/11 |
Practice talk
Operation Reliability as a Cloud System Business
IBM Research Day
|
Tyler Gu and Tianyin Xu
|
| 10/15 |
CS527 Guest Lecture (Zoom with the link sent on Slack and SysNet mailing list)
Advanced Debugging Techniques in Practice
(talk info)
|
Robert (Rob) O'Callahan
(Google)
|
| 10/18 |
Practice talk
LazyLog: A New Shared Log Abstraction for Low-Latency Applications
SOSP, 2024.
|
Xuhao Luo
|
| 10/25 |
Understanding, Characterizing and Exposing Deeply-Nested Bugs in Large-Scale Systems
(talk info)
|
Bogdan Stoica
(University of Chicago)
|
| 10/30 |
DLS, 3:30pm (talk info)
Enabling Efficient Memory Systems using Novel Compression Methods
|
Per Stenstrom
(Chalmers University of Technology)
|
| 11/1 |
1pm on Zoom (announced on Slack and mailing list)
A Journey to Reliable Databases: from SQL Generation to Test-Oracle Construction
(talk info)
|
Zu-Ming Jiang
(ETH)
|
| 11/7 |
ECE DLS, 1002 Grainger Auditorium, 4:00pm (talk info)
Optimizing Software for Dedicated Hardware
|
Joseph Jablonski
(Ocient Inc)
|
| 11/8 |
Airing Cloud Resource Management’s Dirty Laundry (and a Washing Machine to Clean It Up)
|
Chirag Shetty
|
| 11/14 |
Special Seminar, 2pm, SC 3401
Principled data-driven ML-based approaches for Networked Systems
(talk info)
|
Sanjay Rao
(Purdue University)
|
| 11/15 |
Autobahn: Seamless high speed BFT
(talk info)
|
Neil Giridharan
(UC Berkeley)
|
| 11/22 |
Bellerophon: Non-Interactive and Verifier-Free Remote Attestation
(talk info)
|
Deepak Sirone
(University of Wisconsin-Madison)
|
| 11/29 |
Fall Break
|
Sleep/Food/Drink
|