Arvid Jakobsson
Arvid Jakobsson
Verified email at huawei.com - Homepage
Title
Cited by
Cited by
Year
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
192018
Replicated synchronization for imperative BSP programs
A Jakobsson, F Dabrowski, W Bousdira, F Loulergue, G Hains
Procedia Computer Science 108, 535-544, 2017
132017
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
122016
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
92015
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
92015
Runtime detection of temporal memory errors
K Vorobyov, N Kosmatov, J Signoles, A Jakobsson
International Conference on Runtime Verification, 294-311, 2017
42017
Automatic Cost Analysis for Imperative BSP Programs
A Jakobsson
International Journal of Parallel Programming, 1-29, 2018
32018
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
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
2019
Safe Usage of Registers in BSPlib (Preprint)
A Jakobsson, F Dabrowski, W Bousdira
2019
The system can't perform the operation now. Try again later.
Articles 1–11