Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar
Online detection of effectively callback free objects with applications to smart contracts
POPL, 2018.
@article{POPL-2018-GrossmanAGMRSZ,
author = "Shelly Grossman and Ittai Abraham and Guy Golan-Gueta and Yan Michalevsky and Noam Rinetzky and Mooly Sagiv and Yoni Zohar",
doi = "10.1145/3158136",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "28",
publisher = "{ACM}",
title = "{Online detection of effectively callback free objects with applications to smart contracts}",
volume = 2,
year = 2018,
}