Follow
Guillermo Román Díez
Guillermo Román Díez
Associate Professor (Profesor Titular) at Universidad Politécnica de Madrid
Verified email at upm.es - Homepage
Title
Cited by
Cited by
Year
Gasol: Gas analysis and optimization for ethereum smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
International Conference on Tools and Algorithms for the Construction and …, 2020
1042020
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
912014
Termination and Cost Analysis with COSTA and its User Interfaces
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla, D Ramirez, ...
Electronic Notes in Theoretical Computer Science 258 (1), 109-121, 2009
432009
Object‐sensitive cost analysis for concurrent objects
E Albert, P Arenas, J Correas, S Genaim, M Gómez‐Zamalloa, G Puebla, ...
Software Testing, Verification and Reliability 25 (3), 218-271, 2015
412015
SAFEVM: a safety verifier for Ethereum smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
402019
Non-cumulative resource analysis
E Albert, JC Fernández, G Román-Díez
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
372015
Verified resource guarantees using COSTA and KeY
E Albert, R Bubel, S Genaim, R Hähnle, G Puebla, G Román-Díez
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011
302011
Peak cost analysis of distributed systems
E Albert, J Correas, G Román-Díez
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014
252014
Incremental resource usage analysis
E Albert, J Correas, G Puebla, G Román-Díez
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012
202012
Parallel cost analysis
E Albert, J Correas, EB Johnsen, KI Pun, G Román-Díez
ACM Transactions on Computational Logic (TOCL) 19 (4), 1-37, 2018
162018
Verified resource guarantees for heap manipulating programs
E Albert, R Bubel, S Genaim, R Hähnle, G Román-Díez
Fundamental Approaches to Software Engineering: 15th International …, 2012
162012
Parallel cost analysis of distributed systems
E Albert, J Correas, EB Johnsen, G Román-Díez
Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015
152015
Don’t run on fumes—parametric gas bounds for smart contracts
E Albert, J Correas, P Gordillo, G Román-Díez, A Rubio
Journal of Systems and Software 176, 110923, 2021
142021
Static profiling and optimization of ethereum smart contracts using resource analysis
J Correas, P Gordillo, G Román-Díez
IEEE Access 9, 25495-25507, 2021
122021
Analyzing smart contracts: from EVM to a sound control-flow graph
E Albert, J Correas, P Gordillo, AHCG Román-Díez, A Rubio
arXiv preprint arXiv:2004.14437, 2020
122020
Time analysis of actor programs
C Laneve, M Lienhardt, KI Pun, G Román-Díez
Journal of Logical and Algebraic Methods in Programming 105, 1-27, 2019
112019
A formal verification framework for static analysis: As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
E Albert, R Bubel, S Genaim, R Hähnle, G Puebla, G Román-Díez
Software & Systems Modeling 15, 987-1012, 2016
112016
Conditional termination of loops over heap-allocated data
E Albert, P Arenas, S Genaim, G Puebla, G Román-Díez
Science of Computer Programming 92, 2-24, 2014
112014
Resource analysis: From sequential to concurrent and distributed programs
E Albert, P Arenas, J Correas, S Genaim, M Gómez-Zamalloa, ...
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
72015
Conditional termination of loops over arrays
E Albert, S Genaim, G Román-Dıez
Proc. of Bytecode 12, 2012
62012
The system can't perform the operation now. Try again later.
Articles 1–20