Automatic Fence Insertion in Integer Programs via Predicate Abstraction. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen 001; Carl Leonardsson; Ahmed Rezine (SAS, 2012)

Counter-Example Guided Fence Insertion under TSO. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen 001; Carl Leonardsson; Ahmed Rezine (TACAS, 2012)

Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen 001; Carl Leonardsson; Ahmed Rezine (TACAS, 2013)

POSTER: Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics. - Alberto Ros 001; Carl Leonardsson; Christos Sakalis; Stefanos Kaxiras (PACT, 2016)

Stateless Model Checking for POWER. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson 001; Carl Leonardsson (CAV (2), 2016)

Fencing Programs with Self-Invalidation and Self-Downgrade. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Stefanos Kaxiras; Carl Leonardsson; Alberto Ros 001; Yunyun Zhu (FORTE, 2016)

Splash-3: A properly synchronized benchmark suite for contemporary research. - Christos Sakalis; Carl Leonardsson; Stefanos Kaxiras; Alberto Ros 001 (ISPASS, 2016)

Verification of Software under Relaxed Memory. - Carl Leonardsson (2016)

Stateless model checking for TSO and PSO. - Parosh Aziz Abdulla; Stavros Aronis; Mohamed Faouzi Atig; Bengt Jonsson 001; Carl Leonardsson; Konstantinos Sagonas (Acta Informatica, 2017)

Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics. - Alberto Ros 001; Carl Leonardsson; Christos Sakalis; Stefanos Kaxiras (IEEE Trans. Parallel Distributed Syst., 2017)

Mending Fences with Self-Invalidation and Self-Downgrade. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Stefanos Kaxiras; Carl Leonardsson; Alberto Ros 001; Yunyun Zhu (Log. Methods Comput. Sci., 2018)

On the State Reachability Problem for Concurrent Programs Under Power. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; Egor Derevenetc; Carl Leonardsson; Roland Meyer 001 (NETYS, 2020)