Shelly Grossman

According to our database1, Shelly Grossman authored at least 7 papers between 2017 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks.
IEEE Trans. Dependable Secur. Comput., 2023

2021
Phoenix: A Formally Verified Regenerating Vault.
CoRR, 2021

2020
Taming callbacks for smart contract modularity.
Proc. ACM Program. Lang., 2020

2019
SBFT: A Scalable and Decentralized Trust Infrastructure.
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.
Proc. ACM Program. Lang., 2018

SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains.
CoRR, 2018

2017
Verifying Equivalence of Spark Programs.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017


  Loading...