Author:
Menendez David,Nagarakatte Santosh,Gupta Aarti
Publisher
Springer Berlin Heidelberg
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling Dynamic (De)Allocations of Local Memory for Translation Validation;Proceedings of the ACM on Programming Languages;2024-04-29
2. Speeding up SMT Solving via Compiler Optimization;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
3. LLVM Framework: Research and Applications;2023 19th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD);2023-07-29
4. Pattern-Based Peephole Optimizations with Java JIT Tests;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
5. End-to-end translation validation for the halide language;Proceedings of the ACM on Programming Languages;2022-04-29