The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Oded Padon" ( http://dblp.L3S.de/Authors/Oded_Padon )

  Author page on DBLP  Author page in RDF  Community of Oded Padon in ASPL-2

Publication years (Num. hits)
2015 (1) 2016 (2) 2017 (8) 2018 (5) 2019 (6)
Publication types (Num. hits)
article(7) inproceedings(15)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 23 publication records. Showing 22 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sumith Kulal, Panupong Pasupat, Kartik Chandra, Mina Lee 0002, Oded Padon, Alex Aiken, Percy Liang SPoC: Search-based Pseudocode to Code. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham Bounded Quantifier Instantiation for Checking Inductive Invariants. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2019 DBLP  BibTeX  RDF
1Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Berkeley R. Churchill, Oded Padon, Rahul Sharma 0001, Alex Aiken Semantic program alignment for equivalence checking. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhihao Jia, Oded Padon, James J. Thomas, Todd Warszawski, Matei Zaharia, Alex Aiken TASO: optimizing deep learning computation with automatic generation of graph substitutions. Search on Bibsonomy SOSP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham Reducing liveness to safety in first-order logic. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos Modularity for decidability of deductive verification with applications to distributed systems. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kenneth L. McMillan, Oded Padon Deductive Verification in Decidable Fragments with Ivy. Search on Bibsonomy SAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oded Padon Deductive Verification of Distributed Protocols in First-Order Logic. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham Paxos made EPR: decidable reasoning about distributed protocols. Search on Bibsonomy PACMPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham Bounded Quantifier Instantiation for Checking Inductive Invariants. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Oded Padon, Giuliano Losa, Mooly Sagiv, Sharon Shoham Paxos Made EPR: Decidable Reasoning about Distributed Protocols. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs. Search on Bibsonomy SAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham Bounded Quantifier Instantiation for Checking Inductive Invariants. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky RATCOP: Relational Analysis Tool for Concurrent Programs. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Or Ozeri, Oded Padon, Noam Rinetzky, Mooly Sagiv Conjunctive Abstract Interpretation Using Paramodulation. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Asya Frumkin, Yotam M. Y. Feldman, Ondrej Lhoták, Oded Padon, Mooly Sagiv, Sharon Shoham Property Directed Reachability for Proving Absence of Concurrent Modification Errors. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv Decidability of inferring inductive invariants. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham Ivy: safety verification by interactive generalization. Search on Bibsonomy PLDI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, Sharon Shoham Decentralizing SDN Policies. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #22 of 22 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license