Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Padon, Oded
76  Ergebnisse:
Personensuche X
?
1

An Infinite Needle in a Finite Haystack: Finding Infinite C..:

Elad, Neta ; Padon, Oded ; Shoham, Sharon
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 970-1000 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Quarl: A Learning-Based Quantum Circuit Optimizer:

Li, Zikun ; Peng, Jinjun ; Mei, Yixuan...
Proceedings of the ACM on Programming Languages.  8 (2024)  OOPSLA1 - p. 555-582 , 2024
Link: https://doi.org/10.1145/..
 
?
3

Quanto: optimizing quantum circuits with automatic generati..:

Pointing, Jessica ; Padon, Oded ; Jia, Zhihao...
Quantum Science and Technology.  9 (2024)  4 - p. 045009 , 2024
Link: https://doi.org/10.1088/..
 
?
4

Leaf: Modularity for Temporary Sharing in Separation Logic:

Hance, Travis ; Howell, Jon ; Padon, Oded.
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 31-58 , 2023
Link: https://doi.org/10.1145/..
 
?
5

Induction duality: primal-dual search for invariants:

Padon, Oded ; Wilcox, James R. ; Koenig, Jason R...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-29 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Induction duality: primal-dual search for invariants:

Padon, Oded ; Wilcox, James R. ; Koenig, Jason R...
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-29 , 2022
Link: https://doi.org/10.1145/..
 
?
7

Verification of Distributed Protocols: Decidable Modeling a..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Padon, Oded - p. 4-4 , 2022
Link: https://doi.org/10.34727..
 
?
8

Quartz: superoptimization of Quantum circuits:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Xu, Mingkuan ; Li, Zikun ; Padon, Oded... - p. 625-640 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

Counterexample-Guided Prophecy for Model Checking Modulo th..:

Mann, Makai ; Irfan, Ahmed ; Griggio, Alberto..
Logical Methods in Computer Science.  18, Issue 3 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
10

Inferring Invariants with Quantifier Alternations: Taming t..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Koenig, Jason R. ; Padon, Oded ; Shoham, Sharon. - p. 338-356 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Temporal prophecy for proving temporal properties of infini..:

Padon, Oded ; Hoenicke, Jochen ; McMillan, Kenneth L....
Formal Methods in System Design.  57 (2021)  2 - p. 246-269 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Adaptive restarts for stochastic synthesis:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Koenig, Jason R. ; Padon, Oded ; Aiken, Alex - p. 696-709 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Counterexample-Guided Prophecy for Model Checking Modulo th..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Mann, Makai ; Irfan, Ahmed ; Griggio, Alberto.. - p. 113-132 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Ivy: A Multi-modal Verification Tool for Distributed Algori..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
McMillan, Kenneth L. ; Padon, Oded - p. 190-202 , 2020
Link: https://doi.org/10.1007/..
 
?
15

First-order quantified separators:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Koenig, Jason R. ; Padon, Oded ; Immerman, Neil. - p. 703-717 , 2020
Link: https://dl.acm.org/doi/1..
 
1-15