Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Padon, Oded
Eine Person hinzufügen mit dem Namen Padon, Oded
 

Weitere Publikationen von Autoren mit dem selben Namen

Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs., , , , und . SAS, Volume 10422 von Lecture Notes in Computer Science, Seite 253-276. Springer, (2017)Semantic program alignment for equivalence checking., , , und . PLDI, Seite 1027-1040. ACM, (2019)TASO: optimizing deep learning computation with automatic generation of graph substitutions., , , , , und . SOSP, Seite 47-62. ACM, (2019)SPoC: Search-based Pseudocode to Code., , , , , , und . NeurIPS, Seite 11883-11894. (2019)Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics., , , , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 245-266. Springer, (2019)Bounded Quantifier Instantiation for Checking Inductive Invariants., , , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 76-95. (2017)Bounded Quantifier Instantiation for Checking Inductive Invariants., , , , und . Logical Methods in Computer Science, (2019)Deductive Verification in Decidable Fragments with Ivy., und . SAS, Volume 11002 von Lecture Notes in Computer Science, Seite 43-55. Springer, (2018)Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems., , , , , und . FMCAD, Seite 1-11. IEEE, (2018)Decidability of inferring inductive invariants., , , , und . POPL, Seite 217-231. ACM, (2016)