Manasij Mukherjee
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2020–2024
on a stage with
- John Regehr2×
- Pranav Kantonce
- Zhengyang Liuonce
who talks about the same things
- Zhengyang Liu2 talks
- John Regehr13 talks
- Pranav Kant2 talks
- Yingfei Xiong9 talks
- Manu Sridharan6 talks
- Ruyi Ji8 talks
| title | conference | date |
|---|---|---|
| Hydra: Generalizing Peephole Optimizations with Program Synthesis | OOPSLA 2024 | 2024-10-20 |
Hydra uses program synthesis to turn specific superoptimizer rewrites into width-independent rules by synthesizing symbolic constants, dataflow preconditions… | ||
| Dataflow-Based Pruning for Speeding up Superoptimization | OOPSLA 2020 | 2020-11-15 |
Applies abstract interpretation to prune Souper's enumerative synthesis by proving whole families of partially symbolic candidates infeasible using domains… | ||
| nothing matches | ||