Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks[J] IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 2023(20) Albert, Elvira Grossman, Shelly Rinetzky, Noam Rodriguez-Nunez, Clara Rubio, Albert Sagiv, Mooly
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
