Pablo Gordillo

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 19

Top Topics

Automated Reasoning

Top Venues

Publications

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
Inferring Needless Write Memory Accesses on Ethereum Bytecode. TACAS (1) (2023)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version). CoRR (2023)
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. IJCAR (2022)
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett
Super-optimization of Smart Contracts. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio
A Max-SMT Superoptimizer for EVM handling Memory and Storage. TACAS (1) (2022)
Jesús Correas, Pablo Gordillo, Guillermo Román-Díez
Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis. IEEE Access 9 (2021)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
- Parametric gas bounds for smart contracts. J. Syst. Softw. 176 (2021)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
Smart, and also Reliable and Gas-Efficient, Contracts. ICST (2020)
Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett
Synthesis of Super-Optimized Smart Contracts Using Max-SMT. CAV (1) (2020)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph. CoRR (2020)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. TACAS (2) (2020)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
SAFEVM: a safety verifier for Ethereum smart contracts. ISSTA (2019)
Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. VECoS (2019)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. CoRR (2019)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
SAFEVM: A Safety Verifier for Ethereum Smart Contracts. CoRR (2019)
Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey
GASTAP: A Gas Analyzer for Smart Contracts. CoRR (2018)
Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. ATVA (2018)
Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. CoRR (2018)
Elvira Albert, Samir Genaim, Pablo Gordillo
May-Happen-in-Parallel Analysis with Returned Futures. ATVA (2017)
Elvira Albert, Samir Genaim, Pablo Gordillo
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. SAS (2015)