Etienne Le Sueur

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Decision Problems

Lower Complexity

Top Venues

Publications

Gernot Heiser, Etienne Le Sueur, Adrian Danis, Aleksander Budzynowski, Tudor-Ioan Salomie, Gustavo Alonso
RapiLog: reducing system complexity through verification. EuroSys (2013)
Etienne Le Sueur, Gernot Heiser
Slow Down or Sleep, That Is the Question. USENIX Annual Technical Conference (2011)
David C. Snowdon, Etienne Le Sueur, Stefan M. Petters, Gernot Heiser
Koala: a platform for OS-level power management. EuroSys (2009)
Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser
Automatic device driver synthesis with termite. SOSP (2009)