Moritz Kiefer

According to our database, Moritz Kiefer authored at least 7 papers between 2016 and 2023.

Collaborative distances:

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

2023

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

2020

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

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2018

Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis.

Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich

J. Autom. Reason., 2018

Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl

Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

Experience Report: Formal Methods in Material Science.

Bernhard Beckert, Britta Nestler, Moritz Kiefer, Michael Selzer, Mattias Ulbrich

CoRR, 2018

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2016

Relational Program Reasoning Using Compiler IR.

Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016