Affiliation:
1. University of Washington, USA
2. Adobe Research, USA
3. Google, USA
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17
2. Dias: Dynamic Rewriting of Pandas Code;Proceedings of the ACM on Management of Data;2024-03-12
3. $${\textsc {HaliVer}}$$: Deductive Verification and Scheduling Languages Join Forces;Lecture Notes in Computer Science;2024
4. Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface;ACM Transactions on Design Automation of Electronic Systems;2023-12-29
5. Equality Saturation Theory Exploration à la Carte;Proceedings of the ACM on Programming Languages;2023-10-16