| 2025 | SEFM | Securely Optimized (Ethereum) Smart Contracts Using Formal Methods. | Elvira Albert, Samir Genaim, Pablo Gordillo, Alejandro Hernndez-Cerezo, Enrique Martin-Martin, Albert Rubio |
| 2024 | ISSTA | Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2023 | TACAS | Inferring Needless Write Memory Accesses on Ethereum Bytecode. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2022 | CADE | Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. | Elvira Albert, Pablo Gordillo, Alejandro Hernndez-Cerezo, Clara Rodrguez-Nez, Albert Rubio |
| 2022 | TACAS | A Max-SMT Superoptimizer for EVM handling Memory and Storage. | Elvira Albert, Pablo Gordillo, Alejandro Hernndez-Cerezo, Albert Rubio |
| 2020 | CAV | Synthesis of Super-Optimized Smart Contracts Using Max-SMT. | Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett |
| 2020 | ICST | Smart, and also Reliable and Gas-Efficient, Contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2020 | TACAS | GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2019 | ISSTA | SAFEVM: a safety verifier for Ethereum smart contracts. | Elvira Albert, Jess Correas, Pablo Gordillo, Guillermo Romn-Dez, Albert Rubio |
| 2019 | VECoS | Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. | Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey |
| 2018 | ATVA | EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. | Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey |
| 2017 | ATVA | May-Happen-in-Parallel Analysis with Returned Futures. | Elvira Albert, Samir Genaim, Pablo Gordillo |
| 2015 | SAS | May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. | Elvira Albert, Samir Genaim, Pablo Gordillo |