@Article{         Grossman:2018aa,
  Author        = "Grossman, Shelly and Abraham, Ittai and Golan-Gueta, Guy and Michalevsky, Yan and Rinetzky, Noam and Sagiv, Mooly and Zohar, Yoni",
  Abstract      = "Callbacks are essential in many programming environments, but drastically complicate program understanding and reasoning because they allow to mutate object's local states by external objects in unexpected fashions, thus breaking modularity. The famous DAO bug in the cryptocurrency framework Ethereum, employed callbacks to steal $150M. We define the notion of Effectively Callback Free (ECF) objects in order to allow callbacks without preventing modular reasoning.",
  date-added    = "2018-04-22 16:03:11 +0000",
  date-modified = "2018-04-22 16:03:49 +0000",
  EPrint        = "1801.04032",
  Keywords      = "Ethereum",
  Month         = "01",
  Title         = "Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts",
  URL           = "https://arxiv.org/abs/1801.04032",
  Year          = "2018",
  bdsk-url-1    = "https://arxiv.org/abs/1801.04032",
  File          = "1801.04032 (0) - a - a - c.pdf"
}

@Article{ Grossman:2018aa, Author = "Grossman, Shelly and Abraham, Ittai and Golan-Gueta, Guy and Michalevsky, Yan and Rinetzky, Noam and Sagiv, Mooly and Zohar, Yoni", Abstract = "Callbacks are essential in many programming environments, but drastically complicate program understanding and reasoning because they allow to mutate object's local states by external objects in unexpected fashions, thus breaking modularity. The famous DAO bug in the cryptocurrency framework Ethereum, employed callbacks to steal $150M. We define the notion of Effectively Callback Free (ECF) objects in order to allow callbacks without preventing modular reasoning.", date-added = "2018-04-22 16:03:11 +0000", date-modified = "2018-04-22 16:03:49 +0000", EPrint = "1801.04032", Keywords = "Ethereum", Month = "01", Title = "Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts", URL = "https://arxiv.org/abs/1801.04032", Year = "2018", bdsk-url-1 = "https://arxiv.org/abs/1801.04032", File = "1801.04032 (0) - a - a - c.pdf" }