Carl Leonardsson

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 10

Top Venues

CoRR

TACAS

PACT

FORTE

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer
On the State Reachability Problem for Concurrent Programs Under Power. NETYS (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
Mending Fences with Self-Invalidation and Self-Downgrade. Log. Methods Comput. Sci. 14 (1) (2018)
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
Stateless model checking for TSO and PSO. Acta Informatica 54 (8) (2017)
Alberto Ros, Carl Leonardsson, Christos Sakalis, Stefanos Kaxiras
Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics. IEEE Trans. Parallel Distributed Syst. 28 (12) (2017)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson
Stateless Model Checking for POWER. CoRR (2016)
Christos Sakalis, Carl Leonardsson, Stefanos Kaxiras, Alberto Ros
Splash-3: A properly synchronized benchmark suite for contemporary research. ISPASS (2016)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
Mending Fences with Self-Invalidation and Self-Downgrade. CoRR (2016)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
Fencing Programs with Self-Invalidation and Self-Downgrade. FORTE (2016)
Alberto Ros, Carl Leonardsson, Christos Sakalis, Stefanos Kaxiras
POSTER: Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics. PACT (2016)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson
Stateless Model Checking for POWER. CAV (2) (2016)
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
Stateless Model Checking for TSO and PSO. CoRR (2015)
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas
Stateless Model Checking for TSO and PSO. TACAS (2015)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. TACAS (2013)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Counter-Example Guided Fence Insertion under TSO. TACAS (2012)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine
Automatic Fence Insertion in Integer Programs via Predicate Abstraction. SAS (2012)

Carl Leonardsson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carl Leonardsson