default search action

combined dblp search
author search
venue search
publication search

ask others

Pablo Gordillo

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AlbertCGRR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AlbertCGRR24
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT. ISSTA 2024: 1186-1197
2023
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AlbertCGRR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlbertCGRR23
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: 448-466
[d9]
- view
  authority control:
- export record
  dblp key:
  - data/10/AlbertCGRR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlbertCGRR23
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 1. Zenodo, 2023 [all versions]
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/10/AlbertCGRR23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlbertCGRR23a
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 2. Zenodo, 2023 [all versions]
[d7]
- view
  authority control:
- export record
  dblp key:
  - data/10/AlbertCGRR23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlbertCGRR23b
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 3. Zenodo, 2023 [all versions]
[d6]
- view
  authority control:
- export record
  dblp key:
  - data/10/AlbertCGRR23c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlbertCGRR23c
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 4. Zenodo, 2023 [all versions]
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/10/AlbertCGRR23d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlbertCGRR23d
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 5. Zenodo, 2023 [all versions]
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/AlbertCGRR23e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlbertCGRR23e
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 6. Zenodo, 2023 [all versions]
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/AlbertCGRR23f
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlbertCGRR23f
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode". Version 7. Zenodo, 2023 [all versions]
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-04757
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-04757
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 abs/2301.04757 (2023)
2022
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/AlbertGHRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/AlbertGHRS22
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): 70:1-70:29 (2022)
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/AlbertGHRR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/AlbertGHRR22
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: 3-7
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AlbertGHR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlbertGHR22
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio:
A Max-SMT Superoptimizer for EVM handling Memory and Storage. TACAS (1) 2022: 201-219
2021
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/CorreasGR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/CorreasGR21
Jesús Correas, Pablo Gordillo, Guillermo Román-Díez:
Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis. IEEE Access 9: 25495-25507 (2021)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/AlbertCGRR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/AlbertCGRR21
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Don't run on fumes - Parametric gas bounds for smart contracts. J. Syst. Softw. 176: 110923 (2021)
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/AlbertGHR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlbertGHR21
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio:
Artifact for paper "A Max-SMT Superoptimizer for EVM handling Memory and Storage". Version 5. Zenodo, 2021 [all versions]
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/AlbertGHR21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AlbertGHR21a
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio:
Artifact for paper "A Max-SMT Superoptimizer for EVM handling Memory and Storage". Version 6. Zenodo, 2021 [all versions]
2020
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AlbertGRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlbertGRS20
Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett:
Synthesis of Super-Optimized Smart Contracts Using Max-SMT. CAV (1) 2020: 177-200
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AlbertCGRR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AlbertCGRR20
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Smart, and also Reliable and Gas-Efficient, Contracts. ICST 2020: 2
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AlbertCGRR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlbertCGRR20
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: 118-125
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-14437
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-14437
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 abs/2004.14437 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/AlbertCGRR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/AlbertCGRR19
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
SAFEVM: a safety verifier for Ethereum smart contracts. ISSTA 2019: 386-389
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/AlbertGRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/AlbertGRS19
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: 63-78
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-04984
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-04984
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
SAFEVM: A Safety Verifier for Ethereum Smart Contracts. CoRR abs/1906.04984 (2019)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1912-11929
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-11929
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. CoRR abs/1912.11929 (2019)
2018
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AlbertGLRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AlbertGLRS18
Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. ATVA 2018: 513-520
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-07208
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-07208
Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. CoRR abs/1805.07208 (2018)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-10403
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-10403
Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey:
GASTAP: A Gas Analyzer for Smart Contracts. CoRR abs/1811.10403 (2018)
2017
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/AlbertGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/AlbertGG17
Elvira Albert, Samir Genaim, Pablo Gordillo:
May-Happen-in-Parallel Analysis with Returned Futures. ATVA 2017: 42-58
2015
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/AlbertGG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AlbertGG15
Elvira Albert, Samir Genaim, Pablo Gordillo:
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. SAS 2015: 72-89

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.