Travelled to:1 × Estonia
1 × France
1 × Italy
1 × United Kingdom
Collaborated with:P.A.Abdulla M.F.Atig Y.Chen A.Rezine B.Jonsson S.Aronis K.F.Sagonas
Talks about:insert (3) fenc (3) tso (3) stateless (2) automat (2) under (2) model (2) check (2) abstract (1) program (1)
Person: Carl Leonardsson
DBLP: Leonardsson:Carl
Contributed to:
20152013
20122012
2016Wrote 5 papers:
- TACAS-2015-AbdullaAAJLS #model checking
- Stateless Model Checking for TSO and PSO (PAA, SA, MFA, BJ, CL, KFS), pp. 353–367.
- TACAS-2013-AbdullaACLR #automation #precise
- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 530–536.
- SAS-2012-AbdullaACLR #abstraction #automation #integer #source code
- Automatic Fence Insertion in Integer Programs via Predicate Abstraction (PAA, MFA, YFC, CL, AR), pp. 164–180.
- TACAS-2012-AbdullaACLR
- Counter-Example Guided Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 204–219.
- CAV-2016-AbdullaAJL #model checking
- Stateless Model Checking for POWER (PAA, MFA, BJ, CL), pp. 134–156.