Carl Leonardsson

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