Travelled to:2 × USA
Collaborated with:M.S.Lam J.Whaley V.B.Livshits M.C.Martin D.Avots M.Carbin
Talks about:field (2) stationari (1) program (1) general (1) databas (1) context (1) automat (1) analysi (1) sensit (1) queri (1)
Person: Christopher Unkel
DBLP: Unkel:Christopher
Contributed to:
2008
2005Wrote 2 papers:
- POPL-2008-UnkelL #automation #java
- Automatic inference of stationary fields: a generalization of java’s final fields (CU, MSL), pp. 183–195.
- PODS-2005-LamWLMACU #database #program analysis #query
- Context-sensitive program analysis as database queries (MSL, JW, VBL, MCM, DA, MC, CU), pp. 1–12.