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 × Italy
1 × The Netherlands
2 × Canada
2 × Germany
2 × USA
Collaborated with:
∅ S.Wilhelm S.Winkel M.Langenbach S.Thesing
Talks about:
code (3) retarget (2) postpass (2) schedul (2) execut (2) analys (2) optim (2) reconstruct (1) interpret (1) instruct (1)

Person: Daniel Kästner

DBLP DBLP: K=auml=stner:Daniel

Contributed to:

SAS 20112011
LCTES 20072007
GPCE 20032003
LCTES/SCOPES 20022002
LCTES/OM 20012001
LCTES 20002000
CC 19991999
LCTES 19981998

Wrote 8 papers:

SAS-2011-Kastner #design #experience #named
Astrée: Design and Experience (DK), p. 5.
LCTES-2007-Kastner #abstract interpretation #analysis #execution #worst-case
Safe worst-case execution time analysis by abstract interpretation of executable code (DK), p. 135.
GPCE-2003-Kastner #analysis #hardware #named #optimisation
TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses (DK), pp. 18–36.
LCTES-SCOPES-2002-KastnerW #assembly #control flow #re-engineering
Generic control flow reconstruction from assembly code (DK, SW), pp. 46–55.
LCTES-OM-2001-KastnerW #scheduling
ILP-based Instruction Scheduling for IA-64 (DK, SW), pp. 145–154.
LCTES-2000-Kastner #analysis #named #optimisation
PROPAN: A Retargetable System for Postpass Optimisations and Analyses (DK), pp. 63–80.
CC-1999-KastnerL #integer #linear #optimisation #programming
Code Optimization by Integer Linear Programming (DK, ML), pp. 122–136.
LCTES-1998-KastnerT #scheduling
Cache-Sensitive Pre-runtime Scheduling (DK, ST), pp. 131–145.
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.