{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:02:47Z","timestamp":1770278567464,"version":"3.49.0"},"reference-count":47,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","license":[{"start":{"date-parts":[[2022,10,31]],"date-time":"2022-10-31T00:00:00Z","timestamp":1667174400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2022,10,31]]},"abstract":"<jats:p>\n            Since executing a smart contract on the Ethereum blockchain costs money (measured in\n            <jats:italic>gas<\/jats:italic>\n            ), smart contract developers spend significant effort in reducing gas usage. In this paper, we propose a new technique for reducing the gas usage of smart contracts by changing the underlying data layout. Given a smart contract\n            <jats:italic>P<\/jats:italic>\n            and a type-level transformation, our method automatically synthesizes a new contract\n            <jats:italic>P<\/jats:italic>\n            \u2032 that is functionally equivalent to\n            <jats:italic>P<\/jats:italic>\n            . Our approach provides a convenient DSL for expressing data type refactorings and employs program synthesis to generate the new version of the contract. We have implemented our approach in a tool called Solidare and demonstrate its capabilities on real-world smart contracts from Etherscan and GasStation. In particular, we show that our approach is effective at automating the desired data layout transformation and that it is useful for reducing gas usage of smart contracts that use rich data structures.\n          <\/jats:p>","DOI":"10.1145\/3563308","type":"journal-article","created":{"date-parts":[[2022,10,31]],"date-time":"2022-10-31T20:23:35Z","timestamp":1667247815000},"page":"560-588","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Synthesis-powered optimization of smart contracts via data type refactoring"],"prefix":"10.1145","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6494-3126","authenticated-orcid":false,"given":"Yanju","family":"Chen","sequence":"first","affiliation":[{"name":"University of California at Santa Barbara, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3370-2431","authenticated-orcid":false,"given":"Yuepeng","family":"Wang","sequence":"additional","affiliation":[{"name":"Simon Fraser University, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8523-3433","authenticated-orcid":false,"given":"Maruth","family":"Goyal","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9281-4156","authenticated-orcid":false,"given":"James","family":"Dong","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1000-1229","authenticated-orcid":false,"given":"Yu","family":"Feng","sequence":"additional","affiliation":[{"name":"University of California at Santa Barbara, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8006-1230","authenticated-orcid":false,"given":"I\u015fil","family":"Dillig","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,10,31]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45237-7_7"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_10"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-35092-5_5"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094832"},{"key":"e_1_2_1_5_1","volume-title":"Ethereum: A Next-Generation Smart Contract and Decentralized Application Platform. https:\/\/ethereum.org\/en\/whitepaper","author":"Buterin Vitalik","year":"2014","unstructured":"Vitalik Buterin . 2014 . Ethereum: A Next-Generation Smart Contract and Decentralized Application Platform. https:\/\/ethereum.org\/en\/whitepaper Vitalik Buterin. 2014. Ethereum: A Next-Generation Smart Contract and Decentralized Application Platform. https:\/\/ethereum.org\/en\/whitepaper"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884650"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183399.3183420"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-012-0302-x"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF49147.2020.00016"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-65474-0_15"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677006"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368148"},{"key":"e_1_2_1_13_1","unstructured":"Ethereum. 2022. Ethereum Virtual Machine. https:\/\/ethereum.org\/en\/developers\/docs\/evm \t\t\t\t  Ethereum. 2022. Ethereum Virtual Machine. https:\/\/ethereum.org\/en\/developers\/docs\/evm"},{"key":"e_1_2_1_14_1","unstructured":"Etherscan. 2022. https:\/\/etherscan.io \t\t\t\t  Etherscan. 2022. https:\/\/etherscan.io"},{"key":"e_1_2_1_15_1","unstructured":"ETHGasStation. 2022. https:\/\/ethgasstation.info \t\t\t\t  ETHGasStation. 2022. https:\/\/ethgasstation.info"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192382"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428238"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993504"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254114"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062512"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00117"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190075"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385982"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA201007"},{"key":"e_1_2_1_27_1","volume-title":"SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts. CoRR, abs\/2103.02209","author":"Lin Shaokai","year":"2021","unstructured":"Shaokai Lin , Xinyuan Sun , Jianan Yao , and Ronghui Gu. 2021. SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts. CoRR, abs\/2103.02209 ( 2021 ), arxiv:2103.02209. arxiv:2103.02209 Shaokai Lin, Xinyuan Sun, Jianan Yao, and Ronghui Gu. 2021. SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts. CoRR, abs\/2103.02209 (2021), arxiv:2103.02209. arxiv:2103.02209"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180211"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908122"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC51069.2021.9461148"},{"key":"e_1_2_1_31_1","unstructured":"In\u00eas Lynce and Joao P Marques-Silva. 2004. On computing minimum unsatisfiable cores. http:\/\/www.satisfiability.org\/SAT04\/programme\/110.pdf \t\t\t\t  In\u00eas Lynce and Joao P Marques-Silva. 2004. On computing minimum unsatisfiable cores. http:\/\/www.satisfiability.org\/SAT04\/programme\/110.pdf"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416626"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-58603-929-5-131"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/b978-0-12-450010-5.50023-2"},{"key":"e_1_2_1_35_1","unstructured":"Julian Nagele and Maria A Schett. 2020. Blockchain Superoptimizer. arXiv preprint arXiv:2005.05912 arxiv:2005.05912 \t\t\t\t  Julian Nagele and Maria A Schett. 2020. Blockchain Superoptimizer. arXiv preprint arXiv:2005.05912 arxiv:2005.05912"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454063"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133889"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360611"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375599"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_19"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961204.1961205"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949308"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314588"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-41600-3_7"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.14778\/3384345.3384350"},{"key":"e_1_2_1_47_1","volume-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger. https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf","author":"Wood Gavin","year":"2022","unstructured":"Gavin Wood . 2022 . Ethereum: A Secure Decentralised Generalised Transaction Ledger. https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf Gavin Wood. 2022. Ethereum: A Secure Decentralised Generalised Transaction Ledger. https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563308","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563308","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3563308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:38:10Z","timestamp":1750178290000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3563308"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,31]]},"references-count":47,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2022,10,31]]}},"alternative-id":["10.1145\/3563308"],"URL":"https:\/\/doi.org\/10.1145\/3563308","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,31]]},"assertion":[{"value":"2022-10-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}