BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Russia
1 × The Netherlands
Collaborated with:
S.Biallas F.Cassez R.Huuck A.Laarman A.E.Dalsgaard K.G.Larsen J.v.d.Pol
Talks about:
automata (1) abstract (1) tracker (1) pragmat (1) pointer (1) analysi (1) inclus (1) multi (1) empti (1) check (1)

Person: Mads Chr. Olesen

DBLP DBLP: Olesen:Mads_Chr=

Contributed to:

CAV 20132013
SCAM 20132013

Wrote 2 papers:

CAV-2013-LaarmanODLP #abstraction #automaton #manycore #using
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction (AL, MCO, AED, KGL, JvdP), pp. 968–983.
SCAM-2013-BiallasOCH #analysis #named #pointer
PtrTracker: Pragmatic pointer analysis (SB, MCO, FC, RH), pp. 69–73.

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.