Uri Zarfaty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2005–2008
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | PODS | Local Hoare reasoning about DOM. | Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty |
| 2007 | POPL | Context logic as modal logic: completeness and parametric inexpressivity. | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
| 2007 | PPDP | Formalizing and verifying semantic type soundness of a simple compiler. | Nick Benton, Uri Zarfaty |
| 2007 | WoLLIC | An Introduction to Context Logic. | Philippa Gardner, Uri Zarfaty |
| 2005 | POPL | Context logic and tree update. | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |