Prof. Dr. rer. nat. Sebastian Hack
»
Home
»
People
»
Core competences
»
Projects
»
Former
»
Publications
»
Details
»
Software
»
Courses
»
Thesis subjects
»
Impressum
»
Location
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
»
Fakultät
»
FZI PROST
»
Prof. Assmann
»
Prof. Glesner
»
Prof. Hack
»
Prof. Löwe
»
Prof. Snelting
»
Prof. Zimmermann
»
Universität