Arvid Jakobsson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2015–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CAV | Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard. | Murdoch James Gabbay, Arvid Jakobsson, Kristina Sojakova |
| 2020 | ISoLA | Making Tezos Smart Contracts More Reliable with Coq. | Bruno Bernardo, Raphal Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson |
| 2019 | SAC | Safe usage of registers in BSPlib. | Arvid Jakobsson, Frdric Dabrowski, Wadoud Bousdira |
| 2017 | ICCS | Replicated Synchronization for Imperative BSP Programs. | Arvid Jakobsson, Frdric Dabrowski, Wadoud Bousdira, Frdric Loulergue, Gatan Hains |
| 2017 | RV | Runtime Detection of Temporal Memory Errors. | Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson |
| 2015 | SAC | Fast as a shadow, expressive as a tree: hybrid memory monitoring for C. | Arvid Jakobsson, Nikolai Kosmatov, Julien Signoles |