Henrik Stuart

According to our database, Henrik Stuart authored at least 3 papers between 2007 and 2013.

Collaborative distances:

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

2013

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process.

Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller

Softw. Pract. Exp., 2013

2009

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code.

Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2007

Towards easing the diagnosis of bugs in OS code.

Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller

Proceedings of the 4th workshop on Programming languages and operating systems, 2007