关注
Manasij Mukherjee
Manasij Mukherjee
University of Utah
在 cs.utah.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Dataflow-based pruning for speeding up superoptimization
M Mukherjee, P Kant, Z Liu, J Regehr
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-24, 2020
252020
Hydra: Generalizing Peephole Optimizations with Program Synthesis
M Mukherjee, J Regehr
Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 725-753, 2024
12024
Peephole Optimizations: From Craft Towards Science
M Mukherjee
The University of Utah, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–3