BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Leonardsson:Carl

Contributed to:

TACAS 20152015
TACAS 20132013
SAS 20122012
TACAS 20122012
CAV (2) 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.