Relational Program Reasoning Using Compiler IR. - Moritz Kiefer; Vladimir Klebanov; Mattias Ulbrich (VSTTE, 2016)

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. - Bernhard Beckert; Timo Bingmann; Moritz Kiefer; Peter Sanders 001; Mattias Ulbrich; Alexander Weigl (VSTTE, 2018)

Experience Report: Formal Methods in Material Science. - Bernhard Beckert; Britta Nestler; Moritz Kiefer; Michael Selzer; Mattias Ulbrich (CoRR, 2018)

Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. - Bernhard Beckert; Timo Bingmann; Moritz Kiefer; Peter Sanders 001; Mattias Ulbrich; Alexander Weigl (MARS/VPT@ETAPS, 2018)

Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis. - Moritz Kiefer; Vladimir Klebanov; Mattias Ulbrich (J. Autom. Reason., 2018)

Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE. - Neil Mitchell; Moritz Kiefer; Pepe Iborra; Luke Lau; Zubin Duggal; Hannes Siebenhandl; Javier Neira Sanchez; Matthew Pickering; Alan Zimmerman (IFL, 2020)

Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows. - Alexander Bernauer; Sofia Faro; Rémy Haemmerle; Martin Huschenbett; Moritz Kiefer; Andreas Lochbihler; Jussi Mäki; Francesco Mazzoli; Simon Meier; Neil Mitchell; Ratko G. Veprek (CoRR, 2023)