Moritz Kiefer

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 8

Top Topics

Provably Correct

Primary School Students

Dynamic Analysis

Reasoning Process

Top Venues

Publications

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
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows. CoRR (2023)
Neil Mitchell, Moritz Kiefer, Pepe Iborra, Luke Lau, Zubin Duggal, Hannes Siebenhandl, Javier Neira Sanchez, Matthew Pickering, Alan Zimmerman
Building an Integrated Development Environment (IDE) on top of a Build System: The tale of a Haskell IDE. IFL (2020)
Bernhard Beckert, Britta Nestler, Moritz Kiefer, Michael Selzer, Mattias Ulbrich
Experience Report: Formal Methods in Material Science. CoRR (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. VSTTE (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. MARS/VPT@ETAPS (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. CoRR (2018)
Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich
Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis. J. Autom. Reason. 60 (3) (2018)
Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich
Relational Program Reasoning Using Compiler IR. VSTTE (2016)