Fingerprint
Dive into the research topics where Shmuel Sagiv 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
-
Practical Verification of Smart Contracts using Memory Splitting
Grossman, S., Toman, J., Bakst, A., Arora, S., Sagiv, M. & Nandi, C., 8 Oct 2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA2, 356.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Tamir, O., Taube, M., McMillan, K. L., Shoham, S., Howell, J., Gueta, G. & Sagiv, M., 16 Oct 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 288.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
Albert, E., Grossman, S., Rinetzky, N., Rodriguez-Nunez, C., Rubio, A. & Sagiv, M., 1 May 2023, In: IEEE Transactions on Dependable and Secure Computing. 20, 3, p. 2256-2273 18 p.Research output: Contribution to journal › Article › peer-review
2 Scopus citations -
Blockaid: Data Access Policy Enforcement for Web Applications
Zhang, W., Sheng, E., Chang, M., Panda, A., Sagiv, M. & Shenker, S., 2022, Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022. USENIX Association, p. 701-718 18 p. (Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
6 Scopus citations -
Property-directed reachability as abstract interpretation in the monotone theory
Feldman, Y. M. Y., Sagiv, M., Shoham, S. & Wilcox, J. R., Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, 3498676.Research output: Contribution to journal › Article › peer-review
Open Access5 Scopus citations