Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots Michael Carbin Christopher Unkel Context-sensitive program analysis as database queries. 1-12 2005 conf/pods/2005 PODS http://doi.acm.org/10.1145/1065167.1065169 db/conf/pods/pods2005.html#LamWLMACU05