| EthIR: A Framework for High-Level Analysis of Ethereum Bytecode E Albert, P Gordillo, B Livshits, A Rubio, I Sergey International symposium on automated technology for verification and …, 2018 | 141 | 2018 |
| Gasol: Gas analysis and optimization for ethereum smart contracts E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio International Conference on Tools and Algorithms for the Construction and …, 2020 | 110 | 2020 |
| Running on fumes: Preventing out-of-gas vulnerabilities in Ethereum smart contracts using static resource analysis E Albert, P Gordillo, A Rubio, I Sergey Verification and Evaluation of Computer and Communication Systems: 13th …, 2019 | 45 | 2019 |
| SAFEVM: a safety verifier for Ethereum smart contracts E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 41 | 2019 |
| Synthesis of super-optimized smart contracts using max-smt E Albert, P Gordillo, A Rubio, MA Schett International Conference on Computer Aided Verification, 177-200, 2020 | 28 | 2020 |
| GASTAP: A gas analyzer for smart contracts E Albert, P Gordillo, A Rubio, I Sergey CoRR, vol. abs/1811.10403, 2018 | 28 | 2018 |
| May-happen-in-parallel analysis for asynchronous programs with inter-procedural synchronization E Albert, S Genaim, P Gordillo Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015 | 17 | 2015 |
| Don’t run on fumes—parametric gas bounds for smart contracts E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio Journal of Systems and Software 176, 110923, 2021 | 16 | 2021 |
| Static profiling and optimization of ethereum smart contracts using resource analysis J Correas, P Gordillo, G Román-Díez IEEE Access 9, 25495-25507, 2021 | 12 | 2021 |
| Analyzing smart contracts: from EVM to a sound control-flow graph E Albert, J Correas, P Gordillo, AHCG Román-Díez, A Rubio arXiv preprint arXiv:2004.14437, 2020 | 12 | 2020 |
| Super-optimization of smart contracts E Albert, P Gordillo, A Hernández-Cerezo, A Rubio, MA Schett ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-29, 2022 | 8 | 2022 |
| A Max-SMT superoptimizer for EVM handling memory and storage E Albert, P Gordillo, A Hernández-Cerezo, A Rubio International Conference on Tools and Algorithms for the Construction and …, 2022 | 7 | 2022 |
| Smart, and also reliable and gas-efficient, contracts E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 3 | 2020 |
| May-happen-in-parallel analysis with returned futures E Albert, S Genaim, P Gordillo Automated Technology for Verification and Analysis: 15th International …, 2017 | 2 | 2017 |
| Inferring Needless Write Memory Accesses on Ethereum Bytecode E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio International Conference on Tools and Algorithms for the Construction and …, 2023 | 1 | 2023 |
| Inferring needless write memory accesses on ethereum bytecode (extended version) E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio arXiv preprint arXiv:2301.04757, 2023 | 1 | 2023 |
| Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts E Albert, P Gordillo, A Hernández-Cerezo, C Rodríguez-Núñez, A Rubio International Joint Conference on Automated Reasoning, 3-7, 2022 | | 2022 |
| Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentess y Bytecode de Ethereum P Gordillo Alguacil Universidad Complutense de Madrid, 2020 | | 2020 |
| MAY-HAPPEN-IN-PARALLEL ANALYSIS WITH RETURNED FUTURES PG Alguacil | | 2017 |
| STATIC ANALYSIS OF CONCURRENT OBJECTS P Gordillo Alguacil | | 2015 |
Elvira AlbertComplutense University of SpainDirección de correo verificada de sip.ucm.es
