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

Publications

Conference Publications

• Taming Callbacks for Smart Contract Modularity [pdf]
  Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez, Albert Rubio, and Mooly Sagiv
  OOPSLA 2020


• 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.

Teaching

• Smart Contracts Workshop. Spring 2021.
• IoT Workshop. Spring 2021.
• IoT Workshop. Spring 2020.