Niklas Mück

According to our database, Niklas Mück authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation.

Janine Lohse, Tim Rohde, Jimmy Xin, Niklas Mück, Iona Kuhn, Derek Dreyer, Deepak Garg, Emanuele D'Osualdo

CoRR, May, 2026

Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation.

Niklas Mück, Aïna Linn Georges, Derek Dreyer, Deepak Garg, Michael Sammler

Proc. ACM Program. Lang., 2026

2025

Destabilizing Iris.

Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer

Proc. ACM Program. Lang., 2025

2024

The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions.

Yannick Forster, Dominik Kirst, Niklas Mück

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions.

Yannick Forster, Dominik Kirst, Niklas Mück

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023