Context-sensitive program analysis as database queries. - Monica S. Lam; John Whaley; V. Benjamin Livshits; Michael C. Martin; Dzintars Avots; Michael Carbin; Christopher Unkel (PODS, 2005)

Automatic inference of stationary fields: a generalization of java's final fields. - Christopher Unkel; Monica S. Lam (POPL, 2008)