Inferring Needless Write Memory Accesses on Ethereum Bytecode.

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

Browse the full TACAS paper archive.