Carl Leonardsson

According to our database1, Carl Leonardsson
  • authored at least 13 papers between 2012 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Stateless model checking for TSO and PSO.
Acta Inf., 2017

2016
Verification of Software under Relaxed Memory.
PhD thesis, 2016

Mending Fences with Self-Invalidation and Self-Downgrade.
CoRR, 2016

Stateless Model Checking for POWER.
CoRR, 2016

Splash-3: A properly synchronized benchmark suite for contemporary research.
Proceedings of the 2016 IEEE International Symposium on Performance Analysis of Systems and Software, 2016

Fencing Programs with Self-Invalidation and Self-Downgrade.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Stateless Model Checking for POWER.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

POSTER: Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics.
Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016

2015
Stateless Model Checking for TSO and PSO.
CoRR, 2015

Stateless Model Checking for TSO and PSO.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013
Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012
Counter-Example Guided Fence Insertion under TSO.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Automatic Fence Insertion in Integer Programs via Predicate Abstraction.
Proceedings of the Static Analysis - 19th International Symposium, 2012


  Loading...