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
662018
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
332020
Running on fumes
E Albert, P Gordillo, A Rubio, I Sergey
International Conference on Verification and Evaluation of Computer and …, 2019
202019
GASTAP: A gas analyzer for smart contracts
E Albert, P Gordillo, A Rubio, I Sergey
CoRR, vol. abs/1811.10403, 2018
192018
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
142019
May-happen-in-parallel analysis for asynchronous programs with inter-procedural synchronization
E Albert, S Genaim, P Gordillo
International Static Analysis Symposium, 72-89, 2015
112015
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
92020
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
32020
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
22021
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
22021
GASOL: gas analysis and optimization for ethereum smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
arXiv preprint arXiv:1912.11929, 2019
22019
May-Happen-in-Parallel Analysis with Returned Futures
E Albert, S Genaim, P Gordillo
International Symposium on Automated Technology for Verification and …, 2017
12017
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentess y Bytecode de Ethereum
P Gordillo Alguacil
Universidad Complutense de Madrid, 2020
2020
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
2020
MAY-HAPPEN-IN-PARALLEL ANALYSIS WITH RETURNED FUTURES
PG Alguacil
2017
STATIC ANALYSIS OF CONCURRENT OBJECTS
P Gordillo Alguacil
2015
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
E Albert Albiol, S Genaim, P Gordillo
2015
The system can't perform the operation now. Try again later.
Articles 1–17