Collaborated with:N.Rinetzky M.Sagiv S.Cohen S.Itzhaky I.Abraham G.Golan-Gueta Yan Michalevsky Y.Zohar
Talks about:contract (1) callback (1) program (1) equival (1) verifi (1) object (1) effect (1) detect (1) applic (1) spark (1)
Person: Shelly Grossman
DBLP: Grossman:Shelly
Contributed to:
2017
2018Wrote 2 papers:
- CAV-2017-GrossmanCIRS #equivalence #source code #verification
- Verifying Equivalence of Spark Programs (SG, SC, SI, NR, MS), pp. 282–300.
- POPL-2018-GrossmanAGMRSZ #contract #detection #effectiveness #online
- Online detection of effectively callback free objects with applications to smart contracts (SG, IA, GGG, YM, NR, MS, YZ), p. 28.