Zhengyang Liu
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2020–2024
on a stage with
- John Regehr2×
- Manasij Mukherjeeonce
- Pranav Kantonce
all 4 in the filters
who talks about the same things
- Manasij Mukherjee2 talks
- Stefan Mada2 talks
- John Regehr13 talks
- Sirui Lu3 talks
- Pranav Kant2 talks
- Rastislav Bodík8 talks
| title | conference | date |
|---|---|---|
| Minotaur: A SIMD-Oriented Synthesizing Superoptimizer | OOPSLA 2024 | 2024-10-20 |
Minotaur is a synthesizing superoptimizer for LLVM that searches SSA cuts and enumerates cheaper SIMD and scalar rewrites then formally verifies them with… | ||
| 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 | ||