Author:
Tristan Jean-Baptiste,Govereau Paul,Morrisett Greg
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modeling Dynamic (De)Allocations of Local Memory for Translation Validation;Proceedings of the ACM on Programming Languages;2024-04-29
2. Automatic Target Description File Generation;Journal of Computer Science and Technology;2023-11-30
3. Formally Verifying Optimizations with Block Simulations;Proceedings of the ACM on Programming Languages;2023-10-16
4. Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
5. Mechanised Semantics for Gated Static Single Assignment;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11