Estudios Estadísticos
Facultat
ALBERTO
RUBIO GIMENO
Catedrático de universidad
Publicacions en què col·labora amb ALBERTO RUBIO GIMENO (5)
2023
-
Inferring Needless Write Memory Accesses on Ethereum Bytecode
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
Don't run on fumes—Parametric gas bounds for smart contracts
Journal of Systems and Software, Vol. 176
2020
-
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Smart, and also Reliable and Gas-Efficient, Contracts
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
2019
-
SafeVM: A safety verifier for ethereum smart contracts
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis