Pablo Gordillo
Pablo Gordillo
PhD in Computer Science, Universidad Complutense de Madrid, https://orcid.org/0000-0001-6189-4667
Dirección de correo verificada de ucm.es - Página principal
Título
Citado por
Citado por
Año
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
472018
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
212020
GASTAP: A gas analyzer for smart contracts
E Albert, P Gordillo, A Rubio, I Sergey
CoRR, vol. abs/1811.10403, 2018
162018
Running on fumes
E Albert, P Gordillo, A Rubio, I Sergey
International Conference on Verification and Evaluation of Computer and …, 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
102015
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
82019
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
42020
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
arXiv preprint arXiv:2004.14437, 2020
32020
May-Happen-in-Parallel Analysis with Returned Futures
E Albert, S Genaim, P Gordillo
International Symposium on Automated Technology for Verification and …, 2017
12017
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
2021
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
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
A Biere, D Parker, E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
Tools and Algorithms for the Construction and Analysis of Systems26th …, 2014
2014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–16