Arvid Jakobsson, PhD Research Engineer

I'm currently a 2nd year PhD research engineer at Huawei / University of Orleans. Before that I worked with real-time systems at Systerel, and I have also had a start-up. I wrote my master's thesis at CEA, which was on optimization of memory monitoring in the run-time verification tool E-ACSL.

I have the pleasure to be supervised by:

1 Thesis: Automatic Software Verification of BSPlib Programs

Bulk synchronous parallelism (BSP) offers an abstract and simple model of parallelism yet allowing to take realistically into account the communication costs of parallel algorithms. It has been used in many application domains. BSPlib and its extensions are programming libraries for the C language that support the BSP style.

My thesis, which is co-supervised by the University of Orléans and Huawei, explores automatic methods based on static analysis for verifying partial correctness and other interesting properties of BSPlib programs. I have designed, proved and implemented a static analysis for verifying correct synchronization. I have also developed an automatic cost-analysis for imperative BSP programs.

2 Teaching

Author: Arvid Jakobsson ( / /

Created: 2018-02-22 jeu. 14:33

Emacs 25.2.2 (Org mode 8.2.10)