Money grows on (proof-)trees: the formal FA1.2 ledger standard

Autor: Gabbay, Murdoch, Jakobsson, Arvid, Sojakova, Kristina

Once you have invented digital money, you may need a ledger to track who owns what -- and an interface to that ledger so that users of your money can transact. On the Tezos blockchain this implies: a smart contract (distributed program), storing in i

Externí odkaz: http://arxiv.org/abs/2109.09451

Formal methods and software engineering for DL. Security, safety and productivity for DL systems development

Autor: Hains, Gaetan J. D. R., Jakobsson, Arvid, Khmelevsky, Youry

Deep Learning (DL) techniques are now widespread and being integrated into many important systems. Their classification and recognition abilities ensure their relevance for multiple application domains. As machine-learning that relies on training ins

Externí odkaz: http://arxiv.org/abs/1901.11334

Soyez prudent : prenez des photos pour l'assurance avec osnap (démonstration)

Autor: Chaboche, Valentin, Dargaye, Zaynah, Jakobsson, Arvid

Comment s'assurer que nous n'introduisons pas de bogue durant l'évolution d'un logiciel ? Les outils de snapshot testing orent une solution : le résultat d'une fonction est capturé et après modication comme de la refactorisation de code, l'outil

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______166::a1da200dec0c9103e86cfc771d71fd2f
https://hal.inria.fr/hal-03626848

Safe Usage of Registers in BSPlib (Preprint)

Autor: Jakobsson, Arvid, Dabrowski, Frederic, Bousdira, Wadoud

Bulk Synchronous Parallel (BSP) is a simple but powerful high-level model for parallel computation. Using BSPlib, programmers can write BSP programs in the general purpose language C. Direct Remote Memory Access (DRMA) communication in BSPlib is enab

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5a02cddc5379fd33b1e95b6c772090ff
https://hal.archives-ouvertes.fr/hal-01955283

Rester statique pour devenir plus rapide, plus précis et plus mince

Autor: Jakobsson, Arvid, Kosmatov, Nikolai, Signoles, Julien

Publikováno v: Actes des vingt-sixièmes journées francophones des langages applicatifs
Vingt-sixièmes journées francophones des langages applicatifs
Vingt-sixièmes journées francophones des langages applicatifs, Jan 2015, Le Val d'Ajol, France

International audience; E-ACSL est un greffon de Frama-C, une plateforme d'analyse de codes C qui est développée en OCaml. Son but est de transformer un programme C formellement annoté dans le langage de spécification éponyme E-ACSL en un autre

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ec01064e35e1416ec8358bf80ac3c7d2
https://inria.hal.science/hal-01096352/file/jfla15_submission_1.pdf