Systems Research Group Seminar

"Join via MS Teams":https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZDE0NzFlMmYtODgyNi00N2M5LThhZGMtZGY2Zjk3M2FiOGJm%40thread.v2/0?context=%7b%22Tid%22%3a%2249a50445-bdfa-4b79-ade3-547b4f3986e9%22%2c%22Oid%22%3a%22c74ff4ca-98fe-4b28-9889-e119acc12f30%22%7d Many cloud and edge AI services today perform machine...

"MS Teams":https://teams.microsoft.com/l/meetup-join/19%3ameeting_ZDBmNDQ1NjItYzE4OC00Y2FkLWFkNWItODI0ZGI1ZWI4NGIy%40thread.v2/0?context=%7b%22Tid%22%3a%2249a50445-bdfa-4b79-ade3-547b4f3986e9%22%2c%22Oid%22%3a%22c74ff4ca-98fe-4b28-9889-e119acc12f30%22%7d Data Acquisition (DAQ) workloads form an important class of...

"Teams link -- click here":https://teams.microsoft.com/l/meetup-join/19%3ameeting_NmQ5YzhmYjUtZGZjYy00NGIzLWEzY2QtZWM2NWNmMzg4NTZh%40thread.v2/0?context=%7b%22Tid%22%3a%2249a50445-bdfa-4b79-ade3-547b4f3986e9%22%2c%22Oid%22%3a%22c74ff4ca-98fe-4b28-9889-e119acc12f30%22%7d Metastable failures refer to a class of catastrophic...

"Join on MS Teams":https://teams.microsoft.com/l/meetup-join/19%3ameeting_NGI3NThhZGMtNDFlNS00ZTJhLWJlYWUtYzAyYWIzZGMwODY4%40thread.v2/0?context=%7b%22Tid%22%3a%2249a50445-bdfa-4b79-ade3-547b4f3986e9%22%2c%22Oid%22%3a%22c74ff4ca-98fe-4b28-9889-e119acc12f30%22%7d The growing demand for data centre resources and the slower...

Datacenter systems and I/O devices now run at single-digit microsecond latencies, requiring nanosecond-scale operating systems. Traditional kernel-based operating systems impose an unaffordable overhead, so recent kernel-bypass OSes (e.g., Arrakis, Ix) and libraries (e.g., Caladan, eRPC) eliminate the OS kernel from the I/...

Operating systems must provide functionality that closely resembles that of a data management system, but existing query mechanisms are ad-hoc and idiosyncratic. To address this problem, we argue for the adoption of a relational interface to the operating system kernel. While prior work has made similar proposals, our...

Network traffic classification is essential for ensuring Quality of Service, enforcing policies, or identifying malware, botnets, and their corresponding command-and-control servers. However, the growing complexity of encrypted traffic, due to the prevalence of TLS, QUIC, and DNS over HTTPS, presents significant challenges...

Distributed Systems are inherently hard to build and reason about. Their combination of asynchrony and partial failures leads to complex edge cases that are rarely repeatable under test conditions. To address this problem, we can use formal methods to formally model and analyze our distributed systems, detecting error...

All traffic at Meta, Cloudflare, and many large companies are inspected, optimized, and balanced by tiny eBPF programs. Today, the eBPF ecosystem caters to the dominant open-source use cases, i.e., debugging (observability), and network functions (e.g., Firewalls, and cloud networking). However, a growing set of use cases...

Modern cloud services operate at significant and increasing scale. The growth of these services has led to the need for automated management in the form of orchestrators. The significant uptake of orchestrators has led to their expansion out of private datacenters, into the public cloud, and now even towards the edge of...