Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett. Super-optimization of Smart Contracts. ACM Transactions on Software Engineering Methodology, 31(4), 2022. [doi]
@article{AlbertGHRS22, title = {Super-optimization of Smart Contracts}, author = {Elvira Albert and Pablo Gordillo and Alejandro Hernández-Cerezo and Albert Rubio and Maria Anna Schett}, year = {2022}, doi = {10.1145/3506800}, url = {https://doi.org/10.1145/3506800}, researchr = {https://researchr.org/publication/AlbertGHRS22}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Software Engineering Methodology}, volume = {31}, number = {4}, }