{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T15:36:04Z","timestamp":1776785764986,"version":"3.51.2"},"reference-count":86,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000143","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1955965"],"award-info":[{"award-number":["CNS-1955965"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"NSF","doi-asserted-by":"publisher","award":["CCF-2145394"],"award-info":[{"award-number":["CCF-2145394"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"NSF","doi-asserted-by":"publisher","award":["CCF-2402103"],"award-info":[{"award-number":["CCF-2402103"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"publisher","award":["EP\/T006544\/2"],"award-info":[{"award-number":["EP\/T006544\/2"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"publisher","award":["EP\/T014709\/2"],"award-info":[{"award-number":["EP\/T014709\/2"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"publisher","award":["EP\/Y005244\/1"],"award-info":[{"award-number":["EP\/Y005244\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"publisher","award":["EP\/V000462\/1"],"award-info":[{"award-number":["EP\/V000462\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"publisher","award":["EP\/X015955\/1"],"award-info":[{"award-number":["EP\/X015955\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100018699","name":"EU Horizon","doi-asserted-by":"publisher","award":["101093006"],"award-info":[{"award-number":["101093006"]}],"id":[{"id":"10.13039\/100018699","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1109\/tse.2025.3593930","type":"journal-article","created":{"date-parts":[[2025,7,31]],"date-time":"2025-07-31T18:32:16Z","timestamp":1753986736000},"page":"2617-2633","source":"Crossref","is-referenced-by-count":8,"title":["How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-5289-2364","authenticated-orcid":false,"given":"Mengting","family":"He","sequence":"first","affiliation":[{"name":"Pennsylvania State University, PA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-7334-7701","authenticated-orcid":false,"given":"Shihao","family":"Xia","sequence":"additional","affiliation":[{"name":"Pennsylvania State University, PA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8510-8656","authenticated-orcid":false,"given":"Boqin","family":"Qin","sequence":"additional","affiliation":[{"name":"China Telecom Cloud Technology Company Ltd., Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3925-8557","authenticated-orcid":false,"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9461-4251","authenticated-orcid":false,"given":"Tingting","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Connecticut, Storrs, Connecticut, CT, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-6263-7802","authenticated-orcid":false,"given":"Yiying","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3185-9278","authenticated-orcid":false,"given":"Linhai","family":"Song","sequence":"additional","affiliation":[{"name":"Pennsylvania State University, PA, USA"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Ethereum","year":"2023"},{"key":"ref2","article-title":"Ethereum","year":"2023"},{"key":"ref3","article-title":"Smart contract","year":"2023"},{"key":"ref4","article-title":"Ethereum (ETH) price stats and information","year":"2023"},{"key":"ref5","article-title":"Uniswap","year":"2023"},{"key":"ref6","article-title":"OpenSea","year":"2023"},{"key":"ref7","article-title":"Solidity","year":"2023"},{"key":"ref8","article-title":"Top 6 smart contract languages in 2023","year":"2023"},{"key":"ref9","article-title":"Top 7 reasons to learn solidity programming ASAP","year":"2023"},{"key":"ref10","article-title":"Top 5 blockchain programming languages for smart contracts","year":"2023"},{"key":"ref11","article-title":"A comprehensive guide to gas and gas price in solidity","year":"2023"},{"key":"ref12","article-title":"GAS AND FEES","year":"2023"},{"key":"ref13","article-title":"Ethereum gas tracker","year":"2023"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80009-7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1181309.1181314"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.41"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.100"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254075"},{"key":"ref19","article-title":"Slither, the Solidity source analyzer","year":"2023"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain50366.2020.00042"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3494106.3528683"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"ref23","article-title":"LLVM\u2019s analysis and transform passes","year":"2023"},{"key":"ref24","article-title":"The optimizer","year":"2023"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882297"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568259"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568229"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737966"},{"key":"ref29","article-title":"How Solidity 0.8 protect against integer underflow\/overflow and how they can still happen in Solidity 0.8","year":"2023"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/BRAINS52497.2021.9569819"},{"key":"ref31","first-page":"81","article-title":"Towards saving money in using smart contracts","volume-title":"Proc. IEEE\/ACM 40th Int. Conf. Softw. Eng.: New Ideas Emerg. Technol. Results (ICSE-NIER)","author":"Chen","year":"2018"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2020.2979019"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884650"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_10"},{"key":"ref35","article-title":"Blockchain superoptimizer","author":"Nagele","year":"2020"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534378"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-021-1674-4"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE50093.2020.9050163"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2942301"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3524610.3529157"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2267"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3563328"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_31"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2921936"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0281043"},{"key":"ref46","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/3183440.3183495","article-title":"ReGuard: Finding reentrancy bugs in smart contracts","volume-title":"Proc. 40th Int. Conf. Softw. Eng.: Companion Proceeedings","author":"Liu","year":"2018"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2969429"},{"key":"ref48","first-page":"1029","article-title":"Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Xue","year":"2020"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3360615"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS47774.2020.00116"},{"key":"ref51","first-page":"349","article-title":"Finding consensus bugs in Ethereum via multi-transaction differential fuzzing","volume-title":"Proc. 15th USENIX Symp. Operating Syst. Des. Implementation (OSDI)","author":"Yang","year":"2021"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179386"},{"key":"ref53","article-title":"Ethereum Eclipse Attacks","author":"W\u00fcst","year":"2016"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2019.101604"},{"key":"ref55","article-title":"Low-resource eclipse attacks on Ethereum\u2019s peer-to-peer network","author":"Marcus","year":"2018","journal-title":"IACR ePrint Cryptology Report"},{"key":"ref56","article-title":"OpenZeppelin Contracts is a library for secure smart contract development","year":"2023"},{"key":"ref57","article-title":"Solidity libraries that are shared across Uniswap contracts","year":"2023"},{"issue":"2","key":"ref58","first-page":"1","article-title":"Uniswap and the emergence of the decentralized exchange","volume":"10","author":"Lo","year":"2021","journal-title":"J. Financial Market Infrastruct."},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616270"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3207428"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386036"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304069"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606602"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806617"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453111"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449775"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542523"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806616"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993530"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491416"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_32"},{"key":"ref72","first-page":"296","article-title":"PerfBlower: Quickly detecting memory-related performance problems via amplification","volume-title":"Proc. 29th Eur. Conf. Object-Oriented Program. (ECOOP)","author":"Fang","year":"2015"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384690"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509512"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/3133898"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510110"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510093"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510085"},{"key":"ref79","doi-asserted-by":"crossref","first-page":"1435","DOI":"10.1145\/3377811.3380351","article-title":"Towards the use of the readily available tests from the release pipeline as performance tests: Are we there yet?","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Ding","year":"2020"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180194"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338923"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409674"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507744"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111193"},{"key":"ref85","article-title":"go-Ethereum","year":"2024"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1074"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/11172729\/11105518.pdf?arnumber=11105518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T16:10:33Z","timestamp":1759248633000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11105518\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":86,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3593930","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9]]}}}