Suivre
Arvid Jakobsson
Arvid Jakobsson
Adresse e-mail validée de huawei.com - Page d'accueil
Titre
Citée par
Citée par
Année
Towards formal methods and software engineering for deep learning: security, safety and productivity for dl systems development
G Hains, A Jakobsson, Y Khmelevsky
2018 Annual IEEE international systems conference (syscon), 1-5, 2018
382018
Fast as a shadow, expressive as a tree: Optimized memory monitoring for C
A Jakobsson, N Kosmatov, J Signoles
Science of Computer Programming 132, 226-246, 2016
162016
Replicated synchronization for imperative BSP programs
A Jakobsson, F Dabrowski, W Bousdira, F Loulergue, G Hains
Procedia Computer Science 108, 535-544, 2017
142017
Fast as a shadow, expressive as a tree: hybrid memory monitoring for C
A Jakobsson, N Kosmatov, J Signoles
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1765-1772, 2015
112015
Rester statique pour devenir plus rapide, plus précis et plus mince
A Jakobsson, N Kosmatov, J Signoles
Vingt-sixièmes journées francophones des langages applicatifs, 2015
102015
Runtime detection of temporal memory errors
K Vorobyov, N Kosmatov, J Signoles, A Jakobsson
International Conference on Runtime Verification, 294-311, 2017
92017
Making Tezos smart contracts more reliable with Coq
B Bernardo, R Cauderlier, G Claret, A Jakobsson, B Pesin, J Tesson
International Symposium on Leveraging Applications of Formal Methods, 60-72, 2020
72020
Formal methods and software engineering for DL. Security, safety and productivity for DL systems development
GJDR Hains, A Jakobsson, Y Khmelevsky
arXiv preprint arXiv:1901.11334, 2019
72019
Automatic Cost Analysis for Imperative BSP Programs
A Jakobsson
International Journal of Parallel Programming, 1-29, 2018
42018
Money grows on (proof-) trees: the formal FA1. 2 ledger standard
M Gabbay, A Jakobsson, K Sojakova
arXiv preprint arXiv:2109.09451, 2021
22021
Safe usage of registers in BSPlib
A Jakobsson, F Dabrowski, W Bousdira
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 1400-1407, 2019
22019
Safe Usage of Registers in BSPlib
W Bousdira, A Jakobsson, F Dabrowski
SAC 2019, 2019
12019
Soyez prudent: prenez des photos pour l'assurance avec osnap (démonstration)
V Chaboche, Z Dargaye, A Jakobsson
33èmes Journées Francophones des Langages Applicatifs, 251-253, 2022
2022
Safe Usage of Registers in BSPlib (Preprint)
A Jakobsson, F Dabrowski, W Bousdira
2019
plus rapide, plus précis et plus mince
A Jakobsson, N Kosmatov, J Signoles
Soyez prudent: prenez des photos pour l'assurance avec osnap
V Chaboche, Z Dargaye, A Jakobsson
33 èmes Journées Francophones des Langages Applicatifs, 251, 0
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–16