{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T09:51:50Z","timestamp":1776678710098,"version":"3.51.2"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032104588","type":"print"},{"value":"9783032104595","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-10459-5_8","type":"book-chapter","created":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T07:06:49Z","timestamp":1763190409000},"page":"90-102","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Exploiting Transformer-Based Static Binary Analysis for\u00a0Identifying Inefficient Locks"],"prefix":"10.1007","author":[{"given":"Zhibo","family":"Xuan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"You","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hailong","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingqi","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhongzhi","family":"Luan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Depei","family":"Qian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,16]]},"reference":[{"key":"8_CR1","unstructured":"Free & open source, high-performance, distributed memory object caching system. https:\/\/memcached.org\/"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Alam, M.M.U., Liu, T., Zeng, G., Muzahid, A.: Syncperf: categorizing, detecting, and diagnosing synchronization performance bugs. In: Proceedings of the Twelfth European Conference on Computer Systems, pp. 298\u2013313 (2017)","DOI":"10.1145\/3064176.3064186"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Curtsinger, C., Berger, E.D.: Coz: Finding code that counts with causal profiling. In: Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, pp. 184\u2013197. Association for Computing Machinery, New York (2015). https:\/\/doi.org\/10.1145\/2815400.2815409","DOI":"10.1145\/2815400.2815409"},{"issue":"10","key":"8_CR4","doi-asserted-by":"publisher","first-page":"2451","DOI":"10.1162\/089976600300015015","volume":"12","author":"FA Gers","year":"2000","unstructured":"Gers, F.A., Schmidhuber, J., Cummins, F.: learning to forget: continual prediction with LSTM. Neural Comput. 12(10), 2451\u20132471 (2000)","journal-title":"Neural Comput."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Graves, A., Graves, A.: Long short-term memory. Supervised sequence labelling with recurrent neural networks, pp. 37\u201345 (2012)","DOI":"10.1007\/978-3-642-24797-2_4"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3301501","volume":"36","author":"R Guerraoui","year":"2019","unstructured":"Guerraoui, R., Guiroux, H., Lachaize, R., Qu\u00e9ma, V., Trigonakis, V.: Lock-unlock: is that all? A pragmatic analysis of locking in software systems. ACM Trans. Comput. Syst. (TOCS) 36(1), 1\u2013149 (2019)","journal-title":"ACM Trans. Comput. Syst. (TOCS)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Guo, Y., Li, P., Luo, Y., Wang, X., Wang, Z.: Graphspy: fused program semantic embedding through graph neural networks for memory efficiency. In: 2021 58th ACM\/IEEE Design Automation Conference (DAC), pp. 1045\u20131050. IEEE (2021)","DOI":"10.1109\/DAC18074.2021.9586120"},{"issue":"6","key":"8_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/2345156.2254075","volume":"47","author":"G Jin","year":"2012","unstructured":"Jin, G., Song, L., Shi, X., Scherpelz, J., Lu, S.: Understanding and detecting real-world performance bugs. ACM SIGPLAN Notices 47(6), 77\u201388 (2012)","journal-title":"ACM SIGPLAN Notices"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Li, G., Chen, D., Lu, S., Musuvathi, M., Nath, S.: Sherlock: unsupervised synchronization-operation inference. In: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021, pp. 314\u2013328. New York, NY, USA (2021)","DOI":"10.1145\/3445814.3446754"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Li, P., Guo, Y., Luo, Y., Wang, X., Wang, Z., Liu, X.: Graph neural networks based memory inefficiency detection using selective sampling. In: SC22: International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 1\u201314. IEEE (2022)","DOI":"10.1109\/SC41404.2022.00090"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Shoshitaishvili, Y., et al.: SoK: (state of) the art of war: offensive techniques in binary analysis. In: IEEE Symposium on Security and Privacy (2016)","DOI":"10.1109\/SP.2016.17"},{"key":"8_CR12","unstructured":"Tian, H., Yu, M., Wang, W.: $$\\{$$CrystalPerf$$\\}$$: learning to characterize the performance of dataflow computation through code analysis. In: 2021 USENIX Annual Technical Conference (USENIX ATC 2021), pp. 253\u2013267 (2021)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Wang, H., et al.: Jtrans: jump-aware transformer for binary code similarity detection. In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 1\u201313 (2022)","DOI":"10.1145\/3533767.3534367"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"You, X., Yang, H., Lei, K., Luan, Z., Qian, D.: Vclinic: a portable and efficient framework for fine-grained value profilers. In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, vol. 2, pp. 892\u2013904 (2023)","DOI":"10.1145\/3575693.3576934"},{"key":"8_CR15","unstructured":"Zhou, F., Gan, Y., Ma, S., Wang, Y.: $$\\{$$wPerf$$\\}$$: generic $$\\{$$Off-CPU$$\\}$$ analysis to identify bottleneck waiting events. In: 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2018), pp. 527\u2013543 (2018)"}],"container-title":["Lecture Notes in Computer Science","Network and Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-10459-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T08:57:05Z","timestamp":1776675425000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10459-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"ISBN":["9783032104588","9783032104595"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10459-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,16]]},"assertion":[{"value":"16 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NPC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Network and Parallel Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nha Trang","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vietnam","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"npc2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.npc-conference.com\/#\/npc2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}