| 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 | 170 | 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 | 145 | 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 | 54 | 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 | 48 | 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 | 43 | 2020 |
| GASTAP: A gas analyzer for smart contracts E Albert, P Gordillo, A Rubio, I Sergey CoRR, vol. abs/1811.10403, 2018 | 30 | 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 | 25 | 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 | 19 | 2021 |
| 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 | 15 | 2022 |
| 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 | 15 | 2015 |
| 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 | 14 | 2022 |
| 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 |
| 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 | 5 | 2023 |
| 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 | 4 | 2020 |
| May-happen-in-parallel analysis with returned futures E Albert, S Genaim, P Gordillo Automated Technology for Verification and Analysis: 15th International …, 2017 | 3 | 2017 |
| 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 |
| Harnessing heap analysis for the synthesis of superoptimized bytecode E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio Journal of Systems and Software 221, 112284, 2025 | | 2025 |
| Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | | 2024 |
| 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 |
Elvira AlbertComplutense University of Spainsip.ucm.es üzerinde doğrulanmış e-posta adresine sahip
