Alejandro Hernández-Cerezo

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Stochastic Local Search

Propositional Satisfiability

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Softw. Eng. Methodol.

Publications

Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. 8 (PLDI) (2024)
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)
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) (2022)
Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio
A Max-SMT Superoptimizer for EVM handling Memory and Storage. TACAS (1) (2022)