Carl Leonardsson

According to our database, Carl Leonardsson authored at least 12 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

On the State Reachability Problem for Concurrent Programs Under Power.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer

Proceedings of the Networked Systems - 8th International Conference, 2020

2018

Mending Fences with Self-Invalidation and Self-Downgrade.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu

Log. Methods Comput. Sci., 2018

2017

Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics.

Alberto Ros, Carl Leonardsson, Christos Sakalis, Stefanos Kaxiras

IEEE Trans. Parallel Distributed Syst., 2017

Stateless model checking for TSO and PSO.

Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas

Acta Informatica, 2017

2016

Verification of Software under Relaxed Memory.

Carl Leonardsson

PhD thesis, 2016

Splash-3: A properly synchronized benchmark suite for contemporary research.

Christos Sakalis, Carl Leonardsson, Stefanos Kaxiras, Alberto Ros

Proceedings of the 2016 IEEE International Symposium on Performance Analysis of Systems and Software, 2016

Fencing Programs with Self-Invalidation and Self-Downgrade.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Stateless Model Checking for POWER.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

POSTER: Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics.

Alberto Ros, Carl Leonardsson, Christos Sakalis, Stefanos Kaxiras

Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016

2013

Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Counter-Example Guided Fence Insertion under TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Automatic Fence Insertion in Integer Programs via Predicate Abstraction.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine

Proceedings of the Static Analysis - 19th International Symposium, 2012