Carl Leonardsson

16 papers A 3B 3C 1Journal 6Unranked 2

Year	Rank	Type	Title / 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