Universitńt Karlsruhe
Prof. Dr. rer. nat. Sebastian Hack

Neuigkeiten

Ich bin mittlerweile an der Universität des Saarlandes.

Forschungsinteressen

Meine Forschungsinteressen liegen im Übersetzerbau. Hierbei beschäftige ich mich hauptsächlich mit:

  • Registerzuteilung für Programme in SSA-Form
  • Graphersetzung

Projekte

Abgeschlossen
CRS
Firm
Graph Rewriting

Beteiligung an Software

GrGen
Das Graphersetzungs-Werkzeug. GrGen ist SPO basiert, schnell und einfach benutzbar.
libFirm
Eine C Implementierung der Zwischensprache Firm.
yComp
Das Anzeigesystem f├╝r Programmgraphen in VCG-Format

Betreute Studien- und Diplomarbeiten

Diplomarbeit
Befehlsauswahl auf SSA-Graphen (abgeschlossen)
Entwicklung eines Anzeigesystems f├╝r Programmgraphen (abgeschlossen)
Graphersetzung mit Firm (abgeschlossen)
Heuristisches Auslagern in einem SSA-basierten Registerzuteiler (abgeschlossen)
Kopienminimierung in einem SSA-basierten Registerzuteiler (abgeschlossen)
Mustergewinnung zur maschinenabh├Ąngigen Codeoptimierung (abgeschlossen)
Rematerialisierung mittels ganzzahliger linearer Optimierung in einem SSA-basierten Registerzuteiler (abgeschlossen)
 
Studienarbeit
Effiziente Speicherung und Repräsentation von Konfliktgraphen (abgeschlossen)
Entwurf und Implementierung eines SSA-basierten x86-Backends (abgeschlossen)
Evaluation und Implementierung des Optimstic Register Coalescing (abgeschlossen)
If-Konversion auf SSA (abgeschlossen)
Negative Anwendungsbedingungen f├╝r das in-Memory Backend von GrGen (abgeschlossen)
Negative Anwendungsbedingungen in GrGen (abgeschlossen)

Bearbeitete Studien- und Diplomarbeiten

Diplomarbeit
Graphersetzung f├╝r Optimierungen in der Codeerzeugung (abgeschlossen)
 
Studienarbeit
RAP - Ein Registerzuteiler f├╝r CGGG (abgeschlossen)

Ver├Âffentlichungen

2007
Hack, Register Allocation for Programs in SSA Form
Grund, Hack, A Fast Cutting-Plane Algorithm for Optimal Coalescing
 
2006
Gei├č, Batz, Grund, Hack, Szalkowski, GrGen: A Fast SPO-Based Graph Rewriting Tool
Hack, Goos, Optimal register allocation for SSA-form programs in polynomial time
Hack, Grund, Goos, Register allocation for programs in SSA-form
 
2005
Hack, Grund, Goos, Towards Register Allocation for Programs in SSA-form
Hack, Interference Graphs of Programs in SSA-form
 
2003
Hack, RAP - Ein Registerallokator f├╝r CGGG
Hack, Graphersetzung f├╝r Optimierungen in der Codeerzeugung
Gei├č, Hack, ├ťbersetzerbau - Ein kleiner ├ťberblick
Login
Links