Daniel
Kästner's Homepage
Overview
Curriculum Vitae
Research
Interests
-
Embedded Systems
-
Retargetable Compiler Construction
-
Code Generation and Optimization
-
Generative Programming
-
Java Virtual Machines
-
Integer Linear Programming
-
Abstract Interpretation
-
Program Analysis
-
Scheduling
-
Document Processing
Teaching
Publications
-
Daniel Kästner. Instruktionsanordnung
und Registerallokation auf der Basis ganzzahliger linearer Programmierung
für den digitalen Signalprozessor ADSP-2106x. Masters Thesis.
september, 1997. Universität des Saarlandes.
-
Daniel Kästner, Marc Langenbach.
Integer
Linear Programming vs. Graph-Based Methods in Code Generation. Technical
Report A/01/98. Universität des Saarlandes. Februar 1998.
-
Daniel Kästner, Stephan
Thesing. Cache
Sensitive Pre-Runtime Scheduling. Proceedings of the ACM
SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems,
Montreal, CA, June 1998. Springer LNCS 1474, pp 131-145.
-
Daniel Kästner, Reinhard
Wilhelm. Operations Research Methods in Compiler Backends. Journal of Mathematical
Communications, 1999.
-
Daniel Kästner, Stephan
Thesing. Cache-Aware Pre-Runtime Scheduling. Journal of Real-Time Systems,
vol. 17, pp 235-256, 1999.
-
Daniel Kästner, Marc Langenbach.
Code Optimization by Integer Linear Programming. Proceedings of the 8th
International Conference on Compiler Construction, Amsterdam, March 1999.
Springer LNCS 1575, pp 122-136.
-
Daniel Kästner.
TDL
- A Hardware and Assembly Description Language. Technical Report
Transferbereich 14, Number TDL 1.4, February 2000.
-
Daniel Kästner, Marc Langenbach.
TDL
- Eine Architekturbeschreibungssprache für Postpassoptimierungen und
-analysen. Proceedings of the DSP Deutschland, München, September
1999.
-
Christian Ferdinand, Daniel
Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn
Schneider, Henrik Theiling, Stephan Thesing, and Reinhard Wilhelm. Run-Time
Guarantees for Real-Time Systems - The USES Approach. Proceedings of the
ATPS99, Paderborn, Germany.
-
Daniel Kästner.
PROPAN: A Retargetable System for Postpass Optimisations and Analyses.
Proceedings of the ACM SIGPLAN Workshop on Languages,
Compilers and Tools for Embedded Systems, Vancouver, CA, June 2000.
-
Daniel Kästner.
PROPAN: Ein retargierbares System für Postpassoptimierungen und -analysen.
Jahrestagung der GI 2000, Junge Informatik, 2000.
-
Daniel Kästner.
Code Optimisation by Integer Linear Programming.
Dagstuhl Seminar 00381 on
Code Optimisation: Trends, Challenges and Perspectives. Dagstuhl 2000.
Powerpoint Slides.
Abstract.
-
Daniel Kästner.
Retargetable Postpass Optimisation by Integer Linear Programming.
PhD Thesis. Verlag Pirrot, Saarbrücken, 2000. ISBN 3-930714-55-8.
-
Daniel Kästner, Sebastian Winkel.
ILP-based Instruction Scheduling for IA-64.
Proceedings of the ACM SIGPLAN Workshop on Languages,
Compilers and Tools for Embedded Systems, Utah, 2001.
-
Daniel Kästner.
ILP-based Approximations for Retargetable Code Optimization.
Proceedings of the 5th International Conference on Optimization: Techniques and Applications
(ICOTA 2001), Hong Kong, 2001.
-
Daniel Kästner.
Compiler Optimizations by ILP-based Approximations.
SIAM Conference on Optimization, Toronto, 2002.
-
Daniel Kästner, Stephan Wilhelm.
Generic Control Flow Reconstruction from Assembly Code.
Proceedings of the ACM SIGPLAN Joined Conference on
Languages, Compilers, and Tools for Embedded Systems
(LCTES'02) and Software and Compilers for Embedded
Systems (SCOPES'02), Berlin, 2002.
-
B. De Bus, D. Kästner, D. Chanet, L. Van Put, and B. De Sutter
Post-Pass Compaction Techniques.
Communications of the ACM, vol. 46, issue 8, pp. 41-46, August 2003.
-
Daniel Kästner.
TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses.
Proceedings of the Second ACM SIGPLAN/SIGSOFT Conference on
Generative Programming and Component Engineering (GPCE'03), Erfurt, 2003.
To appear.
-
Björn Decker, Daniel Kästner.
Reconstructing Control Flow from Predicated Assembly Code.
Proceedings of the 7th International Workshop on
Software and Compilers for Embedded Systems (SCOPES 2003), Wien, 2003.
To appear.
-
C. Ferdinand, D. Kästner,
F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, N. Fritz, S. Thesing,
F. Fontaine, H. Theiling, R. Wilhelm
Validierung des Zeitverhaltens von kritischer Echtzeit-Software.
Workshop: Automotive SW Engineering & Concepts. 33. Jahrestagung der GI, Frankfurt/M.
Informatik 2003 - Innovative Informatikanwendungen, Band 1 (ISBN 3-88579-363-6),
Lecture Notes in Informatics (LNI), 2003.
-
N. Fritz, D. Kästner,
F. Martin.
Automatically Generating Value Analyzers for Assembly Code.
Workshop on Compilers and Tools for Constrained Embedded Systems (CTCES), San
Jose, 2003.
-
D. Kästner.
Compilation for Embedded Processors.
European Summer School on Embedded Systems, 2003.
MRTC Report no 119/2004. Mälardalens Högskola. ISSN 1404-3401.
Interesting
Links
Dr.-Ing. Daniel Kästner
Building 45, Room 430
FR 6.2 - Informatik
Saarland University
Postfach 15 11 50
66401 Saarbrücken
Germany
Phone: +49-681-831-8317
Fax: +49-681-831-8320
kaestner@cs.uni-sb.de