Publicaciones en las que colabora con ALBERTO RUBIO GIMENO (5)

2023

  1. 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

  1. Don't run on fumes—Parametric gas bounds for smart contracts

    Journal of Systems and Software, Vol. 176

2020

  1. 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)

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

    Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020

2019

  1. SafeVM: A safety verifier for ethereum smart contracts

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