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
432018
GASTAP: A gas analyzer for smart contracts
E Albert, P Gordillo, A Rubio, I Sergey
CoRR, vol. abs/1811.10403, 2018
142018
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
122020
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
Running on fumes
E Albert, P Gordillo, A Rubio, I Sergey
International Conference on Verification and Evaluation of Computer and …, 2019
72019
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
72019
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
22020
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
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
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–14