PABLO
GORDILLO ALGUACIL
Profesor ayudante doctor
![Foto de PABLO](/img/nophoto.png)
![Foto de University College London](/img/noimage_org.png)
University College London
Londres, Reino UnidoUniversity College London-ko ikertzaileekin lankidetzan egindako argitalpenak (3)
2022
-
Super-optimization of Smart Contracts
ACM Transactions on Software Engineering and Methodology, Vol. 31, Núm. 4
2020
-
Synthesis of Super-Optimized Smart Contracts Using Max-SMT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
-
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)