Super-optimization of Smart Contracts[J] ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY 2022(31) Albert, Elvira Gordillo, Pablo Hernandez-Cerezo, Alejandro Rubio, Albert Schett, Maria A.
Don't run on fumes-Parametric gas bounds for smart contracts[J] JOURNAL OF SYSTEMS AND SOFTWARE 2021(176) Albert, Elvira Correas, Jesus Gordillo, Pablo Roman-Diez, Guillermo Rubio, Albert
Static Profiling and Optimization of Ethereum Smart Contracts Using Resource Analysis[J] IEEE ACCESS 2021(9) Correas, Jesus Gordillo, Pablo Roman-Diez, Guillermo
