Arvid Jakobsson

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