{"authors":[{"id":null,"fullName":"Mengting He","name":null,"surname":null,"rank":1,"pid":{"id":{"scheme":"orcid_pending","value":"0009-0006-5289-2364"},"provenance":null}},{"id":null,"fullName":"Shihao Xia","name":null,"surname":null,"rank":2,"pid":{"id":{"scheme":"orcid_pending","value":"0009-0006-7334-7701"},"provenance":null}},{"id":"orcid_______::3d26606a827e4299eb1540cf758ab6a3","fullName":"Boqin Qin","name":null,"surname":null,"rank":3,"pid":{"id":{"scheme":"orcid","value":"0000-0002-8510-8656"},"provenance":null}},{"id":"orcid_______::4174a0d4516edcaf629efc35bd79f1a3","fullName":"Nobuko Yoshida","name":null,"surname":null,"rank":4,"pid":{"id":{"scheme":"orcid","value":"0000-0002-3925-8557"},"provenance":null}},{"id":null,"fullName":"Tingting Yu 0001","name":null,"surname":null,"rank":5,"pid":{"id":{"scheme":"orcid_pending","value":"0000-0002-9461-4251"},"provenance":null}},{"id":"orcid_______::ebcac8b629c86f888d425be31720c140","fullName":"Yiying Zhang 0005","name":null,"surname":null,"rank":6,"pid":{"id":{"scheme":"orcid","value":"0009-0005-6263-7802"},"provenance":null}},{"id":"orcid_______::258d2519bb548cb6c625468962d9ec4f","fullName":"Linhai Song","name":null,"surname":null,"rank":7,"pid":{"id":{"scheme":"orcid","value":"0000-0002-3185-9278"},"provenance":null}}],"openAccessColor":null,"publiclyFunded":false,"eoscIfGuidelines":null,"type":"publication","language":{"code":"und","label":"Undetermined"},"countries":[{"code":"GB","label":"United Kingdom","provenance":null}],"subjects":[{"subject":{"scheme":"keyword","value":"Software Engineering (cs.SE)"},"provenance":null},{"subject":{"scheme":"keyword","value":"FOS: Computer and information sciences"},"provenance":null},{"subject":{"scheme":"FOS","value":"0202 electrical engineering, electronic engineering, information engineering"},"provenance":null},{"subject":{"scheme":"keyword","value":"Software Engineering"},"provenance":null},{"subject":{"scheme":"FOS","value":"02 engineering and technology"},"provenance":null}],"mainTitle":"How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs","subTitle":null,"descriptions":["The execution of smart contracts on Ethereum, a public blockchain system, incurs a fee called gas fee for its computation and data storage. When programmers develop smart contracts (e.g., in the Solidity programming language), they could unknowingly write code snippets that unnecessarily cause more gas fees. These issues, or what we call gas wastes, can lead to significant monetary losses for users. This paper takes the initiative in helping Ethereum users reduce their gas fees in two key steps. First, we conduct an empirical study on gas wastes in open-source Solidity programs and Ethereum transaction traces. Second, to validate our study findings, we develop a static tool called PeCatch to effectively detect gas wastes in Solidity programs, and manually examine the Solidity compiler's code to pinpoint implementation errors causing gas wastes. Overall, we make 11 insights and four suggestions, which can foster future tool development and programmer awareness, and fixing our detected bugs can save $0.76 million in gas fees daily."],"publicationDate":"2025-09-01","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","embargoEndDate":"2024-03-01","sources":["Crossref"],"formats":null,"contributors":null,"coverages":null,"bestAccessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/"},"container":{"name":"IEEE Transactions on Software Engineering","issnPrinted":"0098-5589","issnOnline":"2326-3881","issnLinking":null,"ep":"2633","iss":null,"sp":"2617","vol":"51","edition":null,"conferencePlace":null,"conferenceDate":null},"documentationUrls":null,"codeRepositoryUrl":null,"programmingLanguage":null,"contactPeople":null,"contactGroups":null,"tools":null,"size":null,"version":null,"geoLocations":null,"id":"doi_dedup___::c8157a1d0b059d45faae4dd7d062fb38","originalIds":["10.1109/tse.2025.3593930","50|doiboost____|f4d9193ac21ff7a0de7c066e63b95adb","50|datacite____::c8157a1d0b059d45faae4dd7d062fb38","10.48550/arxiv.2403.02661","50|od________18::b07860ef293172e7a4b2fbd4d6c42447","oai:arXiv.org:2403.02661","50|dblp________::3e14992781c8093527b7a507231b68e4","50|dblp________::c383217c24de7c3b58c927a98f2276f9","oai:ora.ox.ac.uk:uuid:b03b4b12-7ae4-4856-a3d0-0b24d9614bad","50|od______1064::d467ca1e50de5e7c945291ab0e18b45a"],"pids":[{"scheme":"doi","value":"10.1109/tse.2025.3593930"},{"scheme":"doi","value":"10.48550/arxiv.2403.02661"},{"scheme":"arXiv","value":"2403.02661"}],"dateOfCollection":null,"lastUpdateTimeStamp":null,"indicators":{"citationImpact":{"citationCount":5.0,"influence":2.4874274E-9,"popularity":5.532424E-9,"impulse":5.0,"citationClass":"C5","influenceClass":"C5","impulseClass":"C4","popularityClass":"C4"}},"projects":[{"id":"ukri________::ac9c57e926a3506a534469d3f8447e4d","code":"EP/X015955/1","acronym":null,"title":"Morello-HAT: Morello High-Level API and Tooling","funder":"UK Research and Innovation","pids":null},{"id":"ukri________::819c500a3f3f07edba39c67478c07c5e","code":"10066667","acronym":null,"title":"Trustworthy and Resilient Decentralised Intelligence for Edge Systems","funder":"UK Research and Innovation","pids":null},{"id":"ukri________::ca860b83408ab4f38d30d8498b025293","code":"EP/T014709/2","acronym":null,"title":"Session Types for Reliable Distributed Systems (STARDUST)","funder":"UK Research and Innovation","pids":null},{"id":"ukri________::bd082e65d9b4d04c5f01cbc0363267a3","code":"EP/T006544/2","acronym":null,"title":"POST: Protocols, Observabilities and Session Types","funder":"UK Research and Innovation","pids":null},{"id":"corda_____he::ca9d0ce42b3cb57bb6c93e1398f53ded","code":"101093006","acronym":"TaRDIS","title":"Trustworthy and Resilient Decentralised Intelligence for Edge Systems","funder":"European Commission","pids":[{"scheme":"doi","value":"10.3030/101093006"}]},{"id":"ukri________::e89e51b5a1e861955808f388265f2740","code":"EP/V000462/1","acronym":null,"title":"AppControl: Enforcing Application Behaviour through Type-Based Constraints","funder":"UK Research and Innovation","pids":null},{"id":"ukri________::a8bdcb2433e58fbba5d5998f6db4247f","code":"EP/Y005244/1","acronym":null,"title":"Verified Simulation for Large Quantum Systems (VSL-Q)","funder":"UK Research and Innovation","pids":null}],"organizations":[{"legalName":"University of Connecticut","acronym":"University of Connecticut","id":"openorgs____::a306b2611df54f57b0e3a16fd6c56e15","pids":[{"scheme":"mag_id","value":"140172145"},{"scheme":"fundref","value":"100007888"},{"scheme":"ROR","value":"https://ror.org/021nv2831"},{"scheme":"RRID","value":"RRID:nlx_74010"},{"scheme":"OrgRef","value":"239846"},{"scheme":"ISNI","value":"0000000108604915"},{"scheme":"GRID","value":"grid.464710.0"},{"scheme":"fundref","value":"100010093"},{"scheme":"FundRef","value":"100007888"},{"scheme":"fundref","value":"100007710"},{"scheme":"wikidata","value":"Q49206"},{"scheme":"fundref","value":"100006023"},{"scheme":"GRID","value":"grid.63054.34"},{"scheme":"fundref","value":"100009073"},{"scheme":"ISNI","value":"0000000405828640"},{"scheme":"OrgRef","value":"1614913"},{"scheme":"Wikidata","value":"Q49206"},{"scheme":"FundRef","value":"100007710"},{"scheme":"FundRef","value":"100009073"},{"scheme":"FundRef","value":"100006023"},{"scheme":"ROR","value":"https://ror.org/02der9h97"},{"scheme":"RRID","value":"RRID:SCR_003764"},{"scheme":"FundRef","value":"100010093"},{"scheme":"PIC","value":"998368524"}],"countries":[{"code":"US","label":"United States"}],"websiteurl":"http://uconn.edu/"},{"legalName":"Pennsylvania State University","acronym":"PSU","id":"openorgs____::8bf90e63a8d38b9a9a2b1c1192683de7","pids":[{"scheme":"OrgRef","value":"505019"},{"scheme":"FundRef","value":"100011610"},{"scheme":"fundref","value":"100007164"},{"scheme":"fundref","value":"100009791"},{"scheme":"GRID","value":"grid.29857.31"},{"scheme":"fundref","value":"100020861"},{"scheme":"FundRef","value":"100016596"},{"scheme":"OrgRef","value":"1209509"},{"scheme":"fundref","value":"100011594"},{"scheme":"OrgRef","value":"20597418"},{"scheme":"FundRef","value":"100011612"},{"scheme":"FundRef","value":"100011568"},{"scheme":"ISNI","value":"0000000120974281"},{"scheme":"FundRef","value":"100020861"},{"scheme":"fundref","value":"100011177"},{"scheme":"fundref","value":"100008649"},{"scheme":"fundref","value":"100008321"},{"scheme":"fundref","value":"100011612"},{"scheme":"fundref","value":"100013438"},{"scheme":"OrgRef","value":"1530183"},{"scheme":"FundRef","value":"100011594"},{"scheme":"ISNI","value":"0000000459075867"},{"scheme":"FundRef","value":"100008321"},{"scheme":"FundRef","value":"100007164"},{"scheme":"fundref","value":"100006769"},{"scheme":"fundref","value":"100016596"},{"scheme":"RRID","value":"RRID:SCR_011484"},{"scheme":"PIC","value":"997166015"},{"scheme":"FundRef","value":"100008649"},{"scheme":"ROR","value":"https://ror.org/04p491231"},{"scheme":"FundRef","value":"100006769"},{"scheme":"Wikidata","value":"Q739627"},{"scheme":"fundref","value":"100020384"},{"scheme":"fundref","value":"100011568"},{"scheme":"FundRef","value":"100011177"},{"scheme":"FundRef","value":"100009791"},{"scheme":"fundref","value":"100011610"},{"scheme":"FundRef","value":"100013438"},{"scheme":"FundRef","value":"100020384"},{"scheme":"mag_id","value":"130769515"},{"scheme":"OrgRef","value":"21188109"},{"scheme":"wikidata","value":"Q739627"}],"countries":[{"code":"US","label":"United States"}],"websiteurl":"http://www.psu.edu/"},{"legalName":"University of Oxford","acronym":"University of Oxford","id":"openorgs____::6a7b1b4c40a067a1f209de6867fe094d","pids":[{"scheme":"OrgRef","value":"48518"},{"scheme":"FundRef","value":"100010354"},{"scheme":"wikidata","value":"Q6786826"},{"scheme":"fundref","value":"501100021079"},{"scheme":"FundRef","value":"100010350"},{"scheme":"FundRef","value":"100010359"},{"scheme":"OrgRef","value":"53554"},{"scheme":"OrgRef","value":"128294"},{"scheme":"fundref","value":"501100022752"},{"scheme":"OrgRef","value":"128380"},{"scheme":"FundRef","value":"100010369"},{"scheme":"Wikidata","value":"Q34433"},{"scheme":"FundRef","value":"100010349"},{"scheme":"fundref","value":"501100000649"},{"scheme":"fundref","value":"100010352"},{"scheme":"wikidata","value":"Q56612600"},{"scheme":"fundref","value":"501100000645"},{"scheme":"FundRef","value":"100010353"},{"scheme":"fundref","value":"100010361"},{"scheme":"fundref","value":"100010368"},{"scheme":"UKPRN","value":"10007774"},{"scheme":"fundref","value":"501100000734"},{"scheme":"FundRef","value":"501100022752"},{"scheme":"OrgRef","value":"128345"},{"scheme":"FundRef","value":"501100021079"},{"scheme":"OrgRef","value":"31797"},{"scheme":"fundref","value":"501100000747"},{"scheme":"fundref","value":"501100000744"},{"scheme":"fundref","value":"100010369"},{"scheme":"FundRef","value":"100007718"},{"scheme":"OrgRef","value":"128351"},{"scheme":"OrgRef","value":"128373"},{"scheme":"OrgRef","value":"128300"},{"scheme":"fundref","value":"100010354"},{"scheme":"FundRef","value":"100010362"},{"scheme":"FundRef","value":"501100001622"},{"scheme":"FundRef","value":"100010355"},{"scheme":"FundRef","value":"501100013389"},{"scheme":"fundref","value":"100010349"},{"scheme":"wikidata","value":"Q1095537"},{"scheme":"fundref","value":"100010371"},{"scheme":"FundRef","value":"501100014748"},{"scheme":"OrgRef","value":"128381"},{"scheme":"UCAS","value":"O33"},{"scheme":"FundRef","value":"501100006558"},{"scheme":"OrgReg","value":"UK0090"},{"scheme":"fundref","value":"501100000696"},{"scheme":"FundRef","value":"501100000747"},{"scheme":"FundRef","value":"100010364"},{"scheme":"wikidata","value":"Q5260389"},{"scheme":"fundref","value":"501100006561"},{"scheme":"fundref","value":"100010367"},{"scheme":"OrgRef","value":"128378"},{"scheme":"fundref","value":"501100001622"},{"scheme":"OrgRef","value":"9491409"},{"scheme":"fundref","value":"100010348"},{"scheme":"OrgRef","value":"128383"},{"scheme":"fundref","value":"100010353"},{"scheme":"FundRef","value":"100010356"},{"scheme":"fundref","value":"100010359"},{"scheme":"FundRef","value":"100010367"},{"scheme":"OrgRef","value":"128382"},{"scheme":"wikidata","value":"Q34433"},{"scheme":"fundref","value":"501100023929"},{"scheme":"OrgRef","value":"128375"},{"scheme":"FundRef","value":"501100000718"},{"scheme":"FundRef","value":"501100000769"},{"scheme":"fundref","value":"100010355"},{"scheme":"fundref","value":"100010357"},{"scheme":"OrgRef","value":"128374"},{"scheme":"fundref","value":"100010347"},{"scheme":"FundRef","value":"501100000696"},{"scheme":"OrgRef","value":"128390"},{"scheme":"fundref","value":"100010364"},{"scheme":"Wikidata","value":"Q6786826"},{"scheme":"FundRef","value":"501100000645"},{"scheme":"FundRef","value":"501100015505"},{"scheme":"FundRef","value":"501100000524"},{"scheme":"fundref","value":"501100000524"},{"scheme":"fundref","value":"501100000666"},{"scheme":"OrgRef","value":"128385"},{"scheme":"FundRef","value":"501100023929"},{"scheme":"OrgRef","value":"128357"},{"scheme":"fundref","value":"100007724"},{"scheme":"fundref","value":"100010350"},{"scheme":"OrgRef","value":"128362"},{"scheme":"FundRef","value":"501100000734"},{"scheme":"FundRef","value":"100010352"},{"scheme":"fundref","value":"501100000719"},{"scheme":"GRID","value":"grid.4991.5"},{"scheme":"fundref","value":"501100000728"},{"scheme":"Wikidata","value":"Q7529574"},{"scheme":"fundref","value":"501100000718"},{"scheme":"FundRef","value":"100010361"},{"scheme":"FundRef","value":"100010360"},{"scheme":"fundref","value":"501100014748"},{"scheme":"FundRef","value":"100010351"},{"scheme":"fundref","value":"100010360"},{"scheme":"OrgRef","value":"128099"},{"scheme":"FundRef","value":"501100004789"},{"scheme":"Wikidata","value":"Q5260389"},{"scheme":"FundRef","value":"100010366"},{"scheme":"FundRef","value":"100010348"},{"scheme":"wikidata","value":"Q7529574"},{"scheme":"fundref","value":"501100004211"},{"scheme":"FundRef","value":"501100006561"},{"scheme":"fundref","value":"501100004789"},{"scheme":"OrgRef","value":"128349"},{"scheme":"FundRef","value":"100010357"},{"scheme":"mag_id","value":"40120149"},{"scheme":"Wikidata","value":"Q56612600"},{"scheme":"FundRef","value":"501100000719"},{"scheme":"ISNI","value":"0000000419368948"},{"scheme":"fundref","value":"100010366"},{"scheme":"FundRef","value":"501100000649"},{"scheme":"fundref","value":"100013964"},{"scheme":"FundRef","value":"501100004211"},{"scheme":"HESA","value":"0156"},{"scheme":"OrgRef","value":"128346"},{"scheme":"FundRef","value":"100010358"},{"scheme":"FundRef","value":"100010370"},{"scheme":"fundref","value":"100010363"},{"scheme":"FundRef","value":"100010365"},{"scheme":"fundref","value":"100010358"},{"scheme":"FundRef","value":"100010347"},{"scheme":"fundref","value":"501100000769"},{"scheme":"FundRef","value":"100013964"},{"scheme":"FundRef","value":"100007724"},{"scheme":"fundref","value":"100010370"},{"scheme":"Wikidata","value":"Q1095537"},{"scheme":"FundRef","value":"100010368"},{"scheme":"fundref","value":"100007718"},{"scheme":"OrgRef","value":"128284"},{"scheme":"fundref","value":"100010362"},{"scheme":"ROR","value":"https://ror.org/052gg0110"},{"scheme":"RRID","value":"RRID:SCR_006361"},{"scheme":"fundref","value":"100010365"},{"scheme":"FundRef","value":"501100000728"},{"scheme":"fundref","value":"501100015505"},{"scheme":"fundref","value":"100010351"},{"scheme":"FundRef","value":"501100000744"},{"scheme":"OrgRef","value":"128344"},{"scheme":"fundref","value":"100010356"},{"scheme":"FundRef","value":"100010363"},{"scheme":"FundRef","value":"100010371"},{"scheme":"fundref","value":"501100006558"},{"scheme":"FundRef","value":"501100000666"},{"scheme":"fundref","value":"501100013389"},{"scheme":"OrgRef","value":"128386"}],"countries":[{"code":"GB","label":"United Kingdom"}],"websiteurl":"http://www.ox.ac.uk/"},{"legalName":"University of California, San Diego","acronym":"UCSD","id":"openorgs____::9afca00ab09aca931f9d55274bb50094","pids":[{"scheme":"mag_id","value":"36258959"},{"scheme":"wikidata","value":"Q622664"},{"scheme":"fundref","value":"100011108"},{"scheme":"fundref","value":"100009507"},{"scheme":"fundref","value":"100013847"},{"scheme":"FundRef","value":"100013844"},{"scheme":"fundref","value":"100005594"},{"scheme":"fundref","value":"100012378"},{"scheme":"FundRef","value":"100011114"},{"scheme":"fundref","value":"100013844"},{"scheme":"FundRef","value":"100011108"},{"scheme":"ROR","value":"https://ror.org/0168r3w48"},{"scheme":"fundref","value":"100011077"},{"scheme":"fundref","value":"100020698"},{"scheme":"fundref","value":"100008673"},{"scheme":"FundRef","value":"100012424"},{"scheme":"Wikidata","value":"Q622664"},{"scheme":"FundRef","value":"100008673"},{"scheme":"FundRef","value":"100013847"},{"scheme":"fundref","value":"100011114"},{"scheme":"fundref","value":"100011109"},{"scheme":"ISNI","value":"0000000121074242"},{"scheme":"fundref","value":"100005918"},{"scheme":"FundRef","value":"100012378"},{"scheme":"OrgRef","value":"31927"},{"scheme":"FundRef","value":"100005548"},{"scheme":"FundRef","value":"100009508"},{"scheme":"fundref","value":"100009508"},{"scheme":"GRID","value":"grid.266100.3"},{"scheme":"FundRef","value":"100011077"},{"scheme":"FundRef","value":"100005594"},{"scheme":"FundRef","value":"100005918"},{"scheme":"FundRef","value":"100007911"},{"scheme":"FundRef","value":"100020698"},{"scheme":"fundref","value":"100012424"},{"scheme":"fundref","value":"100005548"},{"scheme":"FundRef","value":"100011109"},{"scheme":"fundref","value":"100007911"},{"scheme":"FundRef","value":"100009507"}],"countries":[{"code":"US","label":"United States"}],"websiteurl":"http://ucsd.edu/"}],"communities":[{"code":"uarctic","label":"UArctic","provenance":null}],"collectedFrom":[{"key":"openaire____::9e3be59865b2c1c335d32dae2fe7b254","value":"Datacite"},{"key":"opendoar____::2290a7385ed77cc5592dc2153229f082","value":"Oxford University Research Archive"},{"key":"openaire____::081b82f96300b6a6e3d282bad31cb6e2","value":"Crossref"},{"key":"openaire____::d8b68cc0a53121f6f896883a7d60c1db","value":"DBLP"},{"key":"opendoar____::6f4922f45568161a8cdf4ad2299f6d23","value":"arXiv.org e-Print Archive"}],"instances":[{"pids":[{"scheme":"doi","value":"10.1109/tse.2025.3593930"}],"license":"IEEE Copyright","accessRight":{"code":"c_14cb","label":"CLOSED","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Article","urls":["https://doi.org/10.1109/tse.2025.3593930"],"publicationDate":"2025-09-01","refereed":"peerReviewed","hostedBy":{"key":"issn___print::b8e7562a09c1da657aeab45c591fa818","value":"IEEE Transactions on Software Engineering"},"collectedFrom":{"key":"openaire____::081b82f96300b6a6e3d282bad31cb6e2","value":"Crossref"}},{"pids":[{"scheme":"doi","value":"10.48550/arxiv.2403.02661"}],"license":"CC BY NC SA","type":"Article","urls":["https://dx.doi.org/10.48550/arxiv.2403.02661"],"publicationDate":"2024-01-01","refereed":"nonPeerReviewed","hostedBy":{"key":"openaire____::55045bd2a65019fd8e6741a755395c8c","value":"Unknown Repository"},"collectedFrom":{"key":"openaire____::9e3be59865b2c1c335d32dae2fe7b254","value":"Datacite"}},{"pids":[{"scheme":"arXiv","value":"2403.02661"}],"accessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Preprint","urls":["http://arxiv.org/abs/2403.02661"],"publicationDate":"2024-03-05","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::6f4922f45568161a8cdf4ad2299f6d23","value":"arXiv.org e-Print Archive"},"collectedFrom":{"key":"opendoar____::6f4922f45568161a8cdf4ad2299f6d23","value":"arXiv.org e-Print Archive"}},{"alternateIdentifiers":[{"scheme":"doi","value":"10.48550/arxiv.2403.02661"}],"type":"Preprint","urls":["https://dblp.org/rec/journals/corr/abs-2403-02661.html","https://doi.org/10.48550/arXiv.2403.02661"],"publicationDate":"2024-01-01","refereed":"nonPeerReviewed","hostedBy":{"key":"openaire____::d8b68cc0a53121f6f896883a7d60c1db","value":"DBLP"},"collectedFrom":{"key":"openaire____::d8b68cc0a53121f6f896883a7d60c1db","value":"DBLP"}},{"alternateIdentifiers":[{"scheme":"doi","value":"10.1109/tse.2025.3593930"}],"type":"Article","urls":["https://dblp.org/rec/journals/tse/HeXQYYZS25.html","https://doi.org/10.1109/TSE.2025.3593930"],"publicationDate":"2025-01-01","refereed":"nonPeerReviewed","hostedBy":{"key":"openaire____::d8b68cc0a53121f6f896883a7d60c1db","value":"DBLP"},"collectedFrom":{"key":"openaire____::d8b68cc0a53121f6f896883a7d60c1db","value":"DBLP"}},{"alternateIdentifiers":[{"scheme":"doi","value":"10.1109/tse.2025.3593930"}],"accessRight":{"code":"c_f1cf","label":"EMBARGO","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Article","urls":["https://ora.ox.ac.uk/objects/uuid:b03b4b12-7ae4-4856-a3d0-0b24d9614bad","https://doi.org/10.1109/tse.2025.3593930"],"publicationDate":"2025-08-29","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::2290a7385ed77cc5592dc2153229f082","value":"Oxford University Research Archive"},"collectedFrom":{"key":"opendoar____::2290a7385ed77cc5592dc2153229f082","value":"Oxford University Research Archive"}}],"links":[{"header":{"relationType":"resultProject","relationClass":"isProducedBy","relatedIdentifier":"ukri________::ac9c57e926a3506a534469d3f8447e4d","relatedRecordType":"project","relationProvenance":"sysimport:actionset","trust":"0.91"},"collectedfrom":[{"dsId":"openaire____::92ed35af5f7f859de570d1d2919c09a4","dsName":"UK Research and Innovation"}],"projectTitle":"Morello-HAT: Morello High-Level API and Tooling","code":"EP/X015955/1","funding":{"funder":{"id":"ukri________::UKRI","shortname":"UKRI","name":"UK Research and Innovation","jurisdiction":{"code":"GB","label":"United Kingdom"},"pid":null},"level0":{"id":"ukri________::UKRI::EPSRC","description":"EPSRC","name":"EPSRC"},"level1":{"id":null,"description":null,"name":null},"level2":{"id":null,"description":null,"name":null}},"startDate":"2022-06-30","endDate":"2025-02-28"},{"header":{"relationType":"resultProject","relationClass":"isProducedBy","relatedIdentifier":"ukri________::819c500a3f3f07edba39c67478c07c5e","relatedRecordType":"project","relationProvenance":"sysimport:crosswalk:repository","trust":"0.9"},"collectedfrom":[{"dsId":"openaire____::92ed35af5f7f859de570d1d2919c09a4","dsName":"UK Research and Innovation"}],"projectTitle":"Trustworthy and Resilient Decentralised Intelligence for Edge Systems","code":"10066667","funding":{"funder":{"id":"ukri________::UKRI","shortname":"UKRI","name":"UK Research and Innovation","jurisdiction":{"code":"GB","label":"United Kingdom"},"pid":null},"level0":{"id":"ukri________::UKRI::Horizon Europe Guarantee","description":"Horizon Europe Guarantee","name":"Horizon Europe Guarantee"},"level1":{"id":null,"description":null,"name":null},"level2":{"id":null,"description":null,"name":null}},"startDate":"2023-01-01","endDate":"2026-03-30"},{"header":{"relationType":"resultProject","relationClass":"isProducedBy","relatedIdentifier":"ukri________::ca860b83408ab4f38d30d8498b025293","relatedRecordType":"project","relationProvenance":"sysimport:actionset","trust":"0.91"},"collectedfrom":[{"dsId":"openaire____::92ed35af5f7f859de570d1d2919c09a4","dsName":"UK Research and Innovation"}],"projectTitle":"Session Types for Reliable Distributed Systems (STARDUST)","code":"EP/T014709/2","funding":{"funder":{"id":"ukri________::UKRI","shortname":"UKRI","name":"UK Research and Innovation","jurisdiction":{"code":"GB","label":"United Kingdom"},"pid":null},"level0":{"id":"ukri________::UKRI::EPSRC","description":"EPSRC","name":"EPSRC"},"level1":{"id":null,"description":null,"name":null},"level2":{"id":null,"description":null,"name":null}},"startDate":"2022-09-30","endDate":"2026-01-31"},{"header":{"relationType":"resultProject","relationClass":"isProducedBy","relatedIdentifier":"ukri________::bd082e65d9b4d04c5f01cbc0363267a3","relatedRecordType":"project","relationProvenance":"sysimport:actionset","trust":"0.91"},"collectedfrom":[{"dsId":"openaire____::92ed35af5f7f859de570d1d2919c09a4","dsName":"UK Research and Innovation"}],"projectTitle":"POST: Protocols, Observabilities and Session Types","code":"EP/T006544/2","funding":{"funder":{"id":"ukri________::UKRI","shortname":"UKRI","name":"UK Research and Innovation","jurisdiction":{"code":"GB","label":"United Kingdom"},"pid":null},"level0":{"id":"ukri________::UKRI::EPSRC","description":"EPSRC","name":"EPSRC"},"level1":{"id":null,"description":null,"name":null},"level2":{"id":null,"description":null,"name":null}},"startDate":"2022-09-30","endDate":"2026-03-30"},{"header":{"relationType":"resultProject","relationClass":"isProducedBy","relatedIdentifier":"corda_____he::ca9d0ce42b3cb57bb6c93e1398f53ded","relatedRecordType":"project","relationProvenance":"sysimport:crosswalk:repository","trust":"0.9"},"collectedfrom":[{"dsId":"openaire____::3f264f93cf3b0cfc4ede188a6300455c","dsName":"CORDA - COmmon Research DAta Warehouse - Horizon Europe"}],"projectTitle":"Trustworthy and Resilient Decentralised Intelligence for Edge Systems","code":"101093006","funding":{"funder":{"id":"ec__________::EC","shortname":"EC","name":"European Commission","jurisdiction":{"code":"EU","label":"European Union"},"pid":null},"level0":{"id":"ec__________::EC::HE","description":"Horizon Europe Framework Programme","name":"HE"},"level1":{"id":"ec__________::EC::HE::HORIZON-RIA","description":"HORIZON  Research and Innovation Actions","name":"HORIZON-RIA"},"level2":{"id":null,"description":null,"name":null}},"startDate":"2023-01-01","endDate":"2026-03-31"},{"header":{"relationType":"resultProject","relationClass":"isProducedBy","relatedIdentifier":"ukri________::e89e51b5a1e861955808f388265f2740","relatedRecordType":"project","relationProvenance":"sysimport:actionset","trust":"0.91"},"collectedfrom":[{"dsId":"openaire____::92ed35af5f7f859de570d1d2919c09a4","dsName":"UK Research and Innovation"}],"projectTitle":"AppControl: Enforcing Application Behaviour through Type-Based Constraints","code":"EP/V000462/1","funding":{"funder":{"id":"ukri________::UKRI","shortname":"UKRI","name":"UK Research and Innovation","jurisdiction":{"code":"GB","label":"United Kingdom"},"pid":null},"level0":{"id":"ukri________::UKRI::EPSRC","description":"EPSRC","name":"EPSRC"},"level1":{"id":null,"description":null,"name":null},"level2":{"id":null,"description":null,"name":null}},"startDate":"2020-08-31","endDate":"2025-03-30"},{"header":{"relationType":"resultProject","relationClass":"isProducedBy","relatedIdentifier":"ukri________::a8bdcb2433e58fbba5d5998f6db4247f","relatedRecordType":"project","relationProvenance":"sysimport:actionset","trust":"0.91"},"collectedfrom":[{"dsId":"openaire____::92ed35af5f7f859de570d1d2919c09a4","dsName":"UK Research and Innovation"}],"projectTitle":"Verified Simulation for Large Quantum Systems (VSL-Q)","code":"EP/Y005244/1","funding":{"funder":{"id":"ukri________::UKRI","shortname":"UKRI","name":"UK Research and Innovation","jurisdiction":{"code":"GB","label":"United Kingdom"},"pid":null},"level0":{"id":"ukri________::UKRI::EPSRC","description":"EPSRC","name":"EPSRC"},"level1":{"id":null,"description":null,"name":null},"level2":{"id":null,"description":null,"name":null}},"startDate":"2023-05-31","endDate":"2025-06-29"}],"otherTitles":null,"green":true,"inDiamondJournal":false,"isGreen":true,"isInDiamondJournal":false}