Shelly Grossman

According to our database, Shelly Grossman authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Practical Verification of Smart Contracts using Memory Splitting.

Shelly Grossman, John Toman, Alexander Bakst, Sameer Arora, Mooly Sagiv, Chandrakana Nandi

Proc. ACM Program. Lang., 2024

2023

Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks.

Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv

IEEE Trans. Dependable Secur. Comput., 2023

2021

Phoenix: A Formally Verified Regenerating Vault.

Uri Kirstein, Shelly Grossman, Michael Mirkin, James Wilcox, Ittay Eyal, Mooly Sagiv

CoRR, 2021

2020

Taming callbacks for smart contract modularity.

Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv

Proc. ACM Program. Lang., 2020

2019

SBFT: A Scalable and Decentralized Trust Infrastructure.

Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018

Online detection of effectively callback free objects with applications to smart contracts.

Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar

Proc. ACM Program. Lang., 2018

SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains.

Guy Golan-Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu

CoRR, 2018

2017

Verifying Equivalence of Spark Programs.

Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, Mooly Sagiv

Proceedings of the Computer Aided Verification - 29th International Conference, 2017