Guillermo Román-Díez

According to our database, Guillermo Román-Díez authored at least 41 papers between 2009 and 2025.

Collaborative distances:

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

2025

Harnessing heap analysis for the synthesis of superoptimized bytecode.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

J. Syst. Softw., 2025

2024

Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Artifact for paper "Harnessing Heap Analysis for the Synthesis of Superoptimized Bytecode".

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Dataset, October, 2023

Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version).

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

CoRR, 2023

Inferring Needless Write Memory Accesses on Ethereum Bytecode.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

When COSTA Met KeY: Verified Cost Bounds.

Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

<i>Don't run on fumes</i> - Parametric gas bounds for smart contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

J. Syst. Softw., 2021

Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis.

Jesús Correas, Pablo Gordillo, Guillermo Román-Díez

IEEE Access, 2021

2020

Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

CoRR, 2020

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Smart, and also Reliable and Gas-Efficient, Contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Peak resource analysis of concurrent distributed systems.

Elvira Albert, Jesús Correas, Guillermo Román-Díez

J. Syst. Softw., 2019

Time analysis of actor programs.

Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez

J. Log. Algebraic Methods Program., 2019

SAFEVM: a safety verifier for Ethereum smart contracts.

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Parallel Cost Analysis.

Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez

ACM Trans. Comput. Log., 2018

2017

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.

Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini

Proceedings of the Software Technologies: Applications and Foundations, 2017

2016

A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez

Softw. Syst. Model., 2016

Resource Analysis of Distributed Systems.

Elvira Albert, Jesús Correas, Guillermo Román-Díez

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

A multi-domain incremental analysis engine and its application to incremental resource analysis.

Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez

Theor. Comput. Sci., 2015

Object-sensitive cost analysis for concurrent objects.

Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez

Softw. Test. Verification Reliab., 2015

Quantified abstract configurations of distributed systems.

Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez

Formal Aspects Comput., 2015

Non-cumulative Resource Analysis.

Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Parallel Cost Analysis of Distributed Systems.

Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Resource Analysis: From Sequential to Concurrent and Distributed Programs.

Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez

Proceedings of the FM 2015: Formal Methods, 2015

2014

Conditional termination of loops over heap-allocated data.

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez

Sci. Comput. Program., 2014

SACO: Static Analyzer for Concurrent Objects.

Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Peak Cost Analysis of Distributed Systems.

Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez

Proceedings of the Static Analysis - 21st International Symposium, 2014

Static Inference of Transmission Data Sizes in Distributed Systems.

Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

Quantified Abstractions of Distributed Systems.

Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity.

Guillermo Román-Díez

PhD thesis, 2012

Incremental resource usage analysis.

Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Automatic Inference of Bounds on Resource Consumption.

Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini

Proceedings of the Formal Methods for Components and Objects, 2012

Verified Resource Guarantees for Heap Manipulating Programs.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Verified resource guarantees using COSTA and KeY.

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

2009

Termination and Cost Analysis with COSTA and its User Interfaces.

Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009