Publications (15) PABLO GORDILLO ALGUACIL publications

2024

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

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

2023

  1. Inferring Needless Write Memory Accesses on Ethereum Bytecode

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2022

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

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Super-optimization of Smart Contracts

    ACM Transactions on Software Engineering and Methodology, Vol. 31, Núm. 4

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

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2021

  1. Don't run on fumes—Parametric gas bounds for smart contracts

    Journal of Systems and Software, Vol. 176

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

    IEEE Access, Vol. 9, pp. 25495-25507

2020

  1. GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

    Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020

  3. 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)

2019

  1. Running on fumes: Preventing out-of-gas vulnerabilities in ethereum smart contracts using static resource analysis

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. SafeVM: A safety verifier for ethereum smart contracts

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

2018

  1. 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)

2017

  1. May-happen-in-parallel analysis with returned futures

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. May-happen-in-parallel analysis for asynchronous programs with inter-procedural synchronization

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)