GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.

Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio

Browse the full TACAS paper archive.