From Libfirm

[edit] Papers and Technical Reports

• Introduction
  • Lindenmaier, Beck, Boesler, Geiß, Firm, an Intermediate Language for Compiler Research: [1]
  • Lindenmaier, libFirm -- A Library for Compiler Optimization Research Implementing FIRM [2]
  • Lindenmaier, libFirm -- A Library for Compiler Optimization Research Implementing FIRM. Exdented version [3]
• Hack, Grund, Goos, Towards Register Allocation for Programs in SSA-form [4]
• Hack, Grund, Goos, Register Allocation for Programs in SSA-form [5]
• Grund, Hack, A Fast Cutting-Plane Algorithm for Optimal Coalescing [6]
• Lindenmaier, Structure Splitting and Inheritance [7]
• Hack, Interference Graphs of Programs in SSA-form [8]
• Hack, Register Coalescing by Graph Recoloring [9]

[edit] student research projects and diploma theses

(only available in german)

• Mallon, If-Konversion auf SSA [10]
• Würdig, Entwurf und Implementierung eines Firm-basierten Backends für die Synchrone Transfer-Architektur [11]
• Braun, Heuristisches Auslagern in einem SSA-basierten Registerzuteiler [12]
• Szalkowski, Rematerialisierung mittels ganzzahliger linearer Optimierung in einem SSA-basierten Registerzuteiler [13]
• Spallek, Effiziente Speicherung und Repräsentation von Konfliktgraphen [14]
• Batz, Graphersetzung für eine Zwischendarstellung im Übersetzerbau [15]
• Grund, Kopienminimierung in einem SSA-basierten Registerzuteiler [16]
• Schmid, Explizite Interprozedurale Abhängigkeitsgraphen [17]

---

Further papers can be found at [18]