
Not registered as user yet
Name:Carl Leonardsson
Bio:
I am working on automated verification of safety properties in parallel algorithms running under weak memory models, as well as automated inference of memory barriers that are necessary to ensure the correctness of such algorithms.
Affiliation:Uppsala University
Personal website:http://user.it.uu.se/~carle968
Contributions
POPL 2016 | Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile