1. Alfred V. Aho , Monica S. Lam , Ravi Sethi , and Jeffrey D . Ullman . 2006 . Compilers : Principles, Techniques, And Tools (2nd ed.). Addison-Wesley Longman Publishing Co. , Inc., Boston, MA. Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, And Tools (2nd ed.). Addison-Wesley Longman Publishing Co., Inc., Boston, MA.
2. Dirk Beyer . 2023. Competition on Software Verification and Witness Validation: SV-COMP 2023 . In Tools and Algorithms for the Construction and Analysis of Systems, Sriram Sankaranarayanan and Natasha Sharygina (Eds.). Springer Nature Switzerland , Cham. 495–522. isbn:978-3-031-30820-8 Dirk Beyer. 2023. Competition on Software Verification and Witness Validation: SV-COMP 2023. In Tools and Algorithms for the Construction and Analysis of Systems, Sriram Sankaranarayanan and Natasha Sharygina (Eds.). Springer Nature Switzerland, Cham. 495–522. isbn:978-3-031-30820-8
3. A Software Assurance Reference Dataset: Thousands of Programs With Known Bugs
4. Nghi D. Q. Bui , Hung Le , Yue Wang , Junnan Li , Akhilesh Deepak Gotmare, and Steven C. H. Hoi . 2023 . CodeTF: One-stop Transformer Library for State-of-the-art Code LLM. arxiv:2306.00029 Nghi D. Q. Bui, Hung Le, Yue Wang, Junnan Li, Akhilesh Deepak Gotmare, and Steven C. H. Hoi. 2023. CodeTF: One-stop Transformer Library for State-of-the-art Code LLM. arxiv:2306.00029
5. Deep Learning based Vulnerability Detection: Are We There Yet