@TechReport{StroederEtAl14,
  author      = "Thomas Str\"oder and J{\"u}rgen Giesl and Marc Brockschmidt and Florian Frohn and Carsten Fuhs and Jera Hensel and Peter Schneider-Kamp",
  title       = "Automated Termination Analysis for Programs with Pointer Arithmetic",
  institution = "RWTH Aachen",
  keywords    = "termination, memory safety, pointer arithmetic, C, LLVM",
  year        = "2014",
  number      = "AIB-2014-05",
  month       = jan,
  url         = "http://aib.informatik.rwth-aachen.de/2014/2014-05.pdf"
}