Follow
Pablo Gordillo
Pablo Gordillo
PhD in Computer Science, Universidad Complutense de Madrid, https://orcid.org/0000-0001-6189-4667
Verified email at ucm.es - Homepage
Title
Cited by
Cited by
Year
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
1372018
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
1042020
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
432019
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
402019
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
272020
GASTAP: A gas analyzer for smart contracts
E Albert, P Gordillo, A Rubio, I Sergey
CoRR, vol. abs/1811.10403, 2018
272018
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
152015
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
142021
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
122021
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
122020
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
82022
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
72022
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
22020
May-happen-in-parallel analysis with returned futures
E Albert, S Genaim, P Gordillo
Automated Technology for Verification and Analysis: 15th International …, 2017
22017
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
12023
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
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
The system can't perform the operation now. Try again later.
Articles 1–20