38 citations · 63 across the 23 of their papers we have counts for
4 papers · 1 filter
Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Oded Padon, Giuliano Losa, Mooly Sagiv +1
Distributed protocols such as Paxos play an important role in many computer systems. Therefore, a bug in a distributed protocol may have tremendous effects. Accordingly, a lot of e…
Programming Not Only by Example
Hila Peleg, Sharon Shoham, Eran Yahav
In recent years, there has been tremendous progress in automated synthesis techniques that are able to automatically generate code based on some intent expressed by the programmer.…
Bounded Quantifier Instantiation for Checking Inductive Invariants
Yotam M. Y. Feldman, Oded Padon, Neil Immerman +2
We consider the problem of checking whether a proposed invariant expressed in first-order logic with quantifier alternation is inductive, i.e. preserved by a piece of code. Whi…
Abstract Interpretation of Stateful Networks
Kalev Alpernas, Roman Manevich, Aurojit Panda +4
Modern networks achieve robustness and scalability by maintaining states on their nodes. These nodes are referred to as middleboxes and are essential for network functionality. How…