@TechReport{StroederEtAl16, 
  author      = "Thomas Str\"oder and J\"urgen Giesl and Marc Brockschmidt and Florian Frohn and Carsten Fuhs and Jera Hensel and Peter Schneider-Kamp and Cornelius Aschermann",
  title       = "Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic",
  institution = "RWTH Aachen",
  keywords    = "LLVM, C Programs, Termination, Memory Safety, Symbolic Execution", 
  year        = "2016,
  number      = "AIB-2016-09", 
  month       = sep, 
  url         = "http://aib.informatik.rwth-aachen.de/2016/2016-09.ps.gz"
}