Fingerprint
Dive into the research topics where Oded Padon is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Primal-Dual Perspective on Program Verification Algorithms
Tsukada, T., Unno, H., Padon, O. & Shoham, S., 7 Jan 2025, In: Proceedings of the ACM on Programming Languages. 9, 32 p., 68.Weizmann Institute of Science, Tel Aviv University
Research output: Contribution to journal › Article › peer-review
Open Access -
An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
Elad, N., Padon, O. & Shoham, S., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, 31 p., 33.Research output: Contribution to journal › Article › peer-review
Open Access -
Anvil: Verifying Liveness of Cluster Management Controllers
Sun, X., Ma, W., Gu, J. T., Ma, Z., Chajed, T., Howell, J., Lattuada, A., Padon, O., Suresh, L., Szekeres, A. & Xu, T., 2024, Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2024. p. 649-666 18 p. (Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Clover: Closed-Loop Verifiable Code Generation
Sun, C., Sheng, Y., Padon, O. & Barrett, C., 2024, AI Verification - 1st International Symposium, SAIV 2024, Proceedings. Avni, G., Giacobbe, M., Johnson, T. T., Katz, G., Lukina, A., Narodytska, N. & Schilling, C. (eds.). Springer Science and Business Media B.V., p. 134-155 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14846 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
Frenkel, E., Chajed, T., Padon, O. & Shoham, S., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 86-108 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14682 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access