Etienne Le Sueur

According to our database, Etienne Le Sueur authored at least 4 papers between 2009 and 2013.

Collaborative distances:

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

2013

RapiLog: reducing system complexity through verification.

Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso

Proceedings of the Eighth Eurosys Conference 2013, 2013

2011

Slow Down or Sleep, That Is the Question.

Etienne Le Sueur, Gernot Heiser

Proceedings of the 2011 USENIX Annual Technical Conference, 2011

2009

Automatic device driver synthesis with termite.

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Koala: a platform for OS-level power management.

David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009