Robert Dockins
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Nitro Isolation Engine: Formally Verifying a Production Hypervisor (Invited Talk). | Hanno Becker, Nathan Chong, Robert Dockins, Jim Grundy, Jason Z. S. Hu, Ike Mulder, Dominic P. Mulligan, Paul Mure, Bryan Parno, Lawrence C. Paulson, Konrad Slind |
| 2014 | APLAS | Suppl: A Flexible Language for Policies. | Robert Dockins, Andrew Tolmach |
| 2014 | ESOP | Verified Compilation for Shared-Memory C. | Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel |
| 2014 | ITP | Formalized, Effective Domain Theory in Coq. | Robert Dockins |
| 2010 | APLAS | A Logical Mix of Approximation and Separation. | Aquinas Hobor, Robert Dockins, Andrew W. Appel |
| 2010 | POPL | A theory of indirection via approximation. | Aquinas Hobor, Robert Dockins, Andrew W. Appel |
| 2009 | APLAS | A Fresh Look at Separation Algebras and Share Accounting. | Robert Dockins, Aquinas Hobor, Andrew W. Appel |