Guillermo Román Díez
Universidad Politécnica de Madrid
H-index: 13
Europe-Spain
Top articles of Guillermo Román Díez
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Inferring Needless Write Memory Accesses on Ethereum Bytecode | Elvira Albert Jesús Correas Pablo Gordillo Guillermo Román-Díez Albert Rubio | 2023/4/22 | |
When COSTA Met KeY: Verified Cost Bounds | Elvira Albert Samir Genaim Alicia Merayo Guillermo Román-Díez | 2022/7/4 | |
Don’t run on fumes—parametric gas bounds for smart contracts | Journal of Systems and Software | Elvira Albert Jesús Correas Pablo Gordillo Guillermo Román-Díez Albert Rubio | 2021/6/1 |
Static profiling and optimization of ethereum smart contracts using resource analysis | IEEE Access | Jesús Correas Pablo Gordillo Guillermo Román-Díez | 2021/2/5 |
Smart, and also reliable and gas-efficient, contracts | Elvira Albert Jesús Correas Pablo Gordillo Guillermo Román-Díez Albert Rubio | 2020/10/24 | |
Analyzing smart contracts: from EVM to a sound control-flow graph | arXiv preprint arXiv:2004.14437 | Elvira Albert Jesús Correas Pablo Gordillo Alejandro Hernández-Cerezo Guillermo Román-Díez Albert Rubio | 2020/4/29 |
Gasol: Gas analysis and optimization for ethereum smart contracts | Elvira Albert Jesús Correas Pablo Gordillo Guillermo Román-Díez Albert Rubio | 2020/4/17 |