TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Gordillo Alguacil, Pablo
AU  - Hernández-Cerezo, Alejandro
AU  - Rubio, Albert
PY  - 2022
DO  - 10.1007/978-3-030-99524-9_11
SN  - 9783030995232
SN  - 9783030995249
SN  - 0302-9743
SN  - 1611-3349
UR  - https://hdl.handle.net/20.500.14352/96667
AB  - Superoptimization is a compilation technique that searches for the optimal sequence of instructions semantically equivalent to a given (loop-free) initial sequence. With the advent of SMT solvers, it has been successfully applied to LLVM code (to...
LA  - eng
M2  - 201
TI  - A Max-SMT Superoptimizer for EVM handling Memory and Storage
TY  - conference paper
ER  -