Alejandro Hernández-Cerezo

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

Collaborative distances:

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

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

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