Context logic and tree update. - Cristiano Calcagno; Philippa Gardner; Uri Zarfaty (POPL, 2005)

Local Reasoning About Tree Update. - Uri Zarfaty; Philippa Gardner (MFPS, 2006)

Context logic as modal logic: completeness and parametric inexpressivity. - Cristiano Calcagno; Philippa Gardner; Uri Zarfaty (POPL, 2007)

Formalizing and verifying semantic type soundness of a simple compiler. - Nick Benton; Uri Zarfaty (PPDP, 2007)

An Introduction to Context Logic. - Philippa Gardner; Uri Zarfaty (WoLLIC, 2007)

Local Reasoning about Data Update. - Cristiano Calcagno; Philippa Gardner; Uri Zarfaty (Computation, Meaning, and Logic, 2007)

DOM: Towards a Formal Specification. - Philippa Gardner; Gareth Smith; Mark J. Wheelhouse; Uri Zarfaty (PLAN-X, 2008)

Local Hoare reasoning about DOM. - Philippa Gardner; Gareth Smith; Mark J. Wheelhouse; Uri Zarfaty (PODS, 2008)