Christopher Unkel

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Christopher Unkel, Monica S. Lam
Automatic inference of stationary fields: a generalization of java's final fields. POPL (2008)
Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel
Context-sensitive program analysis as database queries. PODS (2005)