Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts
Grossman, Shelly, Abraham, Ittai, Golan-Gueta, Guy, Michalevsky, Yan, Rinetzky, Noam, Sagiv, Mooly, Zohar, Yoni
Year of Publication 11.01.2018
Year of Publication 11.01.2018
Get full text
Journal Article
Using Nesting to Push the Limits of Transactional Data Structure Libraries
Gal Assa, Hagar Meir, Golan-Gueta, Guy, Keidar, Idit, Spiegelman, Alexander
Published in arXiv.org (16.02.2021)
Get full text
Published in arXiv.org (16.02.2021)
Paper