Michel Weber¶ Researcher Publications 2025 CGOxDSL: Sidekick Compilation for SSA-Based CompilersMathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Paul Lücke, Théo Degioanni, Christos Vasiladiotis, Michel Steuwer, Tobias Grosser 2023 arXivSidekick compilation with xDSLMathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Lücke, Théo Degioanni, Michel Steuwer, Tobias Grosser 2021 OOPSLAFPL: Fast Presburger Arithmetic through TransprecisionArjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, Tobias Grosser