research
∙
01/11/2023
Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version)
Efficiency is a fundamental property of any type of program, but it is e...
research
∙
12/26/2019
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
We present the main concepts, components, and usage of GASOL, a Gas Anal...
research
∙
06/12/2019