TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Correas, Jesús
AU  - Gordillo Alguacil, Pablo
AU  - Román-Díez, Guillermo
AU  - Rubio, Albert
PY  - 2023
DO  - 10.1007/978-3-031-30823-9_23
SN  - 9783031308222
SN  - 9783031308239
SN  - 0302-9743
SN  - 1611-3349
UR  - https://hdl.handle.net/20.500.14352/96670
AB  - Efficiency is a fundamental property of any type of program, but it is even more so in the context of the programs executing on the blockchain (known as smart contracts). This is because optimizing smart contracts has direct consequences on reducing...
LA  - eng
M2  - 448
TI  - Inferring Needless Write Memory Accesses on Ethereum Bytecode
TY  - conference paper
ER  -