{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T14:37:22Z","timestamp":1775486242801,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":83,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-2318483, CNS-2318486"],"award-info":[{"award-number":["CCF-2318483, CNS-2318486"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598091","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"727-739","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements"],"prefix":"10.1145","author":[{"given":"Pengcheng","family":"Fang","sequence":"first","affiliation":[{"name":"Case Western Reserve University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenhua","family":"Zou","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xusheng","family":"Xiao","sequence":"additional","affiliation":[{"name":"Arizona State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuotao","family":"Liu","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. TheDAO.  https:\/\/etherscan.io\/token\/0xbb9bc244d798123fde783fcc1c72d3bb8c189413 \t\t\t\t  2021. TheDAO.  https:\/\/etherscan.io\/token\/0xbb9bc244d798123fde783fcc1c72d3bb8c189413"},{"key":"e_1_3_2_1_2_1","unstructured":"2023. HyperLedger: Making Legal Contracts Smart. https:\/\/www.hyperledger.org\/blog\/2018\/01\/11\/making-legal-contracts-smart \t\t\t\t  2023. HyperLedger: Making Legal Contracts Smart. https:\/\/www.hyperledger.org\/blog\/2018\/01\/11\/making-legal-contracts-smart"},{"key":"e_1_3_2_1_3_1","unstructured":"2023. iSyn Project Website. https:\/\/github.com\/smartcontractsyn\/iSyn \t\t\t\t  2023. iSyn Project Website. https:\/\/github.com\/smartcontractsyn\/iSyn"},{"key":"e_1_3_2_1_4_1","unstructured":"2023. OpenLaw: Real World Contracts for Ethereum. https:\/\/www.openlaw.io \t\t\t\t  2023. OpenLaw: Real World Contracts for Ethereum. https:\/\/www.openlaw.io"},{"key":"e_1_3_2_1_5_1","unstructured":"Solidity Authors. 2023. Solidity. https:\/\/docs.soliditylang.org\/en\/v0.8.4\/ \t\t\t\t  Solidity Authors. 2023. Solidity. https:\/\/docs.soliditylang.org\/en\/v0.8.4\/"},{"key":"e_1_3_2_1_6_1","unstructured":"Vitalik Buterin. 2013. Ethereum: a next generation smart contract and decentral- ized application platform. https:\/\/github.com\/ethereum\/ wiki\/wiki\/White-Paper \t\t\t\t  Vitalik Buterin. 2013. Ethereum: a next generation smart contract and decentral- ized application platform. https:\/\/github.com\/ethereum\/ wiki\/wiki\/White-Paper"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380356.2380371"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-018-9238-9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1667"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P18-2014"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.acl-main.747"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the International Conference on Language Resources and Evaluation (LREC). 283\u2013287","author":"Cvr\u010dek Franti\u0161ek","year":"2012","unstructured":"Franti\u0161ek Cvr\u010dek , Karel Pala , and Pavel Rychl\u00fd . 2012 . Legal electronic dictionary for Czech . In Proceedings of the International Conference on Language Resources and Evaluation (LREC). 283\u2013287 . http:\/\/www.lrec-conf.org\/proceedings\/lrec2012\/pdf\/775_Paper.pdf Franti\u0161ek Cvr\u010dek, Karel Pala, and Pavel Rychl\u00fd. 2012. Legal electronic dictionary for Czech. In Proceedings of the International Conference on Language Resources and Evaluation (LREC). 283\u2013287. http:\/\/www.lrec-conf.org\/proceedings\/lrec2012\/pdf\/775_Paper.pdf"},{"key":"e_1_3_2_1_13_1","unstructured":"Allen Cypher and Daniel Conrad Halbert. 1993. Watch what I do: programming by demonstration. \t\t\t\t  Allen Cypher and Daniel Conrad Halbert. 1993. Watch what I do: programming by demonstration."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884786"},{"key":"e_1_3_2_1_15_1","volume-title":"Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805, https:\/\/doi.org\/10.48550\/arXiv.1810.04805","author":"Devlin Jacob","year":"2018","unstructured":"Jacob Devlin , Ming-Wei Chang , Kenton Lee , and Kristina Toutanova . 2018 . Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805, https:\/\/doi.org\/10.48550\/arXiv.1810.04805 10.48550\/arXiv.1810.04805 Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2018. Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805, https:\/\/doi.org\/10.48550\/arXiv.1810.04805"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2020.103182"},{"key":"e_1_3_2_1_17_1","unstructured":"Ethereum. 2022. ORACLES. https:\/\/ethereum.org\/en\/developers\/docs\/oracles\/ \t\t\t\t  Ethereum. 2022. ORACLES. https:\/\/ethereum.org\/en\/developers\/docs\/oracles\/"},{"key":"e_1_3_2_1_18_1","unstructured":"Ethereum. 2023. Ethereum. https:\/\/ethereum.org\/en\/ \t\t\t\t  Ethereum. 2023. Ethereum. https:\/\/ethereum.org\/en\/"},{"key":"e_1_3_2_1_19_1","unstructured":"Pranav Rajpurkar etl.. 2016. Stanford Question Answering Dataset. https:\/\/rajpurkar.github.io\/SQuAD-explorer\/ \t\t\t\t  Pranav Rajpurkar etl.. 2016. Stanford Question Answering Dataset. https:\/\/rajpurkar.github.io\/SQuAD-explorer\/"},{"key":"e_1_3_2_1_20_1","unstructured":"Hugging Face. 2021. Huggingface Transformers. https:\/\/github.com\/huggingface\/transformers \t\t\t\t  Hugging Face. 2021. Huggingface Transformers. https:\/\/github.com\/huggingface\/transformers"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642982"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1973.9030"},{"key":"e_1_3_2_1_24_1","unstructured":"Norton Rose Fulbright. 2016. Can smart contracts be legally binding contracts. An R3 and Norton Rose Fulbright White Paper. \t\t\t\t  Norton Rose Fulbright. 2016. Can smart contracts be legally binding contracts. An R3 and Norton Rose Fulbright White Paper."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.clsr.2017.05.007"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993506"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P19-1444"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btx228"},{"key":"e_1_3_2_1_32_1","unstructured":"DocuSign Inc.. 2021. DocuSign. https:\/\/www.docusign.com\/ \t\t\t\t  DocuSign Inc.. 2021. DocuSign. https:\/\/www.docusign.com\/"},{"key":"e_1_3_2_1_33_1","unstructured":"Law Insider. 2022. Law Insider. https:\/\/www.lawinsider.com\/ \t\t\t\t  Law Insider. 2022. Law Insider. https:\/\/www.lawinsider.com\/"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.30"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0041882"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025671410623"},{"key":"e_1_3_2_1_38_1","unstructured":"LESSIG Lawrence. 2000. Code is law. On Liberty in Cyberspace. Harvard magazine. \t\t\t\t  LESSIG Lawrence. 2000. Code is law. On Liberty in Cyberspace. Harvard magazine."},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the Language Resources and Evaluation Conference (LREC). 2479\u20132490","author":"Le Hang","year":"2020","unstructured":"Hang Le , Lo\u00efc Vial , Jibril Frej , Vincent Segonne , Maximin Coavoux , Benjamin Lecouteux , Alexandre Allauzen , Benoit Crabb\u00e9 , Laurent Besacier , and Didier Schwab . 2020 . FlauBERT: Unsupervised Language Model Pre-training for French . In Proceedings of the Language Resources and Evaluation Conference (LREC). 2479\u20132490 . isbn:979-10-95546-34-4 https:\/\/aclanthology.org\/2020.lrec-1.302 Hang Le, Lo\u00efc Vial, Jibril Frej, Vincent Segonne, Maximin Coavoux, Benjamin Lecouteux, Alexandre Allauzen, Benoit Crabb\u00e9, Laurent Besacier, and Didier Schwab. 2020. FlauBERT: Unsupervised Language Model Pre-training for French. In Proceedings of the Language Resources and Evaluation Conference (LREC). 2479\u20132490. isbn:979-10-95546-34-4 https:\/\/aclanthology.org\/2020.lrec-1.302"},{"key":"e_1_3_2_1_40_1","unstructured":"Henry Lieberman. 2001. Your wish is my command: Programming by example. \t\t\t\t  Henry Lieberman. 2001. Your wish is my command: Programming by example."},{"key":"e_1_3_2_1_41_1","volume-title":"Roberta: A robustly optimized bert pretraining approach. arXiv preprint arXiv:1907.11692, https:\/\/doi.org\/10.48550\/arXiv.1907.11692","author":"Liu Yinhan","year":"2019","unstructured":"Yinhan Liu , Myle Ott , Naman Goyal , Jingfei Du , Mandar Joshi , Danqi Chen , Omer Levy , Mike Lewis , Luke Zettlemoyer , and Veselin Stoyanov . 2019 . Roberta: A robustly optimized bert pretraining approach. arXiv preprint arXiv:1907.11692, https:\/\/doi.org\/10.48550\/arXiv.1907.11692 10.48550\/arXiv.1907.11692 Yinhan Liu, Myle Ott, Naman Goyal, Jingfei Du, Mandar Joshi, Danqi Chen, Omer Levy, Mike Lewis, Luke Zettlemoyer, and Veselin Stoyanov. 2019. Roberta: A robustly optimized bert pretraining approach. arXiv preprint arXiv:1907.11692, https:\/\/doi.org\/10.48550\/arXiv.1907.11692"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3355503"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2021.3079315"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/219717.219748"},{"key":"e_1_3_2_1_45_1","volume-title":"Bitcoin: A Peer-to-Peer Electronic Cash System.","author":"Nakamoto Satoshi","year":"2009","unstructured":"Satoshi Nakamoto . 2009 . Bitcoin: A Peer-to-Peer Electronic Cash System. Satoshi Nakamoto. 2009. Bitcoin: A Peer-to-Peer Electronic Cash System."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/W16-5607"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.12039"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-1377-0_59"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227137"},{"key":"e_1_3_2_1_50_1","unstructured":"Terence Parr. 2014. ANTLR (ANother Tool for Language Recognition). https:\/\/www.antlr.org\/ \t\t\t\t  Terence Parr. 2014. ANTLR (ANother Tool for Language Recognition). https:\/\/www.antlr.org\/"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.97"},{"key":"e_1_3_2_1_52_1","volume-title":"Opinion word expansion and target extraction through double propagation. Computational linguistics, 37, 1","author":"Qiu Guang","year":"2011","unstructured":"Guang Qiu , Bing Liu , Jiajun Bu , and Chun Chen . 2011. Opinion word expansion and target extraction through double propagation. Computational linguistics, 37, 1 ( 2011 ), 9\u201327. Guang Qiu, Bing Liu, Jiajun Bu, and Chun Chen. 2011. Opinion word expansion and target extraction through double propagation. Computational linguistics, 37, 1 (2011), 9\u201327."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P18-2124"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Max Raskin. 2016. The law and legality of smart contracts. \t\t\t\t  Max Raskin. 2016. The law and legality of smart contracts.","DOI":"10.2139\/ssrn.2842258"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/CAIA.1991.120841"},{"key":"e_1_3_2_1_56_1","volume-title":"Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP). 1524\u20131534","author":"Ritter Alan","year":"2011","unstructured":"Alan Ritter , Sam Clark , and Oren Etzioni . 2011 . Named entity recognition in tweets: an experimental study . In Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP). 1524\u20131534 . Alan Ritter, Sam Clark, and Oren Etzioni. 2011. Named entity recognition in tweets: an experimental study. In Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP). 1524\u20131534."},{"key":"#cr-split#-e_1_3_2_1_57_1.1","unstructured":"Victor Sanh Lysandre Debut Julien Chaumond and Thomas Wolf. 2019. DistilBERT a distilled version of BERT: smaller faster cheaper and lighter. arXiv preprint arXiv:1910.01108 https:\/\/doi.org\/10.48550\/arXiv.1910.01108 10.48550\/arXiv.1910.01108"},{"key":"#cr-split#-e_1_3_2_1_57_1.2","unstructured":"Victor Sanh Lysandre Debut Julien Chaumond and Thomas Wolf. 2019. DistilBERT a distilled version of BERT: smaller faster cheaper and lighter. arXiv preprint arXiv:1910.01108 https:\/\/doi.org\/10.48550\/arXiv.1910.01108"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.20955\/r.103.153-74"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_2_1_60_1","unstructured":"Yi Shu Yao Zhao Xianghui Zeng and Qingli Ma. 2019. Cail2019-fe. Technical report Gridsum. \t\t\t\t  Yi Shu Yao Zhao Xianghui Zeng and Qingli Ma. 2019. Cail2019-fe. Technical report Gridsum."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2664243.2664280"},{"key":"e_1_3_2_1_62_1","unstructured":"Armando Solar-Lezama. 2008. Program Synthesis by Sketching. Ph. D. Dissertation. \t\t\t\t  Armando Solar-Lezama. 2008. Program Synthesis by Sketching. Ph. D. Dissertation."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01177-2_12"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3322640.3326740"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2017.06.023"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_69_1","unstructured":"Tanash Utamchandani Tulsidas. 2018. Smart contracts from a legal perspective. \t\t\t\t  Tanash Utamchandani Tulsidas. 2018. Smart contracts from a legal perspective."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/352029.352035"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.05.040"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.clsr.2020.105401"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393608"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133887"},{"key":"#cr-split#-e_1_3_2_1_75_1.1","unstructured":"Zhilin Yang Zihang Dai Yiming Yang Jaime Carbonell Ruslan Salakhutdinov and Quoc V Le. 2019. XLNet: Generalized Autoregressive Pretraining for Language Understanding. arXiv preprint arXiv:1906.08237 https:\/\/doi.org\/10.48550\/arXiv.1906.08237 10.48550\/arXiv.1906.08237"},{"key":"#cr-split#-e_1_3_2_1_75_1.2","unstructured":"Zhilin Yang Zihang Dai Yiming Yang Jaime Carbonell Ruslan Salakhutdinov and Quoc V Le. 2019. XLNet: Generalized Autoregressive Pretraining for Language Understanding. arXiv preprint arXiv:1906.08237 https:\/\/doi.org\/10.48550\/arXiv.1906.08237"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472910"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2808117.2808125"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978326"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417239"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i01.5479"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-36668-3_150"}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598091","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598091"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":83,"alternative-id":["10.1145\/3597926.3598091","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598091","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}