MadMax: surviving out-of-gas conditions in Ethereum smart contracts - Grech, Neville; Kong, Michael; Jurisevic, Anton; Brent, Lexi; Scholz, Bernhard; Smaragdakis, Yannis (Proceedings of ACM on programming languages, 2018)