Simon Winwood
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2006–2015
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | HASKELL | Guilt free ivory. | Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury |
| 2011 | HotOS | Provable Security: How Feasible Is It? | Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood |
| 2011 | ITP | seL4 Enforces Integrity. | Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein |
| 2009 | SOSP | seL4: formal verification of an OS kernel. | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
| 2006 | LOPSTR | On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. | Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty |