Publications

Compiler Backends

  1. SIMD Code Generation in Data-Parallel Programming
    N. Fritz
    Universität des Saarlandes, 2009. [bib]
  2. Fast Liveness Checking for SSA-Form Programs (Best Paper Award)
    B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
    CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, 2008. [doi]  [pdf]  [bib]
  3. A Fast Cutting-Plane Algorithm for Optimal Coalescing (EAPLS Best Paper Award)
    D. Grund, and S. Hack
    Compiler Construction - CC 2007, 2007. [doi]  [pdf]  [slides]  [bib]
  4. Fast Liveness Checking for SSA-Form Programs
    B. Boissinot, S. Hack, D. Grund, B. Dupont-De-Dinechin, and F. Rastello
    Technical Report, INRIA, 2007. [url]  [bib]
  5. Register Allocation for Programs in SSA Form
    S. Hack, D. Grund, and G. Goos
    Compiler Construction - CC 2006, 2006. [doi]  [pdf]  [bib]
  6. Kopienminimierung in einem SSA-basierten Registerzuteiler
    D. Grund
    Universität Karlsruhe, 2005. [pdf]  [bib]
  7. Towards Register Allocation for Programs in SSA Form
    S. Hack, D. Grund, and G. Goos
    Technical Report, University of Karlsruhe, 2005. [pdf]  [bib]
  8. Generic Software Pipelining at the Assembly Level
    M. Pister, and D. Kästner
    Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2005), 2005. [pdf]  [bib]
  9. Exploring the Performance Potential of Itanium Processors with ILP-based Scheduling
    S. Winkel
    Proceedings of the Second IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2004. [bib]
  10. Post-Pass Compaction Techniques
    B. De Bus, D. Kästner, D. Chanet, L. V. Put, and B. De Sutter
    Communications of the ACM, 46 (8), 2003. [bib]
  11. Reconstructing Control Flow from Predicated Assembly Code
    B. Decker, and D. Kästner
    Proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2003), 2003. [bib]
  12. TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyzes
    D. Kästner
    Proceedings of the 2nd International Conference of Generative Programming and Component Engineering, GPCE 2003, 2003. [bib]
  13. Compiler Optimizations by ILP-Based Approximations
    D. Kästner
    SIAM Conference on Optimization, 2002. [bib]
  14. Generic Control Flow Reconstruction from Assembly Code
    D. Kästner, and S. Wilhelm
    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), in SIGPLAN Notices, 37 (7), 2002. [bib]
  15. Optimal Global Scheduling for Itanium Processor Family
    S. Winkel
    Proceedings of the EPIC-2 Workshop, 2002. [pdf]  [bib]
  16. ILP-Based Approximations for Retargetable Code Optimization
    D. Kästner
    Proceedings of the 5th International Conference on Optimization: Techniques and Applications (ICOTA 2001), 2001. [bib]
  17. ILP-Based Instruction Scheduling for IA-64
    D. Kästner, and S. Winkel
    Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 2001. [pdf]  [bib]
  18. PROPAN: A Retargetable System for Postpass Optimisations and Analyses
    D. Kästner
    Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 2000. [bib]
  19. A Retargetable System for Postpass Optimisations and Analyses
    D. Kästner
    Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems, 2000. [bib]
  20. TDL—A Hardware and Assembly Description Language
    D. Kästner
    Technical Report, Universität des Saarlandes, 2000. [bib]
  21. TDL: A Hardware and Assembly Description Language
    D. Kästner
    Technical Report, Transferbereich 14, University of Saarland, 1999. [bib]
  22. TDL – Eine Architekturbeschreibungssprache für Postpassoptimierungen und -analysen
    D. Kästner
    Proceedings of the DSP Deutschland, 1999. [bib]
  23. Code Optimization by Integer Linear Programming
    D. Kästner, and M. Langenbach
    Proceedings of the 8th International Conference on Compiler Construction CC99, 1999. [bib]
  24. Integer Linear Programming vs. Graph Based Methods in Code Generation
    D. Kästner, and M. Langenbach
    Technical Report, University of the Saarland, Saarbrücken, Germany, 1998. [bib]
  25. Operations Research Methods in Compiler Backends
    D. Kästner, and R. Wilhelm
    Mathematical Communications, 3 (2), 1998. [bib]
  26. Tree Automata for Code Selection
    C. Ferdinand, H. Seidl, and R. Wilhelm
    Code Generation – Concepts, Tools, Techniques, 1992. [bib]
  27. Baumautomaten zur Codeselektion
    C. Ferdinand, H. Seidl, and R. Wilhelm
    Festschrift zum 60. Geburtstag von Guenter Hotz, 1992. [bib]