Author:
Lee Juneyoung,Hur Chung-Kil,Lopes Nuno P.
Publisher
Springer International Publishing
Reference26 articles.
1. LLVM language reference manual.
https://llvm.org/docs/LangRef.html
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);H Barbosa,2017
3. Lecture Notes in Computer Science;S Böhme,2011
4. Dénès, M., Hriţcu, C., Lampropoulos, L., Paraskevopoulou, Z., Pierce, B.C.: Quickchick : Property-based Testing for Coq (2014)
5. Ebner, G., Ullrich, S., Roesch, J., Avigad, J., de Moura, L.: A metaprogramming framework for formal verification. Proc. ACM Program. Lang. 1(ICFP), 34:1–34:29 (2017).
https://doi.org/10.1145/3110278
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Architecture-Aware Optimization Strategies for Instruction Selection in DSP Compilers;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2024
2. Verifying Term Graph Optimizations using Isabelle/HOL;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
3. C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification;MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM);2022-11-28
4. Alive2: bounded translation validation for LLVM;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
5. An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation;Computer Aided Verification;2021