| 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 | 146 | 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 | 120 | 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 | 47 | 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 | 40 | 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 | 31 | 2020 |
| GASTAP: A gas analyzer for smart contracts E Albert, P Gordillo, A Rubio, I Sergey CoRR, vol. abs/1811.10403, 2018 | 29 | 2018 |
| 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 | 18 | 2021 |
| 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 | 14 | 2015 |
| 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 | 13 | 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 | 11 | 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 | 10 | 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 | 10 | 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 | 2 | 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 |
| Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentess y Bytecode de Ethereum P Gordillo Alguacil Universidad Complutense de Madrid, 2020 | 1 | 2020 |
| Estudio de la aplicación de herramientas de análisis de contratos inteligentes de Ethereum en las asignaturas de blockchain de las titulaciones de la Facultad de Informática P Gordillo Alguacil, EM Albert Albiol, J Correas Fernández, S Genaim, ... | | 2024 |
| 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 |
| MAY-HAPPEN-IN-PARALLEL ANALYSIS WITH RETURNED FUTURES PG Alguacil | | 2017 |
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
