Marcel Ullrich

According to our database, Marcel Ullrich authored at least 6 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age.

Roland Leißa, Marcel Ullrich, Joachim Meyer, Sebastian Hack

Proc. ACM Program. Lang., 2025

Synthesis of Sorting Kernels.

Marcel Ullrich, Sebastian Hack

Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, 2025

MimIrADe: Automatic Differentiation in MimIR.

Marcel Ullrich, Sebastian Hack, Roland Leißa

Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction, 2025

2020

Generating induction principles and subterm relations for inductive types using MetaCoq.

Bohdan Liesnikov, Marcel Ullrich, Yannick Forster

CoRR, 2020

2015

Resolution Guarantees in Electrical Impedance Tomography.

Bastian von Harrach, Marcel Ullrich

IEEE Trans. Medical Imaging, 2015

2013

Monotonicity-Based Shape Reconstruction in Electrical Impedance Tomography.

Bastian von Harrach, Marcel Ullrich

SIAM J. Math. Anal., 2013