| 2024 |
J |
jnl |
Proc. ACM Program. Lang.
Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoît Razet, Cole Schlesinger, Simon Winwood
|
| 2024 |
J |
jnl |
CoRR
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
|
| 2015 |
C |
conf |
Haskell
Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury
|
| 2011 |
A |
conf |
HotOS
Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood
|
| 2011 |
— |
conf |
TLDI
Simon Winwood, Manuel M. T. Chakravarty
|
| 2011 |
B |
conf |
ITP
Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein
|
| 2010 |
— |
ch. |
Design and Verification of Microprocessor Systems for High-Assurance Applications
Gerwin Klein, Thomas Sewell, Simon Winwood
|
| 2010 |
J |
jnl |
Commun. ACM
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
|
| 2009 |
— |
conf |
TPHOLs
Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David A. Cock, Michael Norrish
|
| 2009 |
A* |
conf |
SOSP
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 |
C |
conf |
LOPSTR
Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty
|
| 2005 |
— |
conf |
Formal Aspects in Security and Trust
Simon Winwood, Manuel M. T. Chakravarty
|
| 2003 |
— |
conf |
Asia-Pacific Computer Systems Architecture Conference
Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser
|