iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements-Reference-Cited by-同舟云学术

iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements

Published:2023-07-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Fang Pengcheng¹,Zou Zhenhua²,Xiao Xusheng³,Liu Zhuotao²

Affiliation:

1. Case Western Reserve University, USA

2. Tsinghua University, China

3. Arizona State University, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3597926.3598091

Reference83 articles.

1. 2021. TheDAO. https://etherscan.io/token/0xbb9bc244d798123fde783fcc1c72d3bb8c189413 2021. TheDAO. https://etherscan.io/token/0xbb9bc244d798123fde783fcc1c72d3bb8c189413

2. 2023. HyperLedger: Making Legal Contracts Smart. https://www.hyperledger.org/blog/2018/01/11/making-legal-contracts-smart 2023. HyperLedger: Making Legal Contracts Smart. https://www.hyperledger.org/blog/2018/01/11/making-legal-contracts-smart

3. 2023. iSyn Project Website. https://github.com/smartcontractsyn/iSyn 2023. iSyn Project Website. https://github.com/smartcontractsyn/iSyn

4. 2023. OpenLaw: Real World Contracts for Ethereum. https://www.openlaw.io 2023. OpenLaw: Real World Contracts for Ethereum. https://www.openlaw.io

5. Solidity Authors. 2023. Solidity. https://docs.soliditylang.org/en/v0.8.4/ Solidity Authors. 2023. Solidity. https://docs.soliditylang.org/en/v0.8.4/

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking;Proceedings of the ACM on Software Engineering;2024-07-12

2. Leveraging Large Language Models for Automatic Smart Contract Generation;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02

3. martFL: Enabling Utility-Driven Data Marketplace with a Robust and Verifiable Federated Learning Architecture;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15

4. Natural Language-Based Model-Checking Framework for Move Smart Contracts;2023 Tenth International Conference on Software Defined Systems (SDS);2023-10-23