Travelled to:
1 × USA
Collaborated with:
L.Ryzhyk P.Chubb I.Kuz G.Heiser
Talks about:
synthesi (1) automat (1) termit (1) driver (1) devic (1)
Person: Etienne Le Sueur
DBLP: Sueur:Etienne_Le
Contributed to:
Wrote 1 papers:
- SOSP-2009-RyzhykCKSH #automation #synthesis
- Automatic device driver synthesis with termite (LR, PC, IK, ELS, GH), pp. 73–86.