Peter Gammie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2004–2015
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | PLDI | Relaxing safely: verified on-the-fly garbage collection for x86-TSO. | Peter Gammie, Antony L. Hosking, Kai Engelhardt |
| 2013 | SP | seL4: From General Purpose to a Proof of Information Flow Enforcement. | Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein |
| 2012 | CPP | Noninterference for Operating System Kernels. | Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein |
| 2011 | HotOS | Provable Security: How Feasible Is It? | Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood |
| 2011 | ITP | Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments. | Peter Gammie |
| 2011 | ITP | seL4 Enforces Integrity. | Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein |
| 2007 | LFCS | Model Checking Knowledge and Linear Time: PSPACE Cases. | Kai Engelhardt, Peter Gammie, Ron van der Meyden |
| 2004 | CAV | MCK: Model Checking the Logic of Knowledge. | Peter Gammie, Ron van der Meyden |