| 2008 |
|---|
| 8 | EE | Philippa Gardner,
Gareth Smith,
Mark J. Wheelhouse,
Uri Zarfaty:
DOM: Towards a Formal Specification.
PLAN-X 2008 |
| 7 | EE | Philippa Gardner,
Gareth Smith,
Mark J. Wheelhouse,
Uri Zarfaty:
Local Hoare reasoning about DOM.
PODS 2008: 261-270 |
| 2007 |
|---|
| 6 | EE | Cristiano Calcagno,
Philippa Gardner,
Uri Zarfaty:
Context logic as modal logic: completeness and parametric inexpressivity.
POPL 2007: 123-134 |
| 5 | EE | Nick Benton,
Uri Zarfaty:
Formalizing and verifying semantic type soundness of a simple compiler.
PPDP 2007: 1-12 |
| 4 | EE | Philippa Gardner,
Uri Zarfaty:
An Introduction to Context Logic.
WoLLIC 2007: 189-202 |
| 3 | EE | Cristiano Calcagno,
Philippa Gardner,
Uri Zarfaty:
Local Reasoning about Data Update.
Electr. Notes Theor. Comput. Sci. 172: 133-175 (2007) |
| 2006 |
|---|
| 2 | EE | Uri Zarfaty,
Philippa Gardner:
Local Reasoning About Tree Update.
Electr. Notes Theor. Comput. Sci. 158: 399-424 (2006) |
| 2005 |
|---|
| 1 | EE | Cristiano Calcagno,
Philippa Gardner,
Uri Zarfaty:
Context logic and tree update.
POPL 2005: 271-282 |
