Author:
Rugina Radu,Rinard Martin
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equivalence by Canonicalization for Synthesis-Backed Refactoring;Proceedings of the ACM on Programming Languages;2024-06-20
2. Scaling Type-Based Points-to Analysis with Saturation;Proceedings of the ACM on Programming Languages;2024-06-20
3. When Is Parallelism Fearless and Zero-Cost with Rust?;Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures;2024-06-17
4. Deriving parametric multi-way recursive divide-and-conquer dynamic programming algorithms using polyhedral compilers;Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization;2020-02-21
5. Towards a compiler analysis for parallel algorithmic skeletons;Proceedings of the 27th International Conference on Compiler Construction;2018-02-24