Author:
Lerner Sorin,Millstein Todd,Chambers Craig
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17
2. Pattern-Based Peephole Optimizations with Java JIT Tests;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. Synthesizing Quantum-Circuit Optimizers;Proceedings of the ACM on Programming Languages;2023-06-06
4. Semantic Transformation Framework for Rewriting Rules;Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2023-01-15
5. Bounded Verification for Finite-Field-Blasting;Computer Aided Verification;2023