`Travelled to:`

1 × India

`Collaborated with:`

S.Shoham M.Sagiv G.Losa N.Immerman A.Karbyshev K.L.McMillan B.R.Churchill R.S.0001 A.Aiken I.Berkovits M.Lazic A.Panda O.Lahav J.Hoenicke A.Podelski Marcelo Taube J.R.Wilcox D.Woos

`Talks about:`

decid (4) distribut (3) verif (3) safeti (2) logic (2) decomposit (1) threshold (1) algorithm (1) protocol (1) interact (1)

## Person: Oded Padon

### DBLP: Padon:Oded

### Contributed to:

### Wrote 8 papers:

- POPL-2015-PadonIKLSS #policy
- Decentralizing SDN Policies (OP, NI, AK, OL, MS, SS), pp. 663–676.
- CAV-2019-BerkovitsLLPS #algorithm #composition #decidability #distributed #logic #verification
- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics (IB, ML, GL, OP, SS), pp. 245–266.
- OOPSLA-2017-PadonLSS #decidability #distributed #protocol #reasoning
- Paxos made EPR: decidable reasoning about distributed protocols (OP, GL, MS, SS), p. 31.
- PLDI-2016-PadonMPSS #interactive #named #safety #verification
- Ivy: safety verification by interactive generalization (OP, KLM, AP, MS, SS), pp. 614–630.
- POPL-2016-PadonISKS #decidability #induction #invariant
- Decidability of inferring inductive invariants (OP, NI, SS, AK, MS), pp. 217–231.
- PLDI-2018-TaubeLMPSSWW #composition #decidability #deduction #distributed #verification
- Modularity for decidability of deductive verification with applications to distributed systems (MT, GL, KLM, OP, MS, SS, JRW, DW), pp. 662–677.
- POPL-2018-PadonHLPSS #first-order #liveness #logic #safety
- Reducing liveness to safety in first-order logic (OP, JH, GL, AP, MS, SS), p. 33.
- PLDI-2019-ChurchillP0A #equivalence #semantics
- Semantic program alignment for equivalence checking (BRC, OP, RS0, AA), pp. 1027–1040.