Alejandro Hernández-Cerezo

According to our database, Alejandro Hernández-Cerezo authored at least 11 papers between 2021 and 2025.

Collaborative distances:

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

2025

Neural-guided superoptimization in ethereum.

Matheus Araújo Aguiar, Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Daniel Kirchner, Albert Rubio

Inf. Softw. Technol., 2025

Securely Optimized (Ethereum) Smart Contracts Using Formal Methods.

Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernández-Cerezo, Enrique Martin-Martin, Albert Rubio

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization.

Elvira Albert, Emanuele De Angelis, Fabio Fioravanti, Alejandro Hernández-Cerezo, Giulia Matricardi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2025

2024

Artifact for "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques".

Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey

Dataset, March, 2024

Superoptimization of stack-based bytecode ; Superoptimización de código en máquinas de pila.

Alejandro Hernández-Cerezo

PhD thesis, 2024

SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques.

Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey

Proc. ACM Program. Lang., 2024

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