Christian Ulmann

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Quantifier Elimination

Presburger Arithmetic

Cardinality Constraints

Top Venues

Proc. ACM Program. Lang.

Publications

Mathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Lücke, Théo Degioanni, Michel Steuwer, Tobias Grosser
Sidekick compilation with xDSL. CoRR (2023)
Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, Tobias Grosser
FPL: fast Presburger arithmetic through transprecision. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)