Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Shelly Grossman
conf.researchr.org general profile
POPL 2018 profile
SPLASH 2020 profile
SPLASH 2024 profile
Registered user since Wed 1 Nov 2017
Name:
Shelly Grossman
Affiliation:
Tel Aviv University
Contributions
2024
SPLASH
Author of Practical Verification Of Smart Contracts Using Memory Splitting within the OOPSLA 2024-track
2020
SPLASH
Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track
2018
POPL
Author of Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts within the Artifact Evaluation-track
Author of Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts within the Research Papers-track
Share
x
Mon 14 Oct 21:52