Manasij Mukherjee

According to our database, Manasij Mukherjee authored at least 2 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Hydra: Generalizing Peephole Optimizations with Program Synthesis.

Manasij Mukherjee, John Regehr

Proc. ACM Program. Lang., 2024

2020

Dataflow-based pruning for speeding up superoptimization.

Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr

Proc. ACM Program. Lang., 2020