Arvid Jakobsson

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 12

Top Topics

Tree Construction

Spatial Locality

Top Venues

Sci. Comput. Program.

Publications

Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova
Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard. FMBC@CAV (2021)
Murdoch Gabbay, Arvid Jakobsson, Kristina Sojakova
Money grows on (proof-)trees: the formal FA1.2 ledger standard. CoRR (2021)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos smart contracts more reliable with Coq. CoRR (2021)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
Making Tezos Smart Contracts More Reliable with Coq. ISoLA (3) (2020)
Gaétan J. D. R. Hains, Arvid Jakobsson, Youry Khmelevsky
Formal methods and software engineering for DL. Security, safety and productivity for DL systems development. CoRR (2019)
Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira
Safe usage of registers in BSPlib. SAC (2019)
Arvid Jakobsson
Automatic Cost Analysis for Imperative BSP Programs. Int. J. Parallel Program. 47 (2) (2019)
Gaétan Hains, Arvid Jakobsson, Youry Khmelevsky
Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development. SysCon (2018)
Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaétan Hains
Replicated Synchronization for Imperative BSP Programs. ICCS (2017)
Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson
Runtime Detection of Temporal Memory Errors. RV (2017)
Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C. Sci. Comput. Program. 132 (2016)
Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles
Fast as a shadow, expressive as a tree: hybrid memory monitoring for C. SAC (2015)