Fetching the paper…
Reading the bibliography…
Smart contract developers frequently seek solutions to developmental challenges on Q&A platforms such as Stack Overflow (SO).
Control flow analysis
Frances E Allen. 1970 · 1970
Earlier work this paper cites.
Data flow program graphs
Alan L. Davis and Robert M. Keller. 1982 · 1982
Earlier work this paper cites.
The effects of appeals, anonymity, and feedback on mail survey response patterns from salespeople
Pradeep K Tyagi. 1989 · 1989
Earlier work this paper cites.
The problem of overfitting
Douglas M Hawkins. 2004 · 2004
Earlier work this paper cites.
Understanding source code evolution using abstract syntax tree matching. In Proceedings of the 2005 international workshop on Mining software repositories . 1–5
Iulian Neamtiu, Jeffrey S Foster, and Michael Hicks. 2005 · 2005
Earlier work this paper cites.
Types of non-probabilistic sampling used in marketing research.„Snowball” sampling
Manuela Rozalia Gabor et al · 2007
Earlier work this paper cites.
Supervised learning
Pádraig Cunningham, Matthieu Cord, and Sarah Jane Delany. 2008 · 2008
Earlier work this paper cites.
Z3: An efficient SMT solver. In International conference on Tools and Algorithms for the Construction and Analysis of Systems . Springer, 337–340
Leonardo De Moura and Nikolaj Bjørner. 2008 · 2008
Earlier work this paper cites.
Personal opinion surveys
Barbara A Kitchenham and Shari L Pfleeger. 2008 · 2008
Earlier work this paper cites.
Making smart contracts smarter. In Proceedings of the 2016 ACM SIGSAC conference on computer and communications security . 254–269
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016 · 2016
Earlier work this paper cites.
Introducing Ethereum and solidity . Vol. 1
Chris Dannen. 2017 · 2017
Earlier work this paper cites.
Accelerating CNN inference on FPGAs: A survey
Kamel Abdelouahab, Maxime Pelcat, Jocelyn Serot, and François Berry. 2018 · 2018
Earlier work this paper cites.
Contractfuzzer: Fuzzing smart contracts for vulnerability detection. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering . 259–269
Bo Jiang, Ye Liu, and Wing Kwong Chan. 2018 · 2018
Earlier work this paper cites.
Finding the greedy, prodigal, and suicidal contracts at scale. In Proceedings of the 34th annual computer security applications conference . 653–663
Ivica Nikolić, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. 2018 · 2018
Earlier work this paper cites.
Smartcheck: Static analysis of ethereum smart contracts. In Proceedings of the 1st international workshop on emerging trends in software engineering for blockchain . 9–16
Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, and Yaroslav Alexandrov. 2018 · 2018
Earlier work this paper cites.
Osiris: Hunting for integer bugs in ethereum smart contracts. In Proceedings of the 34th annual computer security applications conference . 664–676
Christof Ferreira Torres, Julian Schütte, and Radu State. 2018 · 2018
Earlier work this paper cites.
Securify: Practical security analysis of smart contracts. In Proceedings of the 2018 ACM SIGSAC conference on computer and communications security . 67–82
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, and Martin Vechev. 2018 · 2018
Earlier work this paper cites.
Decentralized Application Security Project Top 10 of 2018
David Wong and Mason Hemmel. 2018 · 2018
Earlier work this paper cites.
Understanding the motivations, challenges and needs of blockchain software developers: A survey
Amiangshu Bosu, Anindya Iqbal, Rifat Shahriyar, and Partha Chakraborty. 2019 · 2019
Earlier work this paper cites.
Slither: a static analysis framework for smart contracts. In 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) . IEEE, 8–15
Josselin Feist, Gustavo Grieco, and Alex Groce. 2019 · 2019
Earlier work this paper cites.
Soliaudit: Smart contract vulnerability assessment based on machine learning and fuzz testing. In 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS) . IEEE, 458–465
Jian-Wei Liao, Tsung-Ta Tsai, Chia-Kang He, and Chin-Wei Tien. 2019 · 2019
Earlier work this paper cites.
Manticore: A user-friendly symbolic execution framework for binaries and smart contracts. In 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) . 1186–1189
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, and Artem Dinaburg. 2019 · 2019
Earlier work this paper cites.
How to fine-tune bert for text classification?. In Chinese Computational Linguistics: 18th China National Conference, CCL 2019, Kunming, China, October 18–20, 2019, Proceedings 18 . Springer, 194–206
Chi Sun, Xipeng Qiu, Yige Xu, and Xuanjing Huang. 2019 · 2019
Earlier work this paper cites.
The art of the scam: Demystifying honeypots in ethereum smart contracts. In 28th USENIX Security Symposium (USENIX Security 19) . 1591–1607
Christof Ferreira Torres, Mathis Steichen, et al · 2019
Earlier work this paper cites.
Assessing optimizer impact on DNN model sensitivity to adversarial examples
Yixiang Wang, Jiqiang Liu, Jelena Mišić, Vojislav B Mišić, Shaohua Lv, and Xiaolin Chang. 2019 · 2019
Earlier work this paper cites.
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts. In Proceedings of the ACM/IEEE 42nd International conference on software engineering . 530–541
Thomas Durieux, João F. Ferreira, Rui Abreu, and Pedro Cruz. 2020 · 2020
Cited alongside, same era.
SmartBugs: A Framework to Analyze Solidity Smart Contracts. In Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering . 1349–1352
João F Ferreira, Pedro Cruz, Thomas Durieux, and Rui Abreu. 2020 · 2020
Cited alongside, same era.
Echidna: Effective, usable, and fast fuzzing for smart contracts. In Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis . ACM, 787–801
Gustavo Grieco, Will Song, and Artur Cygan. 2020 · 2020
Cited alongside, same era.
Understanding stack overflow code quality: A recommendation of caution
Sarah Meldrum, Sherlock A Licorish, Caitlin A Owen, and Bastin Tony Roy Savarimuthu. 2020 · 2020
Cited alongside, same era.
Automated repair of programs from large language models. In 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) . IEEE, 1469–1481
Zhiyu Fan, Xiang Gao, Martin Mirchev, Abhik Roychoudhury, and Shin Hwei Tan. 2023 · 2023
Later among the works it cites.
GitHub REST API documentation
GitHub. 2023 · 2023
Later among the works it cites.
Sample Size Calculator
Confidence interval Calculator. 2023 · 2023
Later among the works it cites.
ChatGPT for good? On opportunities and challenges of large language models for education
Enkelejda Kasneci, Kathrin Seßler, Stefan Küchemann, Maria Bannert, Daryna Dementieva, Frank Fischer, Urs Gasser, Georg Groh, Stephan Günnemann, Eyke Hüllermeier, et al · 2023
Later among the works it cites.
DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis . 1144–1156
Queping Kong, Jiachi Chen, Yanlin Wang, Zigui Jiang, and Zibin Zheng. 2023 · 2023
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
VeriSmart: A highly precise safety verifier for Ethereum smart contracts. In 2020 IEEE Symposium on Security and Privacy (SP) . IEEE, 1678–1694
Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, and Hakjoo Oh. 2020 · 2020
Cited alongside, same era.
An empirical study of c++ vulnerabilities in crowd-sourced code examples
Morteza Verdi, Ashkan Sami, Jafar Akhondali, Foutse Khomh, Gias Uddin, and Alireza Karami Motlagh. 2020 · 2020
Cited alongside, same era.
Harvey: A greybox fuzzer for smart contracts. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . ACM, 1398–1409
Valentin W"ustholz and Maria Christakis. 2020 · 2020
Cited alongside, same era.
Defectchecker: Automated smart contract defect detection by analyzing evm bytecode
Jiachi Chen, Xin Xia, David Lo, John Grundy, Xiapu Luo, and Ting Chen. 2021 · 2021
Cited alongside, same era.
Consensys/mythril: Security analysis tool for evm bytecode
ConsenSys. 2021 · 2021
Cited alongside, same era.
Lora: Low-rank adaptation of large language models
Edward J Hu, Yelong Shen, Phillip Wallis, Zeyuan Allen-Zhu, Yuanzhi Li, Shean Wang, Lu Wang, and Weizhu Chen. 2021 · 2021
Cited alongside, same era.
Confuzzius: A data dependency-aware hybrid fuzzer for smart contracts. In 2021 IEEE European Symposium on Security and Privacy (EuroS&P) . IEEE, 103–119
Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, and Radu State. 2021 · 2021
Cited alongside, same era.
Smart contract security: A practitioners’ perspective. In 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) . IEEE, 1410–1422
Zhiyuan Wan, Xin Xia, David Lo, Jiachi Chen, Xiapu Luo, and Xiaohu Yang. 2021 · 2021
Cited alongside, same era.
Finding Failure-Inducing Test Cases with ChatGPT. In IEEE
T. Li, W. Zong, Y. Wang, H. Tian, Y. Wang, S. Cheung, and J. Kramer. 2023 · 2023
Later among the works it cites.
The Scope of ChatGPT in Software Engineering: A Thorough Investigation
Wei Ma, Shangqing Liu, Wenhan Wang, Qiang Hu, Ye Liu, Cen Zhang, Liming Nie, and Yang Liu. 2023 · 2023
Later among the works it cites.
GPT Api Pricing
OpenAI. 2023 · 2023
Later among the works it cites.
SteloCoder: a Decoder-Only LLM for Multi-Language to Python Code Translation
Jialing Pan, Adrien Sadé, Jin Kim, Eric Soriano, Guillem Sole, and Sylvain Flamant. 2023 · 2023
Later among the works it cites.
Llama 2: Early Adopters’ Utilization of Meta’s New Open-Source Pretrained Model
Konstantinos I Roumeliotis, Nikolaos D Tselikas, and Dimitrios K Nasiopoulos. 2023 · 2023
Later among the works it cites.
Code llama: Open foundation models for code
Baptiste Roziere, Jonas Gehring, Fabian Gloeckle, Sten Sootla, Itai Gat, Xiaoqing Ellen Tan, Yossi Adi, Jingyu Liu, Tal Remez, Jérémy Rapin, et al · 2023
Later among the works it cites.
Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning.. In NDSS
Christoph Sendner, Huili Chen, Hossein Fereidooni, Lukas Petzi, Jan König, Jasper Stang, Alexandra Dmitrienko, Ahmad-Reza Sadeghi, and Farinaz Koushanfar. 2023 · 2023
Later among the works it cites.
DeFiWarder: Protecting DeFi Apps from Token Leaking Vulnerabilities. In 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) . IEEE, 1664–1675
Jianzhong Su, Xingwei Lin, Zhiyuan Fang, Zhirong Zhu, Jiachi Chen, Zibin Zheng, Wei Lv, and Jiashui Wang. 2023 · 2023
Later among the works it cites.
D4: Improving llm pretraining via document de-duplication and diversification
Kushal Tirumala, Daniel Simig, Armen Aghajanyan, and Ari S Morcos. 2023 · 2023
Later among the works it cites.
Llama 2: Open foundation and fine-tuned chat models
Hugo Touvron, Louis Martin, Kevin Stone, Peter Albert, Amjad Almahairi, Yasmine Babaei, Nikolay Bashlykov, Soumya Batra, Prajjwal Bhargava, Shruti Bhosale, et al · 2023
Later among the works it cites.
Definition and Detection of Defects in NFT Smart Contracts
Shuo Yang, Jiachi Chen, and Zibin Zheng. 2023 · 2023
Later among the works it cites.
Llm lies: Hallucinations are not bugs, but features as adversarial examples
Jia-Yu Yao, Kun-Peng Ning, Zhen-Hui Liu, Mu-Nan Ning, and Li Yuan. 2023 · 2023
Later among the works it cites.
When Contracts Meets Crypto: Exploring Developers’ Struggles with Ethereum Cryptographic APIs
Jiashuo Zhang, Jiachi Chen, Zhiyuan Wan, Ting Chen, Jianbo Gao, and Zhong Chen. 2023b · 2023
Later among the works it cites.
Planning with large language models for code generation
Shun Zhang, Zhenfang Chen, Yikang Shen, Mingyu Ding, Joshua B Tenenbaum, and Chuang Gan. 2023a · 2023
Later among the works it cites.
Turn the Rudder: A Beacon of Reentrancy Detection for Smart Contracts on Ethereum
Zibin Zheng, Neng Zhang, Jianzhong Su, Zhijie Zhong, Mingxi Ye, and Jiachi Chen. 2023 · 2023
Later among the works it cites.
SOChecker
2024 · 2024
Closest in time.
De-Hallucinator: Iterative Grounding for LLM-Based Code Completion
Aryaz Eghbali and Michael Pradel. 2024 · 2024
Closest in time.
Large Language Models for Software Engineering: A Systematic Literature Review
Xinyi Hou, Yanjie Zhao, Yue Liu, Zhou Yang, Kailong Wang, Li Li, Xiapu Luo, David Lo, John Grundy, and Haoyu Wang. 2024 · 2024
Closest in time.
Eagle: Speculative sampling requires rethinking feature uncertainty
Yuhui Li, Fangyun Wei, Chao Zhang, and Hongyang Zhang. 2024 · 2024
Closest in time.