Author:
Joshi Rajeev,Nelson Greg,Randall Keith
Cited by
61 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hydra: Generalizing Peephole Optimizations with Program Synthesis;Proceedings of the ACM on Programming Languages;2024-04-29
2. Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface;ACM Transactions on Design Automation of Electronic Systems;2023-12-29
3. Combining E-Graphs with Abstract Interpretation;Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2023-06-06
4. Less is more: refinement proofs for probabilistic proofs;2023 IEEE Symposium on Security and Privacy (SP);2023-05
5. CryptOpt: Automatic Optimization of Straightline Code;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05