Fast as a shadow, expressive as a tree: hybrid memory monitoring for C. - Arvid Jakobsson; Nikolai Kosmatov; Julien Signoles (SAC, 2015)

Fast as a shadow, expressive as a tree: Optimized memory monitoring for C. - Arvid Jakobsson; Nikolai Kosmatov; Julien Signoles (Sci. Comput. Program., 2016)

Replicated Synchronization for Imperative BSP Programs. - Arvid Jakobsson; Frédéric Dabrowski; Wadoud Bousdira; Frédéric Loulergue; Gaétan Hains (ICCS, 2017)

Runtime Detection of Temporal Memory Errors. - Kostyantyn Vorobyov; Nikolai Kosmatov; Julien Signoles; Arvid Jakobsson (RV, 2017)

Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development. - Gaétan Hains; Arvid Jakobsson; Youry Khmelevsky (SysCon, 2018)

Safe usage of registers in BSPlib. - Arvid Jakobsson; Frédéric Dabrowski; Wadoud Bousdira (SAC, 2019)

Formal methods and software engineering for DL. Security, safety and productivity for DL systems development. - Gaétan J. D. R. Hains; Arvid Jakobsson; Youry Khmelevsky (CoRR, 2019)

Automatic Cost Analysis for Imperative BSP Programs. - Arvid Jakobsson (Int. J. Parallel Program., 2019)

Making Tezos Smart Contracts More Reliable with Coq. - Bruno Bernardo; Raphaël Cauderlier; Guillaume Claret; Arvid Jakobsson; Basile Pesin; Julien Tesson (ISoLA (3), 2020)

Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard. - Murdoch James Gabbay; Arvid Jakobsson; Kristina Sojakova (FMBC@CAV, 2021)