@mastersthesis{szal:2006:remat,
  author={Adam M. Szalkowski},
  title=\{Rematerialisierung mittels ganzzahliger linearer Optimierung in einem SSA-basierten Registerzuteiler},
  year=\{2006},
  month=\{9},
  abstract=\{In dieser Arbeit wird ein Verfahren zur Auslagerung in SSA-Programmen entwickelt. Das Auslagerungsproblem wird mittels Integer-Linearem Programmieren (ILP) modelliert. Besonderes Augenmerk wird auf die Wiederberechnung von Variablen gelegt um Speicherzugriffe zu sparen.},
  institution=\{Universität Karlsruhe},
  url=\{http://www.info.uni-karlsruhe.de/papers/da_szalkowski.pdf},
}