@inproceedings{POPL18:ECF,
title={Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts},
author = {Shelly Grossman and Ittai Abraham and Guy Golan-Gueta and Yan Michalevsky and Noam Rinetzky and Mooly Sagiv and Yoni Zohar},
booktitle = {ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)},
year = {2018}
}