Simon Winwood

发表

Michael Norrish, Gernot Heiser, Kevin Elphinstone, 2009, SOSP '09.

Simon Winwood, M. Chakravarty, 2011 .

Gerwin Klein, Thomas Sewell, Simon Winwood, 2010 .

John Launchbury, Simon Winwood, Patrick C. Hickey, 2015, Haskell.

Michael Norrish, Gernot Heiser, Kevin Elphinstone, 2010, Commun. ACM.

Gerwin Klein, June Andronick, Thomas Sewell, 2011, ITP.

Hubertus Franke, Simon Winwood, Yefim Shuf, 2002 .

Gerwin Klein, Thomas Sewell, Simon Winwood, 2011, HotOS.

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

Kai Engelhardt, Michael Norrish, Gerwin Klein, 2010, Communications of the ACM.

Michael Norrish, Gerwin Klein, June Andronick, 2009 .