Simon Winwood

According to our database, Simon Winwood authored at least 11 papers between 2003 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Guilt free ivory.

Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2011

Singleton: a general-purpose dependently-typed assembly language.

Simon Winwood, Manuel M. T. Chakravarty

Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

seL4 Enforces Integrity.

Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Provable Security: How Feasible Is It?

Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2010

seL4: formal verification of an operating-system kernel.

Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood

Commun. ACM, 2010

Refinement in the Formal Verification of the seL4 Microkernel.

Gerwin Klein, Thomas Sewell, Simon Winwood

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2009

Mind the Gap.

Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David A. Cock, Michael Norrish

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

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

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

2006

On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.

Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

2005

Secure Untrusted Binaries - Provably!.

Simon Winwood, Manuel M. T. Chakravarty

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

2003

Legba: Fast Hardware Support for Fine-Grained Protection.

Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser

Proceedings of the Advances in Computer Systems Architecture, 2003