Login / Signup
Manasij Mukherjee
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 2
Top Topics
Pruning Algorithms
Pruning Methods
Co Occurrence
Program Synthesis
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Manasij Mukherjee
,
John Regehr
Hydra: Generalizing Peephole Optimizations with Program Synthesis.
Proc. ACM Program. Lang.
8 (OOPSLA1) (2024)
Manasij Mukherjee
,
Pranav Kant
,
Zhengyang Liu
,
John Regehr
Dataflow-based pruning for speeding up superoptimization.
Proc. ACM Program. Lang.
4 (OOPSLA) (2020)