Shelly Grossman

School of Computer Science
Sackler Faculty of Exact Sciences
Tel Aviv University

E-mail: shellygr mail tau ac il

I am a research student in Computer Science at TAU, under the supervision of
Prof. Mooly Sagiv and Dr. Noam Rinetzky.

Publications

Conference Publications

  • Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts   [pdf]
    Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, and Yoni Zohar.
    POPL 2018: 45th ACM SIGPLAN Symposium on Principles of Programming Languages. ©CC

  • Verifying Equivalence of Spark Programs   [pdf]
    Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, and Mooly Sagiv.
    CAV'17: Conference on Computer Aided Verification. © Springer-Verlag

Technical Reports

  • Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts   [pdf]
    Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, and Yoni Zohar.
    Technical Report, School of Computer Science, Tel Aviv University, January 2018.

  • Verifying Equivalence of Spark Programs   [pdf]
    Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, and Mooly Sagiv.
    Technical Report, School of Computer Science, Tel Aviv University, April 2017.