Elvira Albert
Universidad Complutense de Madrid
H-index: 35
Europe-Spain
Top articles of Elvira Albert
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Optimal dynamic partial order reduction with context-sensitive independence and observers | Journal of Systems and Software | Elvira Albert Maria Garcia de la Banda Miguel Gómez-Zamalloa Miguel Isabel Peter Stuckey | 2023/8/1 |
Formally Verified EVM Block-Optimizations | Elvira Albert Samir Genaim Daniel Kirchner Enrique Martin-Martin | 2023/7/17 | |
MO-0948 Intermediate-High dose TBI: a balance between disease control and pulmonary toxicity | Radiotherapy and Oncology | G Sancho-Pardo A Vila I Garcia-Cadenas R Martino N Garcia-Apellaniz | 2023/5/1 |
Inferring Needless Write Memory Accesses on Ethereum Bytecode | Elvira Albert Jesús Correas Pablo Gordillo Guillermo Román-Díez Albert Rubio | 2023/4/22 | |
A Max-SMT superoptimizer for EVM handling memory and storage | Elvira Albert Pablo Gordillo Alejandro Hernández-Cerezo Albert Rubio | 2022/3/30 | |
Distilling constraints in zero-knowledge protocols | Elvira Albert Marta Bellés-Munoz Miguel Isabel Clara Rodríguez-Núñez Albert Rubio | 2022/8/7 | |
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 | 2022/8/1 | |
Super-optimization of smart contracts | ACM Transactions on Software Engineering and Methodology (TOSEM) | Elvira Albert Pablo Gordillo Alejandro Hernández-Cerezo Albert Rubio Maria A Schett | 2022/7/12 |
When COSTA Met KeY: Verified Cost Bounds | Elvira Albert Samir Genaim Alicia Merayo Guillermo Román-Díez | 2022/7/4 | |
Relaxed effective callback freedom: a parametric correctness condition for sequential modules with callbacks | IEEE Transactions on Dependable and Secure Computing | Elvira Albert Shelly Grossman Noam Rinetzky Clara Rodriguez Nunez Albert Rubio | 2022/5/30 |
Don’t run on fumes—parametric gas bounds for smart contracts | Journal of Systems and Software | Elvira Albert Jesús Correas Pablo Gordillo Guillermo Román-Díez Albert Rubio | 2021/6/1 |
Certified abstract cost analysis | Elvira Albert Reiner Hähnle Alicia Merayo Dominic Steinhöfel | 2021/3/20 | |
Lower-bound synthesis using loop specialization and Max-SMT | Elvira Albert Samir Genaim Enrique Martin-Martin Alicia Merayo Albert Rubio | 2021 | |
Actor-based model checking for Software-Defined Networks | Journal of Logical and Algebraic Methods in Programming | Elvira Albert Miguel Gomez-Zamalloa Miguel Isabel Albert Rubio Matteo Sammartino | 2021/1/1 |
Gasol: Gas analysis and optimization for ethereum smart contracts | Elvira Albert Jesús Correas Pablo Gordillo Guillermo Román-Díez Albert Rubio | 2020/4/17 | |
Taming callbacks for smart contract modularity | Proceedings of the ACM on Programming Languages | Elvira Albert Shelly Grossman Noam Rinetzky Clara Rodríguez-Núñez Albert Rubio | 2020/11/13 |
Actor-Based Model Checking for SDN Networks | arXiv preprint arXiv:2001.10022 | Elvira Albert Miguel Gómez-Zamalloa Miguel Isabel Albert Rubio Matteo Sammartino | 2020/1/27 |
Smart, and also reliable and gas-efficient, contracts | Elvira Albert Jesús Correas Pablo Gordillo Guillermo Román-Díez Albert Rubio | 2020/10/24 | |
Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23) | Nicolás García-Pedrajas Francisco Herrera José Manuel Benítez Colin Fyfe Moonis Ali | 2010/6/1 | |
Synthesis of super-optimized smart contracts using max-smt | Elvira Albert Pablo Gordillo Albert Rubio Maria A Schett | 2020/7/14 |
