Alexander Linden
[last name] dot [first name] at gmail dot com
linden@montefiore.ulg.ac.be
Clé publique PGP/GPG
Research
Thesis:
On the Verification of Programs on Relaxed Memory Models.
The tool-package
Conference papers:
Alexander Linden
and
Pierre Wolper
.
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
. Proc. 17th International SPIN Workshop 2010.
Alexander Linden
and
Pierre Wolper
.
A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems
. Proc. 18th International SPIN Workshop 2011.
Alexander Linden
and
Pierre Wolper
.
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
. Proc. of 19th edition of TACAS 2013.
Posters:
Poster
presented at "Facing the Multicore-Challenge II (Karlsruhe 2011)".