Dataflow-based pruning for speeding up superoptimization. - Manasij Mukherjee; Pranav Kant; Zhengyang Liu 003; John Regehr (Proc. ACM Program. Lang., 2020)

Hydra: Generalizing Peephole Optimizations with Program Synthesis. - Manasij Mukherjee; John Regehr (Proc. ACM Program. Lang., 2024)