research
∙
03/07/2023
Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows
Distributed ledger technologies, also known as blockchains for enterpris...
share
research
∙
03/27/2018
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations
Distributed programs are often formulated in popular functional framewor...
research
∙
02/07/2018
Experience Report: Formal Methods in Material Science
Increased demands in the field of scientific computation require that al...
research
∙
01/26/2018