{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:06:23Z","timestamp":1784300783412,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62362021"],"award-info":[{"award-number":["62362021"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62402146"],"award-info":[{"award-number":["62402146"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,5]]},"DOI":"10.1145\/3803437.3805575","type":"proceedings-article","created":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:27:39Z","timestamp":1784298459000},"page":"1297-1301","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["PSR\u00b2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6012-9178","authenticated-orcid":false,"given":"Xiaoqi","family":"Li","sequence":"first","affiliation":[{"name":"Hainan University, Haikou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1951-2462","authenticated-orcid":false,"given":"Xin","family":"Wang","sequence":"additional","affiliation":[{"name":"Hainan University, Haikou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4238-8846","authenticated-orcid":false,"given":"Wenkai","family":"Li","sequence":"additional","affiliation":[{"name":"Hainan University, Haikou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-7233-9464","authenticated-orcid":false,"given":"Zongwei","family":"Li","sequence":"additional","affiliation":[{"name":"Hainan University, Haikou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC51069.2021.9461148"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.3389\/fbloc.2025.1682623"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICC45041.2023.10279381"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3559342"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380364"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-024-00965-2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3479722.3480994"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3559567"},{"key":"e_1_3_2_1_10_1","volume-title":"SoK: Decentralized Finance (DeFi)-Fundamentals, Taxonomy and Risks. arXiv preprint arXiv:2404.11281","author":"Gogol Krzysztof","year":"2024","unstructured":"Krzysztof Gogol, Christian Killer, Malte Schlosser, Thomas Bocek, Burkhard Stiller, and Claudio Tessone. 2024. SoK: Decentralized Finance (DeFi)-Fundamentals, Taxonomy and Risks. arXiv preprint arXiv:2404.11281 (2024)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3527321"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13677-024-00593-0"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-023-00981-1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.33317\/ssurj.421"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3660772"},{"key":"e_1_3_2_1_16_1","volume-title":"Understanding inconsistent state update vulnerabilities in smart contracts. ACM Transactions on Software Engineering and Methodology","author":"Li Lantian","year":"2025","unstructured":"Lantian Li, Yuyu Chen, Jingwen Wu, Yue Pan, and Zhongxing Yu. 2025. Understanding inconsistent state update vulnerabilities in smart contracts. ACM Transactions on Software Engineering and Methodology (2025)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3412841.3442130"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-62974-8_20"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS51102.2020.00045"},{"key":"e_1_3_2_1_20_1","volume-title":"A survey on the security of blockchain systems. Future generation computer systems 107","author":"Li Xiaoqi","year":"2020","unstructured":"Xiaoqi Li, Peng Jiang, Ting Chen, Xiapu Luo, and Qiaoyan Wen. 2020. A survey on the security of blockchain systems. Future generation computer systems 107 (2020), 841\u2013853."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2025.3646027"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2025.3626979"},{"key":"e_1_3_2_1_23_1","volume-title":"No More Hidden Pitfalls? Exposing Smart Contract Bad Practices with LLM-Powered Hybrid Analysis. ACM Transactions on Software Engineering and Methodology","author":"Li Xiaoqi","year":"2025","unstructured":"Xiaoqi Li, Zongwei Li, Wenkai Li, Yuqing Zhang, and Xin Wang. 2025. No More Hidden Pitfalls? Exposing Smart Contract Bad Practices with LLM-Powered Hybrid Analysis. ACM Transactions on Software Engineering and Methodology (2025)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3715712"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Zhenkun Luo Shuhong Chen Guojun Wang and Hanjun Li. 2023. Two-Stage Smart Contract Vulnerability Detection Combining Semantic Features and Graph Features. In 2023 IEEE 22nd International Conference on Trust Security and Privacy in Computing and Communications (TrustCom). IEEE 257\u2013264.","DOI":"10.1109\/TrustCom60117.2023.00054"},{"key":"e_1_3_2_1_26_1","volume-title":"Smart Contract Security, Cross-Chain Bridges, Vulnerabilities Detection Tools & Techniques","author":"Mishra Deepa","year":"2025","unstructured":"Deepa Mishra and Shraddha Phansalkar. 2025. Blockchain Security in Focus: A Comprehensive Investigation into Threats, Smart Contract Security, Cross-Chain Bridges, Vulnerabilities Detection Tools & Techniques. IEEE Access (2025)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2969429"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Qiyang Song Heqing Huang Xiaoqi Jia Yuanbo Xie and Jiahao Cao. 2025. Silence False Alarms: Identifying Anti-Reentrancy Patterns on Ethereum to Refine Smart Contract Reentrancy Detection. In NDSS.","DOI":"10.14722\/ndss.2025.230167"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639117"},{"key":"e_1_3_2_1_30_1","first-page":"766","article-title":"On atomicity and confidentiality across blockchains under failures","volume":"36","author":"Tao Yuechen","year":"2023","unstructured":"Yuechen Tao, Bo Li, and Baochun Li. 2023. On atomicity and confidentiality across blockchains under failures. IEEE Transactions on Knowledge and Data Engineering 36, 2 (2023), 766\u2013780.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1186\/s40854-023-00572-5"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.65521\/ijaece.v14i1.232"},{"key":"e_1_3_2_1_35_1","volume-title":"ContractScanner: Detecting and Localizing Vulnerabilities of Smart Contracts via Graph-Based Semantic Modeling of Source Code","author":"Wang Bin","year":"2025","unstructured":"Bin Wang, Shan Li, Xiaohan Yuan, Xueshuo Xie, Junyong Wang, Tao Li, and Wei Wang. 2025. ContractScanner: Detecting and Localizing Vulnerabilities of Smart Contracts via Graph-Based Semantic Modeling of Source Code. IEEE Transactions on Network Science and Engineering (2025)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA63168.2024.00322"},{"key":"e_1_3_2_1_37_1","unstructured":"Zhiyuan Wei Jing Sun Yuqiang Sun Ye Liu Daoyuan Wu Zijian Zhang Xianhao Zhang Meng Li Yang Liu Chunmiao Li et al. 2025. Advanced smart contract vulnerability detection via llm-powered multi-agent systems. IEEE Transactions on Software Engineering (2025)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695482"},{"key":"e_1_3_2_1_39_1","volume-title":"POMABuster: Detecting Price Oracle Manipulation Attacks in Decentralized Finance. In 2024 IEEE Symposium on Security and Privacy (SP). IEEE, 3923\u20133942","author":"Xi Rui","year":"2024","unstructured":"Rui Xi, Zehua Wang, and Karthik Pattabiraman. 2024. POMABuster: Detecting Price Oracle Manipulation Attacks in Decentralized Finance. In 2024 IEEE Symposium on Security and Privacy (SP). IEEE, 3923\u20133942."},{"key":"e_1_3_2_1_40_1","volume-title":"Enhanced Smart Contract Vulnerability Detection via Graph Neural Networks: Achieving High Accuracy and Efficiency","author":"Xu Chang","year":"2025","unstructured":"Chang Xu, Huaiyu Xu, Liehuang Zhu, Xiaodong Shen, and Kashif Sharif. 2025. Enhanced Smart Contract Vulnerability Detection via Graph Neural Networks: Achieving High Accuracy and Efficiency. IEEE Transactions on Software Engineering (2025)."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416553"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00061"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3383422"}],"event":{"name":"FSE Companion '26: 34th ACM International Conference on the Foundations of Software Engineering","location":"Concordia University Montreal QC Canada","acronym":"FSE Companion '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3803437.3805575","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:31:12Z","timestamp":1784298672000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803437.3805575"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":43,"alternative-id":["10.1145\/3803437.3805575","10.1145\/3803437"],"URL":"https:\/\/doi.org\/10.1145\/3803437.3805575","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}