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

Research interests

My research interests are compilers and programming languages, especially:

  • Register allocation, mostly for programs in SSA-form
  • Applying graph transformation to compiler optimizations

Projects

Former
CRS
Firm
Graph Rewriting

Involved with Software

GrGen
The Graph Rewrite Tool. GrGen is SPO based, fast and easy to use.
libFirm
A C implementation of the intermediate representation Firm.
yComp
Visualization system for Program Dependency Graphs in VCG format

Advised thesis subjects

Diploma thesis
Copy elimination in a SSA-based register allocator (closed)
Design and implementation of a graph viewer for compiler graphs (closed)
Graph Rewriting for LibFirm (closed)
Instruction selection on SSA-graphs (closed)
Pattern extraction machine-dependent code generation (closed)
Rematerialization by ILP in an SSA based Register Allocator (closed)
Spilling Heuristics in an SSA-based Register Allocator (closed)
 
Studien thesis
Design and Implementation of a SSA-based x86-Backend (closed)
Efficient Storage and Representation of Interference Graphs (closed)
Evaluation of Optimistic Register Coalescing (closed)
Negative Application Conditions in GrGen (closed)
Support for negative application conditions for the in-memory backend of GrGen (closed)

Theses worked on

Diploma thesis
Graph transformation based optimizations in compiler backends (closed)
 
Studien thesis
RAP - A Register Allocator for CGGG (closed)

Publications

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