Author:
Mytkowicz Todd,Diwan Amer,Hauswirth Matthias,Sweeney Peter F.
Cited by
82 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formally Verifying Optimizations with Block Simulations;Proceedings of the ACM on Programming Languages;2023-10-16
2. How to Evaluate Blame for Gradual Types, Part 2;Proceedings of the ACM on Programming Languages;2023-08-30
3. CryptOpt: Automatic Optimization of Straightline Code;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
4. Register Allocation for Compressed ISAs in LLVM;Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction;2023-02-17
5. DeLag: Using Multi-Objective Optimization to Enhance the Detection of Latency Degradation Patterns in Service-Based Systems;IEEE Transactions on Software Engineering;2023