Author:
Zhao Jianzhou,Nagarakatte Santosh,Martin Milo M.K.,Zdancewic Steve
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling Dynamic (De)Allocations of Local Memory for Translation Validation;Proceedings of the ACM on Programming Languages;2024-04-29
2. First Steps towards Deductive Verification of LLVM IR;Lecture Notes in Computer Science;2024
3. Optimization of Access Address Calculation for LLVM;2023 4th International Conference on Information Science, Parallel and Distributed Systems (ISPDS);2023-07-14
4. Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler;Proceedings of the ACM on Programming Languages;2023-01-09
5. Language-parametric compiler validation with application to LLVM;Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2021-04-17