Följ
Pablo Gordillo
Pablo Gordillo
PhD in Computer Science, Universidad Complutense de Madrid, https://orcid.org/0000-0001-6189-4667
Verifierad e-postadress på ucm.es - Startsida
Titel
Citeras av
Citeras av
År
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
1412018
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
1112020
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
462019
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
412019
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
282020
GASTAP: A gas analyzer for smart contracts
E Albert, P Gordillo, A Rubio, I Sergey
CoRR, vol. abs/1811.10403, 2018
282018
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
172015
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
162021
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
32020
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
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
International Conference on Tools and Algorithms for the Construction and …, 2023
12023
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
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20