PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Padon, Oded"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Induction duality: primal-dual search for invariants.

, , , , und . Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)

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

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)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)Bounded Quantifier Instantiation for Checking Inductive Invariants., , , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 76-95. (2017)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)SPoC: Search-based Pseudocode to Code., , , , , , und . NeurIPS, Seite 11883-11894. (2019)Property Directed Reachability for Proving Absence of Concurrent Modification Errors., , , , , und . VMCAI, Volume 10145 von Lecture Notes in Computer Science, Seite 209-227. Springer, (2017)Decentralizing SDN Policies., , , , , und . POPL, Seite 663-676. ACM, (2015)Paxos made EPR: decidable reasoning about distributed protocols., , , und . Proc. ACM Program. Lang., 1 (OOPSLA): 108:1-108:31 (2017)Induction duality: primal-dual search for invariants., , , , und . Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)