Author:
Garzella Jack J.,Baranowski Marek,He Shaobo,Rakamarić Zvonimir
Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3;2024-04-27
2. Bounded Model Checking for LLVM;Form Comp Aid Design;2022
3. Verifying Fortran Programs with CIVL;Tools and Algorithms for the Construction and Analysis of Systems;2022
4. MirChecker: Detecting Bugs in Rust Programs via Static Analysis;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12