Context-sensitive program analysis as database queries.

Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel

Browse the full PODS paper archive.