Fingerprint
Dive into the research topics where Sharon Shoham Buchbinder 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
-
On the Power of Temporal Prophecy
Hoenicke, J., Padon, O. & Shoham, S., 2026, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, p. 40-53 14 p. (Lecture Notes in Computer Science; vol. 14765 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
1 Scopus citations -
Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
Elad, N., Murali, A. & Shoham, S., 8 Jan 2026, In: Proceedings of the ACM on Programming Languages. 10, p. 833-864 32 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
Lotan, R., Elad, N., Padon, O. & Shoham, S., 2026, Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Proceedings. Junges, S. & Katz, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 353-372 20 p. (Lecture Notes in Computer Science; vol. 16506 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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, 68.Research output: Contribution to journal › Article › peer-review
Open Access -
Axe 'Em: Eliminating Spurious States with Induction Axioms
Elad, N. & Shoham, S., 7 Jan 2025, In: Proceedings of the ACM on Programming Languages. 9, 17.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations