Fetching the paper…
Reading the bibliography…
There is burgeoning interest in designing AI-based systems to assist humans in designing computing systems, including tools that automatically generate computer code.
D. Zhang and J. J. Tsai, “Machine Learning and Software Engineering,” Software Quality Journal , vol. 11, no. 2, pp. 87–119, Jun. 2003. [Online]. Available: https://doi.org/10.1023/A:1023760326768
2003
Earlier work this paper cites.
2005
Earlier work this paper cites.
R. Mihalcea, H. Liu, and H. Lieberman, “NLP (Natural Language Processing) for NLP (Natural Language Programming),” in Computational Linguistics and Intelligent Text Processing , A. Gelbukh, Ed. Springer Berlin Heidelberg, 2006, pp. 319–330
2006
Earlier work this paper cites.
R. Drechsler, I. G. Harris, and R. Wille, “Generating formal system models from natural language descriptions,” in IEEE Int. High Level Design Validation and Test Workshop (HLDVT) , 2012, pp. 164–165
2012
Earlier work this paper cites.
M. Sundermeyer, R. Schlüter, and H. Ney, “LSTM neural networks for language modeling,” in Conf. Int. Speech Communication Assoc. , 2012
2012
Earlier work this paper cites.
D. Zhang, Y. Wang, G. E. Suh, and A. C. Myers, “A Hardware Design Language for Timing-Sensitive Information-Flow Security,” in Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems . Istanbul Turkey: ACM, Mar. 2015, pp. 503–516. [Online]. Available: https://dl.acm.org/doi/10.1145/2694344.2694372
2015
Earlier work this paper cites.
C. B. Harris and I. G. Harris, “GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions,” in Design, Automation Test in Europe Conf. Exhibition (DATE) , 2016, pp. 966–971
2016
Earlier work this paper cites.
2016
Earlier work this paper cites.
A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, \. Kaiser, and I. Polosukhin, “Attention is All you Need,” in Advances in Neural Information Processing Systems 30 , I. Guyon, U. V. Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Garnett, Eds. Curran Associates, Inc., 2017, pp. 5998–6008
2017
Earlier work this paper cites.
2018
Cited alongside, same era.
J. Li, B. Zhao, and C. Zhang, “Fuzzing: a survey,” Cybersecurity , vol. 1, no. 1, p. 6, Dec. 2018. [Online]. Available: https://cybersecurity.springeropen.com/articles/10.1186/s42400-018-0002-y
2018
Cited alongside, same era.
K. M. T. H. Rahit, R. H. Nabil, and M. H. Huq, “Machine Translation from Natural Language to Code Using Long-Short Term Memory,” in Future Technologies Conf. (FTC) . Springer International Publishing, Oct. 2019, pp. 56–63, iSSN: 2194-5365
2019
Cited alongside, same era.
A. Radford, J. Wu, R. Child, D. Luan, D. Amodei, and I. Sutskever, “Language Models are Unsupervised Multitask Learners,” p. 24, 2019. [Online]. Available: https://cdn.openai.com/better-language-models/language_models_are_unsupervised_multitask_learners.pdf
The MITRE Corporation (MITRE), “CWE - CWE-Compatible Products and Services,” Dec. 2020. [Online]. Available: https://cwe.mitre.org/compatible/compatible.html
2020
Later among the works it cites.
2021
Closest in time.
2021
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2019
Cited alongside, same era.
S. Reddy, D. Chen, and C. D. Manning, “CoQA: A Conversational Question Answering Challenge,” Transactions of the Association for Computational Linguistics , vol. 7, pp. 249–266, 2019
2019
Cited alongside, same era.
G. Dessouky, D. Gens, P. Haney, G. Persyn, A. Kanuparthi, H. Khattri, J. M. Fung, A.-R. Sadeghi, and J. Rajendran, “HardFails: Insights into Software-Exploitable Hardware Bugs,” in 28th USENIX Security Symposium , 2019, pp. 213–230. [Online]. Available: https://www.usenix.org/conference/usenixsecurity19/presentation/dessouky
2019
Cited alongside, same era.
S. Deng, D. Gümüşoğlu, W. Xiong, S. Sari, Y. S. Gener, C. Lu, O. Demir, and J. Szefer, “SecChisel Framework for Security Verification of Secure Processor Architectures,” in Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy . Phoenix AZ USA: ACM, Jun. 2019, pp. 1–8. [Online]. Available: https://dl.acm.org/doi/10.1145/3337167.3337174
2019
Cited alongside, same era.
H. Pearce, B. Tan, and R. Karri, “DAVE: Deriving Automatically Verilog from English,” in Proceedings of the 2020 ACM/IEEE Workshop on Machine Learning for CAD . Virtual Event Iceland: ACM, Nov. 2020, pp. 27–32. [Online]. Available: https://dl.acm.org/doi/10.1145/3380446.3430634
2020
Cited alongside, same era.
V. Bandara, T. Rathnayake, N. Weerasekara, C. Elvitigala, K. Thilakarathna, P. Wijesekera, and C. Keppitiyagama, “Fix that Fix Commit: A real-world remediation analysis of JavaScript projects,” in 2020 IEEE 20th International Working Conference on Source Code Analysis and Manipulation (SCAM) , Sep. 2020, pp. 198–202
2020
Cited alongside, same era.
“GitHub Copilot · Your AI pair programmer.” [Online]. Available: https://copilot.github.com/
Cited in the paper.
OWASP, “Source Code Analysis Tools.” [Online]. Available: https://owasp.org/www-community/Source_Code_Analysis_Tools
Cited in the paper.
G. Nichols, “RTL Linting Sign Off - Ascent Lint.” [Online]. Available: https://www.realintent.com/rtl-linting-ascent-lint/
Cited in the paper.
The MITRE Corporation (MITRE), “2021 CWE Top 25 Most Dangerous Software Weaknesses,” 2021. [Online]. Available: https://cwe.mitre.org/top25/archive/2021/2021_cwe_top25.html
2021
Closest in time.
G. Inc., “CodeQL documentation,” 2021. [Online]. Available: https://codeql.github.com/docs/
2021
Closest in time.
The MITRE Corporation (MITRE), “CWE-1194: CWE VIEW: Hardware Design,” Jul. 2021. [Online]. Available: https://cwe.mitre.org/data/definitions/1194.html
2021
Closest in time.
N. Jiang, T. Lutellier, and L. Tan, “CURE: Code-Aware Neural Machine Translation for Automatic Program Repair,” in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) , May 2021, pp. 1161–1173, iSSN: 1558-1225
2021
Closest in time.
M. Fischer, F. Langer, J. Mono, C. Nasenberg, and N. Albartus, “Hardware Penetration Testing Knocks Your SoCs Off,” IEEE Design Test , vol. 38, no. 1, pp. 14–21, Feb. 2021, conference Name: IEEE Design Test
2021
Closest in time.