verification

  • Reading Group. Aragog: Scalable Runtime Verification of Shardable Networked Systems

    ·

    Placeholder Icon

    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…

    Read More

  • Reading Group Special Session: Building Distributed Systems With Stateright

    ·

    Placeholder Icon

    This talk is part of the Distributed Systems Reading Group. Stateright is a software framework for analyzing and systematically verifying distributed systems. Its name refers to its goal of verifying that a system’s collective state always satisfies a correctness specification, such as “operations invoked against the system are always linearizable.” Cloud service providers like AWS…

    Read More

  • Reading Group. Compositional Programming and Testing of Dynamic Distributed Systems

    ·

    Placeholder Icon

    We have resumed the reading group after one week of Thanksgiving break. On Wednesday, we have discussed “Compositional Programming and Testing of DynamicDistributed Systems.” This paper is on the edge between programming languages, distributed systems, and some formal methods/verification. The premise of the paper is to decompose large monolithic distributed programs into smaller pieces and…

    Read More