Code2Inv: A Deep Learning Framework for Program Verification-Reference-Cited by-同舟云学术

Code2Inv: A Deep Learning Framework for Program Verification

Published:2020 Issue: Volume: Page:151-164
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Si Xujie,Naik Aaditya,Dai Hanjun,Naik Mayur,Song Le

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53291-8_9

Reference38 articles.

1. Allamanis, M., Brockschmidt, M., Khademi, M.: Learning to represent programs with graphs. In: Proceedings of the International Conference on Learning Representations (ICLR) (2018)

2. Alur, R., et al.: Syntax-guided synthesis. In: Proceedings of Formal Methods in Computer-Aided Design (FMCAD) (2013)

3. Lecture Notes in Computer Science;R Alur,2017

4. Alur, R., Singh, R., Fisman, D., Solar-Lezama, A.: Search-based program synthesis. Commun. ACM 61(12), 84–93 (2018)

5. Bahdanau, D., Cho, K., Bengio, Y.: Neural machine translation by jointly learning to align and translate. In: Proceedings of the International Conference on Learning Representations (ICLR) (2015)

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

1. Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and Prospect;ACM Transactions on Design Automation of Electronic Systems;2024-06-21

2. Translation Validation for JIT Compiler in the V8 JavaScript Engine;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

3. DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22

4. Can ChatGPT support software verification?;Lecture Notes in Computer Science;2024

5. Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning;Lecture Notes in Computer Science;2024