Universitšt Karlsruhe
Zwischensprachen & Codegenerierung

Seminar SS 2005

Aktuelle Forschungsthemen im √úbersetzerbau

Keine weitere Anmeldung möglich!

Weitere Informationen: http://www.info.uni-karlsruhe.de/lehre/2005SS/hot/

Treffen: Mi, 15:45 im AVG 207

Themen:

  • Zwischensprachen und Darstellungen
  • Static Single Assignment (SSA)
  • Optimierende Codegenerierung
  • Graph Matching
  • Registerzuteilung
  • Befehlsanordnung (Scheduling)
  • Maschinenabh√§ngige Optimierung

Literatur:

  • Thomas VanDrunen und Anthony L. Hosking, "Anticipation-based partial redundancy elimination for static single assignment form", 2002
  • Arch D. Robison, "Impact of economics on compiler optimization", 2001
  • Alexandre E. Eichenberger, Peng Wu und Kevin O'Brien, "Vectorization for SIMD architectures with alignment constraints", 2004
  • Rashindra Manniesing, Ireneusz Karkowski und Henk Corporaal, "Automatic SIMD Parallelization of Embedded Applications Based on Pattern Recognition", 2000
  • Andreas Krall, Sylvain Lelait, "Compilation techniques for multimedia processors", 2000
  • Changqing Fu, Kent Wilken: A Faster Optimal Register Allocator, Proceedings of the 35th annual ACM/IEEE international symposium on Microarchitecture, 2002
  • Peter Bergner, Peter Dahl, et al.: Spill Code Minimization via Interference Region Spilling, PLDI 1997
  • Jinpyo Park, Soo-Mook Moon: Optimistic Register Coalescing, TOPLAS, Vol. 26, 7/2004
  • Rajiv Gupta, Mary Lou Soffa, Denise Ombres: Efficient Register Allocation via Coloring Using Clique Seperators, TOPLAS, Vol. 16, 3/1994
  • Michael Smith, et al.: A Generalized Algorithm for Graph-Coloring Register Allocation, PLDI 2004
  • Weihaw Chuang, Brad Calder, Jeanne Ferrante: Phi-Predication for Light-Weight If-Conversion. CGO 2003: 179-192
  • Lori Carter, Beth Simon, Brad Calder, Larry Carter, Jeanne Ferrante: Predicated Static Single Assignment. IEEE PACT 1999: 245-255
  • Erik Ruf: Context-Insensitive Alias Analysis Reconsidered. PLDI '95: 13-22
  • Bjarne Steensgaard: Points-to analysis in almost linear time. POPL '96: 32-41
  • David R. Chase, Mark Wegman, and F. Kenneth Zadeck. Analysis of pointers and structures. In Proc. ACM PLDI, 1990.
  • Steven M. Kurlander und Charles N. Fischer, "Minimum Cost Interprocedural Register Allocation"
  • Sathyanarayanan Thammanur und Santosh Pande, "A Fast, Memeory-Efficient Register Allocation Framework for Embedded Systems", ACM ToPLaS, Vol. 26, No. 6, November 2004, Pages 938-974.
  • Mark Stephenson, Jonathan Babb und Saman Amarasinghe, "Bitwidth Analysis with Application to Silicon Compilation", 1999
  • Uwe Assmann, "Graph Rewrite Systems for Program Optimization", ACM ToPLaS, Vol. 22, No. 4, July 2000, Pages 583-637

Veranstalter

Alumni
Prof. Sebastian Hack
Dr. Rubino Geiß
Michael Beck

Veröffentlichungen zum Thema

2003
Geiß, Hack, Übersetzerbau - Ein kleiner Überblick
 
2002
Lindenmaier, libFIRM -- A Library for Compiler Optimization Research Implementing FIRM
 
1999
Trapp, Lindenmaier, Boesler, Documentation of the Intermediate Representation FIRM
Login
Links