Login / Signup
Henrik Stuart
Publication Activity (10 Years)
Years Active: 2007-2013
Publications (10 Years): 0
Top Topics
Coarse Grained
Xml Documents
Concurrency Control
Top Venues
Softw. Pract. Exp.
</>
Publications
</>
Julia L. Lawall
,
Julien Brunel
,
Nicolas Palix
,
René Rydhof Hansen
,
Henrik Stuart
,
Gilles Muller
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process.
Softw. Pract. Exp.
43 (1) (2013)
Julia L. Lawall
,
Julien Brunel
,
Nicolas Palix
,
René Rydhof Hansen
,
Henrik Stuart
,
Gilles Muller
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code.
DSN
(2009)
Henrik Stuart
,
René Rydhof Hansen
,
Julia L. Lawall
,
Jesper Andersen
,
Yoann Padioleau
,
Gilles Muller
Towards easing the diagnosis of bugs in OS code.
PLOS@SOSP
(2007)