Michel Weber
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Theodoros Theodoridis5 talks
- Tobias Grosser14 talks
- Michel Steuwer17 talks
- Rastislav Bodík8 talks
- John Regehr13 talks
- Gilbert Louis Bernstein9 talks
| title | conference | date |
|---|---|---|
| Relaxing Alias Analysis: Exploring the Unexplored Space | PLDI 2025 | 2025-06-16 |
This study instruments LLVM 17.0.6 and SPEC CPU 2017 and shows that removing alias analysis entirely changes final binaries only slightly on average, but only… | ||
| FPL: Fast Presburger Arithmetic through Transprecision | OOPSLA 2021 | 2021-10-17 |
A new C++ Presburger library lives inside MLIR and targets real polyhedral workloads: a benchmark of over 1,000,000 extracted Presburger cases shows… | ||
| nothing matches | ||