Author:
Boulme Sylvain,Marechaly Alexandre,Monniaux David,Perin Michael,Yu Hang
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers;International Journal on Software Tools for Technology Transfer;2024-07-29
2. Verified Validation for Affine Scheduling in Polyhedral Compilation;Lecture Notes in Computer Science;2024
3. A Formal Disproof of Hirsch Conjecture;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
4. “Fixing” the Specification of Widenings;Intelligent Systems Reference Library;2023
5. BullsEye
: Scalable and Accurate Approximation Framework for Cache Miss Calculation;ACM Transactions on Architecture and Code Optimization;2022-11-17