Write a Blog >>
Carl Leonardsson

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


POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
Show activities from other conferences

POPL 2016-profile
View general profile