Simon Winwood

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 2

Top Topics

Batch Processing

Document Images

Top Venues

Proc. ACM Program. Lang.

Publications

Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
Daedalus: Safer Document Parsing. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Ryan G. Scott, Brett Boston, Benjamin Davis, Iavor S. Diatchki, Mike Dodds, Joe Hendrix, Daniel Matichuk, Kevin Quick, Tristan Ravitch, Valentin Robert, Benjamin Selfridge, Andrei Stefanescu, Daniel Wagner, Simon Winwood
Macaw: A Machine Code Toolbox for the Busy Binary Analyst. CoRR (2024)
Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury
Guilt free ivory. Haskell (2015)
Simon Winwood, Manuel M. T. Chakravarty
Singleton: a general-purpose dependently-typed assembly language. TLDI (2011)
Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood
Provable Security: How Feasible Is It? HotOS (2011)
Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein
seL4 Enforces Integrity. ITP (2011)
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an operating-system kernel. Commun. ACM 53 (6) (2010)
Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish
Mind the Gap. TPHOLs (2009)
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an OS kernel. SOSP (2009)
Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty
On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. LOPSTR (2006)
Simon Winwood, Manuel M. T. Chakravarty
Secure Untrusted Binaries - Provably!. Formal Aspects in Security and Trust (2005)
Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser
Legba: Fast Hardware Support for Fine-Grained Protection. Asia-Pacific Computer Systems Architecture Conference (2003)