Pablo Gordillo -

Registered user since Wed 17 Jul 2019

Name:Pablo Gordillo

Country:Spain

Affiliation:Universidad Complutense de Madrid

Personal website: https://costa.fdi.ucm.es/~pabgordi

Research interests:Ethereum, static analysis, verification

Contributions

2024

ISSTA

Author of Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT within the Technical Papers-track