@TechReport{jit-analysis-tr2015,
  title =        "Toward a Just-in-Time Static Analysisr",
  author =       "Lisa Nguyen Quang Do and Karim Ali and Eric Bodden and
                 Benjamin Livshits",
  year =         "2015",
  month =        jul,
  institution =  "Technical University of Darmstadt",
  number =       "TUD-CS-2015-1167",
}