Retroscope
-
Reading Group. Aragog: Scalable Runtime Verification of Shardable Networked Systems
We have covered 50 papers in the reading group so far! This week we looked at the “Aragog: Scalable Runtime Verification of Shardable Networked Systems” from OSDI’20. This paper discusses the problem of verifying the network functions (NFs), such as NAT Gateways or firewalls at the runtime. The problem is quite challenging due to its…
-
Retroscoping Zookeeper Staleness
ZooKeeper is a popular coordination service used as part of many large scale distributed systems. ZooKeeper provides a file-system inspired abstraction to the users on top of its replicated key-value store. Like other Paxos-inspired protocols, ZooKeeper is typically deployed on at least 3 nodes, and can tolerate F node failure for a cluster of size…
Search
Recent Posts
- Reading Group #150. Model Checking Guided Testing for Distributed Systems.
- Reading Group #149. On-demand Container Loading in AWS Lambda
- Winter 2023-2024 Reading Group Papers
- Reading Group. Oakestra: A Lightweight Hierarchical Orchestration Framework for Edge Computing
- Reading Group. Palette Load Balancing: Locality Hints for Serverless Functions
Categories
- One Page Summary (10)
- Other Thoughts (10)
- Paper Review and Summary (14)
- Playing Around (14)
- Reading Group (92)
- RG Special Session (4)
- Teaching (1)