Pablo Gordillo

23 papers A 4B 4C 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Harnessing heap analysis for the synthesis of superoptimized bytecode.
J. Syst. Softw.
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2025 J jnl
Neural-guided superoptimization in ethereum.
Inf. Softw. Technol.
Matheus Araújo Aguiar, Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Daniel Kirchner, Albert Rubio
2025 B conf
Securely Optimized (Ethereum) Smart Contracts Using Formal Methods.
SEFM
Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martin-Martin, Albert Rubio
2024 A conf
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT.
ISSTA
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2023 J jnl
Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version).
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2023 — conf
Inferring Needless Write Memory Accesses on Ethereum Bytecode.
TACAS (1)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2022 — conf
A Max-SMT Superoptimizer for EVM handling Memory and Storage.
TACAS (1)
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio
2022 J jnl
Super-optimization of Smart Contracts.
ACM Trans. Softw. Eng. Methodol.
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett
2022 A conf
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts.
IJCAR
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio
2021 J jnl
Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis.
IEEE Access
Jesús Correas, Pablo Gordillo, Guillermo Román-Díez
2020 J jnl
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph.
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2020 — conf
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.
TACAS (2)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2020 A conf
Smart, and also Reliable and Gas-Efficient, Contracts.
ICST
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2020 — conf
Synthesis of Super-Optimized Smart Contracts Using Max-SMT.
CAV (1)
Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett
2019 J jnl
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019 C conf
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis.
VECoS
Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey
2019 J jnl
SAFEVM: A Safety Verifier for Ethereum Smart Contracts.
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2019 A conf
SAFEVM: a safety verifier for Ethereum smart contracts.
ISSTA
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
2018 B conf
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode.
ATVA
Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey
2018 J jnl
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode.
CoRR
Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey
2018 J jnl
GASTAP: A Gas Analyzer for Smart Contracts.
CoRR
Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey
2017 B conf
May-Happen-in-Parallel Analysis with Returned Futures.
ATVA
Elvira Albert, Samir Genaim, Pablo Gordillo
2015 B conf
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization.
SAS
Elvira Albert, Samir Genaim, Pablo Gordillo