Certified Compilation of Financial Contracts

Danil Annenkov 1 Martin Elsman 2
1 GALLINETTE - GALLINETTE
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
Abstract : We present an extension to a certified financial contract management system that allows for templated declarative financial contracts and for integration with financial stochastic models through verified compilation into so-called payoff-expressions. Such expressions readily allow for determining the value of a contract in a given evaluation context, such as contexts created for stochastic simulations. The templating mechanism is useful both at the contract specification level, for writing generic reusable contracts, and for reuse of code that, without the templating mechanism, needs to be recompiled for different evaluation contexts. We report on the effect of using the certified system in the context of a GPGPU-based Monte Carlo simulation engine for pricing various over-the-counter (OTC) financial contracts. The full contract-management system, including the payoff-language compilation, is verified in the Coq proof assistant and certified Haskell code is extracted from our Coq development along with Futhark code for use in a data-parallel pricing engine.
Type de document :
Communication dans un congrès
PPDP '18 - 20th International Symposium on Principles and Practice of Declarative Programming, Sep 2018, Frankfurt am Main, Germany. ACM Press, pp.1-13, 2018, 〈10.1145/3236950.3236955〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01883559
Contributeur : Danil Annenkov <>
Soumis le : mardi 2 octobre 2018 - 13:38:53
Dernière modification le : mercredi 3 octobre 2018 - 09:34:41

Fichier

PPDP18-cert-comp-fin.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Danil Annenkov, Martin Elsman. Certified Compilation of Financial Contracts. PPDP '18 - 20th International Symposium on Principles and Practice of Declarative Programming, Sep 2018, Frankfurt am Main, Germany. ACM Press, pp.1-13, 2018, 〈10.1145/3236950.3236955〉. 〈hal-01883559〉

Partager

Métriques

Consultations de la notice

60

Téléchargements de fichiers

18