Author:
Bodík Rastislav,Gupta Rajiv,Soffa Mary Lou
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formally Verifying Optimizations with Block Simulations;Proceedings of the ACM on Programming Languages;2023-10-16
2. Lazy Code Transformations in a Formally Verified Compiler;Proceedings of the 18th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems;2023-07-17
3. Lazy Demand-driven Partial Redundancy Elimination;Journal of Information Processing;2023
4. lospre in linear time;Proceedings of the 24th International Workshop on Software and Compilers for Embedded Systems;2021-11
5. Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations;Proceedings of the 2018 International Symposium on Code Generation and Optimization;2018-02-24