Pablo Gordillo

According to our database, Pablo Gordillo authored at least 27 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version).

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

CoRR, 2023

Inferring Needless Write Memory Accesses on Ethereum Bytecode.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Super-optimization of Smart Contracts.

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett

ACM Trans. Softw. Eng. Methodol., 2022

A Max-SMT Superoptimizer for EVM handling Memory and Storage.

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts.

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Artifact for paper "A Max-SMT Superoptimizer for EVM handling Memory and Storage".

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio

Dataset, November, 2021

Artifact for paper "A Max-SMT Superoptimizer for EVM handling Memory and Storage".

Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio

Dataset, November, 2021

<i>Don't run on fumes</i> - Parametric gas bounds for smart contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

J. Syst. Softw., 2021

Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis.

Jesús Correas, Pablo Gordillo, Guillermo Román-Díez

IEEE Access, 2021

2020

Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

CoRR, 2020

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Smart, and also Reliable and Gas-Efficient, Contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Synthesis of Super-Optimized Smart Contracts Using Max-SMT.

Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis.

Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019

SAFEVM: a safety verifier for Ethereum smart contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

GASTAP: A Gas Analyzer for Smart Contracts.

Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey

CoRR, 2018

EthIR: A Framework for High-Level Analysis of Ethereum Bytecode.

Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

May-Happen-in-Parallel Analysis with Returned Futures.

Elvira Albert, Samir Genaim, Pablo Gordillo

Proceedings of the Automated Technology for Verification and Analysis, 2017

2015

May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization.

Elvira Albert, Samir Genaim, Pablo Gordillo

Proceedings of the Static Analysis - 22nd International Symposium, 2015