{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T02:21:06Z","timestamp":1785291666370,"version":"3.55.0"},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"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":[[2018,10,24]]},"abstract":"<jats:p>Ethereum is a distributed blockchain platform, serving as an ecosystem for smart contracts: full-fledged inter-communicating programs that capture the transaction logic of an account. Unlike programs in mainstream languages, a gas limit restricts the execution of an Ethereum smart contract: execution proceeds as long as gas is available. Thus, gas is a valuable resource that can be manipulated by an attacker to provoke unwanted behavior in a victim's smart contract (e.g., wasting or blocking funds of said victim). Gas-focused vulnerabilities exploit undesired behavior when a contract (directly or through other interacting contracts) runs out of gas. Such vulnerabilities are among the hardest for programmers to protect against, as out-of-gas behavior may be uncommon in non-attack scenarios and reasoning about it is far from trivial.<\/jats:p>\n          <jats:p>In this paper, we classify and identify gas-focused vulnerabilities, and present MadMax: a static program analysis technique to automatically detect gas-focused vulnerabilities with very high confidence. Our approach combines a control-flow-analysis-based decompiler and declarative program-structure queries. The combined analysis captures high-level domain-specific concepts (such as \"dynamic data structure storage\" and \"safely resumable loops\") and achieves high precision and scalability. MadMax analyzes the entirety of smart contracts in the Ethereum blockchain in just 10 hours (with decompilation timeouts in 8% of the cases) and flags contracts with a (highly volatile) monetary value of over $2.8B as vulnerable. Manual inspection of a sample of flagged contracts shows that 81% of the sampled warnings do indeed lead to vulnerabilities, which we report on in our experiment.<\/jats:p>","DOI":"10.1145\/3276486","type":"journal-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:57:18Z","timestamp":1540382238000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":285,"title":["MadMax: surviving out-of-gas conditions in Ethereum smart contracts"],"prefix":"10.1145","volume":"2","author":[{"given":"Neville","family":"Grech","sequence":"first","affiliation":[{"name":"University of Athens, Greece \/ University of Malta, Malta"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Kong","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anton","family":"Jurisevic","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lexi","family":"Brent","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Scholz","sequence":"additional","affiliation":[{"name":"University of Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yannis","family":"Smaragdakis","sequence":"additional","affiliation":[{"name":"University of Athens, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167084"},{"key":"e_1_2_1_3_1","unstructured":"Massimo Bartoletti Salvatore Carta Tiziana Cimoli and Roberto Saia. 2017. Dissecting Ponzi schemes on Ethereum: identification analysis and impact. (2017).  Massimo Bartoletti Salvatore Carta Tiziana Cimoli and Roberto Saia. 2017. Dissecting Ponzi schemes on Ethereum: identification analysis and impact. (2017)."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_2_1_6_1","volume-title":"Vandal: A Scalable Security Analysis Framework for Smart Contracts. CoRR abs\/1802.08660","author":"Brent Lexi","year":"2018","unstructured":"Lexi Brent , Anton Jurisevic , Michael Kong , Eric Liu , Francois Gauthier , Vincent Gramoli , Ralph Holz , and Bernhard Scholz . 2018 . Vandal: A Scalable Security Analysis Framework for Smart Contracts. CoRR abs\/1802.08660 (2018). arXiv: 1809.03981 https:\/\/arxiv.org\/abs\/1809.03981 Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Francois Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz. 2018. Vandal: A Scalable Security Analysis Framework for Smart Contracts. CoRR abs\/1802.08660 (2018). arXiv: 1809.03981 https:\/\/arxiv.org\/abs\/1809.03981"},{"key":"e_1_2_1_7_1","unstructured":"Vitalik Buterin. 2013. A Next-Generation Smart Contract and Decentralized Application Platform. https:\/\/github.com\/ ethereum\/wiki\/wiki\/White- Paper . (2013).  Vitalik Buterin. 2013. A Next-Generation Smart Contract and Decentralized Application Platform. https:\/\/github.com\/ ethereum\/wiki\/wiki\/White- Paper . (2013)."},{"key":"e_1_2_1_8_1","volume-title":"2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER). 442\u2013446","author":"Chen T.","unstructured":"T. Chen , X. Li , X. Luo , and X. Zhang . 2017. Under-optimized smart contracts devour your money . In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER). 442\u2013446 . T. Chen, X. Li, X. Luo, and X. Zhang. 2017. Under-optimized smart contracts devour your money. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER). 442\u2013446."},{"key":"e_1_2_1_9_1","unstructured":"Consensys. 2018a. Consensys logo. (2018). https:\/\/new.consensys.net\/ Accessed: 2018-04-17.  Consensys. 2018a. Consensys logo. (2018). https:\/\/new.consensys.net\/ Accessed: 2018-04-17."},{"key":"e_1_2_1_10_1","unstructured":"Consensys. 2018b. Ethereum Smart Contract Best Practices. (2018). https:\/\/consensys.github.io\/ smart- contract- best- practices\/ Accessed: 2018-04-17.  Consensys. 2018b. Ethereum Smart Contract Best Practices. (2018). https:\/\/consensys.github.io\/ smart- contract- best- practices\/ Accessed: 2018-04-17."},{"key":"e_1_2_1_11_1","first-page":"460","article-title":"Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab","volume":"2015","author":"Delmolino Kevin","year":"2015","unstructured":"Kevin Delmolino , Mitchell Arnett , Ahmed E. Kosba , Andrew Miller , and Elaine Shi . 2015 . Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab . IACR Cryptology ePrint Archive 2015 (2015), 460 . Kevin Delmolino, Mitchell Arnett, Ahmed E. Kosba, Andrew Miller, and Elaine Shi. 2015. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab. IACR Cryptology ePrint Archive 2015 (2015), 460.","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_2_1_13_1","unstructured":"FStarLang. 2018. F*: A Higher-Order Effectful Language Designed for Program Verification. (2018). https:\/\/www.fstar- lang. org\/ Accessed: 2018-04-17.  FStarLang. 2018. F*: A Higher-Order Effectful Language Designed for Program Verification. (2018). https:\/\/www.fstar- lang. org\/ Accessed: 2018-04-17."},{"key":"e_1_2_1_14_1","volume-title":"A Semantic Framework for the Security Analysis of Ethereum smart contracts. CoRR abs\/1802.08660","author":"Grishchenko Ilya","year":"2018","unstructured":"Ilya Grishchenko , Matteo Maffei , and Clara Schneidewind . 2018. A Semantic Framework for the Security Analysis of Ethereum smart contracts. CoRR abs\/1802.08660 ( 2018 ). arXiv: 1802.08660 http:\/\/arxiv.org\/abs\/1802.08660 Ilya Grishchenko, Matteo Maffei, and Clara Schneidewind. 2018. A Semantic Framework for the Security Analysis of Ethereum smart contracts. CoRR abs\/1802.08660 (2018). arXiv: 1802.08660 http:\/\/arxiv.org\/abs\/1802.08660"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158136"},{"key":"e_1_2_1_16_1","volume-title":"KEVM: A Complete Semantics of the Ethereum Virtual Machine.","author":"Hildenbrandt Everett","year":"2017","unstructured":"Everett Hildenbrandt , Xiaoran Zhu , and Nishant Rodrigues . 2017 . KEVM: A Complete Semantics of the Ethereum Virtual Machine. Everett Hildenbrandt, Xiaoran Zhu, and Nishant Rodrigues. 2017. KEVM: A Complete Semantics of the Ethereum Virtual Machine."},{"key":"e_1_2_1_17_1","volume-title":"Defining the Ethereum Virtual Machine for Interactive Theorem Provers","author":"Hirai Yoichi","unstructured":"Yoichi Hirai . 2017. Defining the Ethereum Virtual Machine for Interactive Theorem Provers . In Financial Cryptography and Data Security, Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y.A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, and Markus Jakobsson (Eds.). Springer International Publishing , Cham , 520\u2013535. Yoichi Hirai. 2017. Defining the Ethereum Virtual Machine for Interactive Theorem Provers. In Financial Cryptography and Data Security, Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y.A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, and Markus Jakobsson (Eds.). Springer International Publishing, Cham, 520\u2013535."},{"key":"e_1_2_1_18_1","volume-title":"Lakhani","author":"Iansiti Marco","year":"2017","unstructured":"Marco Iansiti and Karim R . Lakhani . 2017 . The Truth about Blockchain. Harvard Business Review 95 (Jan. 2017), 118\u2013127. Issue 1. Marco Iansiti and Karim R. Lakhani. 2017. The Truth about Blockchain. Harvard Business Review 95 (Jan. 2017), 118\u2013127. Issue 1."},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Neil Immerman. 1999. Descriptive Complexity. Springer.  Neil Immerman. 1999. Descriptive Complexity. Springer.","DOI":"10.1007\/978-1-4612-0539-5"},{"key":"e_1_2_1_20_1","volume-title":"https:\/\/isabelle.in.tum.de\/ Accessed: 2018-04-17","year":"2018","unstructured":"Isabelle. 2018. Isabelle. ( 2018 ). https:\/\/isabelle.in.tum.de\/ Accessed: 2018-04-17 . Isabelle. 2018. Isabelle. (2018). https:\/\/isabelle.in.tum.de\/ Accessed: 2018-04-17."},{"key":"e_1_2_1_21_1","volume-title":"Souffl\u00e9: On Synthesis of Program Analyzers","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan , Bernhard Scholz , and Pavle Suboti\u0107 . 2016 . Souffl\u00e9: On Synthesis of Program Analyzers . In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing , Cham , 422\u2013430. Herbert Jordan, Bernhard Scholz, and Pavle Suboti\u0107. 2016. Souffl\u00e9: On Synthesis of Program Analyzers. In Computer Aided Verification, Swarat Chaudhuri and Azadeh Farzan (Eds.). Springer International Publishing, Cham, 422\u2013430."},{"key":"e_1_2_1_22_1","unstructured":"K Framework. 2018. K Framework. (2018). http:\/\/www.kframework.org\/index.php\/Main_Page Accessed: 2018-04-17.  K Framework. 2018. K Framework. (2018). http:\/\/www.kframework.org\/index.php\/Main_Page Accessed: 2018-04-17."},{"key":"e_1_2_1_23_1","volume-title":"ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium (NDSS\u201918)","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra , Seep Goel , Seep Goel , and Subodh Sharma . 2018 . ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium (NDSS\u201918) . Sukrit Kalra, Seep Goel, Seep Goel, and Subodh Sharma. 2018. ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium (NDSS\u201918)."},{"key":"e_1_2_1_24_1","volume-title":"A Scalable Method to Analyze Gas Costs, Loops and Related Security Vulnerabilities on the Ethereum Virtual Machine. https:\/\/github.com\/usyd- blockchain\/vandal\/wiki\/pubs\/MKong17.pdf . (11","author":"Kong Michael","year":"2017","unstructured":"Michael Kong . 2017. A Scalable Method to Analyze Gas Costs, Loops and Related Security Vulnerabilities on the Ethereum Virtual Machine. https:\/\/github.com\/usyd- blockchain\/vandal\/wiki\/pubs\/MKong17.pdf . (11 2017 ). Michael Kong. 2017. A Scalable Method to Analyze Gas Costs, Loops and Related Security Vulnerabilities on the Ethereum Virtual Machine. https:\/\/github.com\/usyd- blockchain\/vandal\/wiki\/pubs\/MKong17.pdf . (11 2017)."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_2_1_26_1","unstructured":"LLVM. 2018. The LLVM Compiler Infrastructure Project. (2018). https:\/\/llvm.org\/ Accessed: 2018-04-17.  LLVM. 2018. The LLVM Compiler Infrastructure Project. (2018). https:\/\/llvm.org\/ Accessed: 2018-04-17."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Anastasia Mavridou and Aron Laszka. 2018. Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. (2018). http:\/\/aronlaszka.com\/papers\/mavridou2018designing.pdf  Anastasia Mavridou and Aron Laszka. 2018. Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. (2018). http:\/\/aronlaszka.com\/papers\/mavridou2018designing.pdf","DOI":"10.1007\/978-3-662-58387-6_28"},{"key":"e_1_2_1_30_1","volume-title":"Chord: A Versatile Platform for Program Analysis. In 2011 ACM SIGPLAN Conf. on Programming Language Design and Implementation. Tutorial.","author":"Naik Mayur","year":"2011","unstructured":"Mayur Naik . 2011 . Chord: A Versatile Platform for Program Analysis. In 2011 ACM SIGPLAN Conf. on Programming Language Design and Implementation. Tutorial. Mayur Naik. 2011. Chord: A Versatile Platform for Program Analysis. In 2011 ACM SIGPLAN Conf. on Programming Language Design and Implementation. Tutorial."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"e_1_2_1_32_1","volume-title":"Bitcoin: A Peer-to-Peer Electronic Cash System. https:\/\/www.bitcoin.org\/bitcoin.pdf .","author":"Nakamoto Satoshi","year":"2009","unstructured":"Satoshi Nakamoto . 2009 . Bitcoin: A Peer-to-Peer Electronic Cash System. https:\/\/www.bitcoin.org\/bitcoin.pdf . (2009). Satoshi Nakamoto. 2009. Bitcoin: A Peer-to-Peer Electronic Cash System. https:\/\/www.bitcoin.org\/bitcoin.pdf . (2009)."},{"key":"e_1_2_1_33_1","volume-title":"Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR abs\/1802.06038","author":"Nikolic Ivica","year":"2018","unstructured":"Ivica Nikolic , Aashish Kolluri , Ilya Sergey , Prateek Saxena , and Aquinas Hobor . 2018. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR abs\/1802.06038 ( 2018 ). arXiv: 1802.06038 http:\/\/arxiv.org\/abs\/1802.06038 Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. 2018. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR abs\/1802.06038 (2018). arXiv: 1802.06038 http:\/\/arxiv.org\/abs\/1802.06038"},{"key":"e_1_2_1_34_1","unstructured":"SeaHorn. 2018. SeaHorn | A Verification Framework. (2018). http:\/\/seahorn.github.io\/ Accessed: 2018-04-17.  SeaHorn. 2018. SeaHorn | A Verification Framework. (2018). http:\/\/seahorn.github.io\/ Accessed: 2018-04-17."},{"key":"e_1_2_1_35_1","volume-title":"A Concurrent Perspective on Smart Contracts. CoRR abs\/1702.05511","author":"Sergey Ilya","year":"2017","unstructured":"Ilya Sergey and Aquinas Hobor . 2017. A Concurrent Perspective on Smart Contracts. CoRR abs\/1702.05511 ( 2017 ). arXiv: 1702.05511 http:\/\/arxiv.org\/abs\/1702.05511 Ilya Sergey and Aquinas Hobor. 2017. A Concurrent Perspective on Smart Contracts. CoRR abs\/1702.05511 (2017). arXiv: 1702.05511 http:\/\/arxiv.org\/abs\/1702.05511"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/989393.989421"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/568547.568561"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/781995.782008"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/647476.727758"},{"key":"e_1_2_1_41_1","volume-title":"d.}a. GovernMental page. ({n. d.})","unstructured":"Various. {n. d.}a. GovernMental page. ({n. d.}) . http:\/\/governmental.github.io\/GovernMental\/ Accessed: 2018-04-14. Various. {n. d.}a. GovernMental page. ({n. d.}). http:\/\/governmental.github.io\/GovernMental\/ Accessed: 2018-04-14."},{"key":"e_1_2_1_42_1","unstructured":"Various. {n. d.}b. Safety - Ethereum Wiki. https:\/\/github.com\/ethereum\/wiki\/wiki\/Safety . ({n. d.}). Accessed: 2018-04-15.  Various. {n. d.}b. Safety - Ethereum Wiki. https:\/\/github.com\/ethereum\/wiki\/wiki\/Safety . ({n. d.}). Accessed: 2018-04-15."},{"key":"e_1_2_1_43_1","unstructured":"Various. 2018a. Documentation for the LLL compiler \u2013 LLL Compiler Documentation 0.1 documentation. (2018). http: \/\/lll- docs.readthedocs.io\/en\/latest\/index.html Accessed: 2018-04-17.  Various. 2018a. Documentation for the LLL compiler \u2013 LLL Compiler Documentation 0.1 documentation. (2018). http: \/\/lll- docs.readthedocs.io\/en\/latest\/index.html Accessed: 2018-04-17."},{"key":"e_1_2_1_44_1","unstructured":"Various. 2018b. GitHub - ethereum\/serpent. (2018). https:\/\/github.com\/ethereum\/serpent Accessed: 2018-04-17.  Various. 2018b. GitHub - ethereum\/serpent. (2018). https:\/\/github.com\/ethereum\/serpent Accessed: 2018-04-17."},{"key":"e_1_2_1_45_1","unstructured":"Various. 2018c. GitHub - ethereum\/solidity: The Solidity Contract-Oriented Programming Language. (2018). https: \/\/github.com\/ethereum\/solidity Accessed: 2018-04-17.  Various. 2018c. GitHub - ethereum\/solidity: The Solidity Contract-Oriented Programming Language. (2018). https: \/\/github.com\/ethereum\/solidity Accessed: 2018-04-17."},{"key":"e_1_2_1_46_1","unstructured":"Various. 2018d. GitHub - ethereum\/vyper: New experimental programming language. (2018). https:\/\/github.com\/ethereum\/ vyper Accessed: 2018-04-17.  Various. 2018d. GitHub - ethereum\/vyper: New experimental programming language. (2018). https:\/\/github.com\/ethereum\/ vyper Accessed: 2018-04-17."},{"key":"e_1_2_1_47_1","unstructured":"Various. 2018. Vandal \u2013 A Static Analysis Framework for Ethereum Bytecode. (2018). https:\/\/github.com\/usyd- blockchain\/ vandal\/ Accessed: 2018-07-30.  Various. 2018. Vandal \u2013 A Static Analysis Framework for Ethereum Bytecode. (2018). https:\/\/github.com\/usyd- blockchain\/ vandal\/ Accessed: 2018-07-30."},{"key":"e_1_2_1_48_1","unstructured":"Peter Vessenes. 2016. Ethereum Griefing Wallets: Send w\/Throw Is Dangerous. (2016). http:\/\/vessenes.com\/ ethereum- griefing- wallets- send- w- throw- considered- harmful  Peter Vessenes. 2016. Ethereum Griefing Wallets: Send w\/Throw Is Dangerous. (2016). http:\/\/vessenes.com\/ ethereum- griefing- wallets- send- w- throw- considered- harmful"},{"key":"e_1_2_1_49_1","unstructured":"Why3. 2018. Why3. (2018). http:\/\/why3.lri.fr\/ Accessed: 2018-04-17.  Why3. 2018. Why3. (2018). http:\/\/why3.lri.fr\/ Accessed: 2018-04-17."},{"key":"e_1_2_1_50_1","volume-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood . 2014 . Ethereum: A Secure Decentralised Generalised Transaction Ledger . http:\/\/gavwood.com\/Paper.pdf . (2014). Gavin Wood. 2014. Ethereum: A Secure Decentralised Generalised Transaction Ledger. http:\/\/gavwood.com\/Paper.pdf . (2014)."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276486","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:01:58Z","timestamp":1750208518000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276486"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":48,"journal-issue":{"issue":"OOPSLA","published-print":{"date-parts":[[2018,10,24]]}},"alternative-id":["10.1145\/3276486"],"URL":"https:\/\/doi.org\/10.1145\/3276486","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"2018-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}